| dbo:abstract |
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. (en) Dalam bidang matematika mengenai teori kategori, Himpunan Fin atau kategori himpunan hingga merupakan kategori yang semua objek adalah himpunan hingga dan yang semua adalah fungsi diantaranya. FinOrd merupakan kategori yang semua objek adalah bilangan ordinal hingga dan yang morfismenya semua adalah fungsi diantaranya. (in) 数学の一分野、圏論における有限集合の圏（ゆうげんしゅうごうのけん、英: category of finite sets）FinSet は、すべての有限集合を対象とし、それら対象の間のすべての写像を射とする圏である。関連する圏として、有限順序数の圏（ゆうげんじゅんじょすうのけん、英: category of finite ordinals）FinOrd はすべてのを対象とし、それらの間のすべての写像を射とする圏である。 (ja) |
| dbo:wikiPageExternalLink |
http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer%3Fdid=Gold010&id=3 http://www.mcs.vuw.ac.nz/~rob/ |
| dbo:wikiPageID |
25044975 (xsd:integer) |
| dbo:wikiPageLength |
2525 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1090577332 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Cartesian_product dbr:Categorical_product dbr:John_von_Neumann dbr:General_set_theory dbr:Full_subcategory dbr:Function_(mathematics) dbr:Morphism dbr:Domain_of_a_function dbr:Lawvere_theory dbr:Finite_set dbr:Subobject_classifier dbr:Robert_Goldblatt dbr:PRO_(category_theory) dbr:Codomain dbr:Topos dbr:Small_category dbr:Disjoint_union dbc:Categories_in_category_theory dbr:Natural_number_object dbr:Ordinal_addition dbr:Category_(mathematics) dbr:Category_theory dbr:Skeleton_(category_theory) dbr:Exponential_object dbr:Large_category dbr:Simplex_category dbr:Well-ordered_set dbr:Equivalent_categories dbr:Ordinal_exponentiation dbr:Set_(category) dbr:Finite_ordinal_number dbr:Categorical_sum dbr:Product_of_ordinals dbr:Object_(category_theory) |
| dct:subject |
dbc:Categories_in_category_theory |
| gold:hypernym |
dbr:Category |
| rdf:type |
yago:WikicatCategory-theoreticCategories yago:Abstraction100002137 yago:Class107997703 yago:Collection107951464 yago:Group100031264 dbo:TelevisionStation |
| rdfs:comment |
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. (en) Dalam bidang matematika mengenai teori kategori, Himpunan Fin atau kategori himpunan hingga merupakan kategori yang semua objek adalah himpunan hingga dan yang semua adalah fungsi diantaranya. FinOrd merupakan kategori yang semua objek adalah bilangan ordinal hingga dan yang morfismenya semua adalah fungsi diantaranya. (in) 数学の一分野、圏論における有限集合の圏（ゆうげんしゅうごうのけん、英: category of finite sets）FinSet は、すべての有限集合を対象とし、それら対象の間のすべての写像を射とする圏である。関連する圏として、有限順序数の圏（ゆうげんじゅんじょすうのけん、英: category of finite ordinals）FinOrd はすべてのを対象とし、それらの間のすべての写像を射とする圏である。 (ja) |
| rdfs:label |
Kategori himpunan hingga (in) FinSet (en) 有限集合の圏 (ja) |
| owl:sameAs |
freebase:FinSet yago-res:FinSet wikidata:FinSet dbpedia-id:FinSet dbpedia-ja:FinSet https://global.dbpedia.org/id/4k3kj |
| prov:wasDerivedFrom |
wikipedia-en:FinSet?oldid=1090577332&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:FinSet |
| is dbo:wikiPageRedirects of |
dbr:FinOrd dbr:Category_of_finite_sets |
| is dbo:wikiPageWikiLink of |
dbr:Ultrafilter_(set_theory) dbr:Ind-completion dbr:PROP_(category_theory) dbr:Lawvere_theory dbr:FinOrd dbr:Finite_set dbr:Codensity_monad dbr:Skeleton_(category_theory) dbr:Category_of_finite_sets |
| is foaf:primaryTopic of |
wikipedia-en:FinSet |