Conversation

chloe!
@schala163
from now when i say the word "category" w/o modification i mean an ∞-category "∞-categories are higher dimensional generalizations of 1-categories" is the wrong perspective; So many things become conceptually simpler when you work model-independently in the language of... 1/
7
4
30
chloe!
@schala163
∞-categories. Imagine if we said "not necessarily commutative abelian groups" instead of just "groups"; Ridiculous! 1-categories are just 1-truncated ∞-category, and I'm tired of pretending they aren't. 2/2 btw this is 100% a shitpost, and I believe every word of it
1
19
chloe!
@schala163
this post mostly inspired after i caught myself unironically saying "groupoid" to mean "∞-groupoid" for no reason beyond the fact that writing unicode characters on my phone is a bit of a pain
2
11