Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: learning: questions

Topic: The n-globe as a cubical set

Morgan Rogers (he/him) (Jul 10 2025 at 12:56):

Ruby Khondaker (she/her) said:

Mhm! My idea was, if I can understand $(\infty, \infty)$ categories, then all that’s left is to understand how to truncate appropriately

You make it sound so simple! :grinning_face_with_smiling_eyes:

Ruby Khondaker (she/her) (Jul 10 2025 at 13:52):

Hehe, I’m sure truncation is hard, but at least it gives me a natural way to figure out where all these bloomin’ coherence conditions come from!