Estas aplicaciones de categorías en el campo de los fundamentos están siendo trabajadas en bastante detalle y no solamente en matemáticas.