Post #2636091
2026-05-06 06:23 UTC
@JacquesC2@types.pl @MartinEscardo@mathstodon.xyz @egbertrijke@mathstodon.xyz @gallais@mamot.fr is this elaborated somewhere? how do you best organize it for formalization?
Replies (1)
-
@JacquesC2@types.pl 2026-05-06 11:58
@mc@mathstodon.xyz By 'it', I assume you mean category theory? There is no write-up that I know of. But if you read the 1lab and @maxsnew@types.pl 's cubical-categorical-logic, you'll get a good idea of where people are going.