@highergeometer@mathstodon.xyz
2026-03-23 09:31 UTC
@jeanas I'm not sure I'm the person for that! I don't actually do any n-categories where n>3. And only very barely some very small examples for n=3.
Replies (1)
-
@highergeometer@mathstodon.xyz 2026-03-23 10:14
@jeanas and the examples that come to mind are really just strict monoidal 2-groupoids, arising from group objects in the 1-category of strict 2-groupoids! As far as large higher categories of interesting objects go, only bicategories, done in a very traditional way. And maaaaybe weak double categories (ie weak in one direction, strict in the other)