Some "annoying" stuffs in Category Theory
1. "Small category" is small?? A category is small if the class of its object forms a set . For example, the category of set is NOT a small category since the collection of all sets is not a set by a well-known paradox. As a result, the category of topological spaces is also not a set because it must be "bigger" than the category of set, since sets only differ in elements, but topological spaces differ in elements and open/closed (sub)sets. This might contradict with our usual sense about small/large things, because sets are often so big that we find it hard to control them. But category theory has reached another level, where set might be regarded as the "simpliest" structure/level. 2. "Constant" simplicial set From our usual sense, "constant" means some stuff should be fixed and invariant of the variables/factors involved. Meanwhile, a constant simplicial set is defined in a very special way: it is the category in which th...