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.

Properties

FinSet 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.

Topoi

Like 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 A × B, the categorical sum is given by the disjoint union 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 n · m, the categorical sum is given by the ordinal sum 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

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.