@highergeometer@mathstodon.xyz
Post #3672583
2026-06-29 14:05 UTC
@caten@mathstodon.xyz And there's the third meaning: a category internal to Top....
Replies (1)
-
@caten@mathstodon.xyz 2026-06-29 14:19
@highergeometer@mathstodon.xyz I'm not sure that I've encountered this usage before. Can you point out a paper where this occurs?