Etymology of "category"pic.twitter.com/J7TNugGI6H
-
categories are such absurdly general objects that they need to have multiple names for use in different contexts, modeling different things. we already have terminology like this, e.g. sometimes we call a functor F : J -> C a “diagram of shape J in C”
“category” activates a particular context involving what one might call “big” categories of mathematical objects, e.g. groups, rings, topological spaces. working with “little” categories such as BG for a group G feels quite different - “categories *as* mathematical objects”
-
-
the big / little boundary isn’t sharp and there are examples that straddle it like the poset of subobjects of a given object. “web” might not be a bad name for categories that specifically evokes the “little” context, i like “category” fine for the “big” context
-
My problem with the term "category" is that it sounds like it's just a set. In everyday English, category is literally a synonym of "set". "Web" is actually a lot better in this regard, but it sounds a bit naff.pic.twitter.com/2hA5CryOyY
- 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.