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 the (only) morphism/function from X_0 to X_n is bijective (!?). The functions involved are far from constant, but the category is called the constant simplicial set. The only "constant" is the cardinality of the sets X_n, which does not depend on n. 

3. Category is abbreviated by "Cat", which might mean (many) other things

   The category of small category (which is mentioned in 1.) is denoted by Cat. However, in mathematics, CAT might be the abbreviation of many other things. Even in the area of algebraic topology, where (most people) first learn about category theory, there is a theorem named Cellular Approximation Theorem, which is also denoted by CAT. 




   

Nhận xét

Bài đăng phổ biến từ blog này

Trước khi đi du học ngành toán tại Đức

Some remarkable statistics about the major of (pure) mathematics at several universities in the world

Some interesting facts about Vietnamese