| 词条 | FinSet |
| 释义 |
In the mathematical field of category theory, FinSet is the category whose objects are all finite sets and whose morphisms are all functions between them. FinOrd is the category whose objects are all finite ordinal numbers and whose morphisms are all functions between them. PropertiesFinSet is a full subcategory of Set, the category whose objects are all sets and whose morphisms are all functions. Like Set, FinSet is a large category. FinOrd is a full subcategory of FinSet as by the standard definition, suggested by John von Neumann, each ordinal is the well-ordered set of all smaller ordinals. Unlike Set and FinSet, FinOrd is a small category. FinOrd is a skeleton of FinSet. Therefore, FinSet and FinOrd are equivalent categories. TopoiLike Set, FinSet and FinOrd are topoi. As in Set, in FinSet the categorical product of two objects A and B is given by the cartesian product {{nowrap|A × B}}, the categorical sum is given by the disjoint union {{nowrap|A + B}}, and the exponential object BA is given by the set of all functions with domain A and codomain B. In FinOrd, the categorical product of two objects n and m is given by the ordinal product {{nowrap|n · m}}, the categorical sum is given by the ordinal sum {{nowrap|n + m}}, and the exponential object is given by the ordinal exponentiation nm. The subobject classifier in FinSet and FinOrd is the same as in Set. FinOrd is an example of a PRO. See also
References
1 : Categories in category theory |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。