Post #2636092
2026-05-06 11:58 UTC
@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.
Replies (1)
-
@mc@mathstodon.xyz 2026-05-07 06:56
@JacquesC2@types.pl @maxsnew@types.pl precisely! thanks for the pointer