About: FinSet

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: FinSet Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:TelevisionStation, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FFinSet

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.

Attributes	Values
rdf:type	yago:WikicatCategory-theoreticCategories yago:Abstraction100002137 yago:Class107997703 yago:Collection107951464 yago:Group100031264 television station
rdfs:label	Kategori himpunan hingga (in) FinSet (en) 有限集合の圏 (ja)
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)
dcterms:subject	Categories in category theory
Wikipage page ID	25044975 (xsd:integer)
Wikipage revision ID	1090577332 (xsd:integer)
Link from a Wikipage to another Wikipage	Cartesian product Categorical product John von Neumann General set theory Full subcategory Function (mathematics) Morphism Domain of a function Lawvere theory Finite set Subobject classifier Robert Goldblatt PRO (category theory) Codomain Topos Small category Disjoint union Categories in category theory Natural number object Ordinal addition Category (mathematics) Category theory Skeleton (category theory) Exponential object Large category Simplex category Well-ordered set Equivalent categories Ordinal exponentiation Set (category) Finite ordinal number Categorical sum Product of ordinals Object (category theory)
Link from a Wikipage to an external page	http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer%3Fdid=Gold010&id=3 http://www.mcs.vuw.ac.nz/~rob/
sameAs	FinSet FinSet FinSet FinSet FinSet FinSet
has 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)
gold:hypernym	Category
prov:wasDerivedFrom	wikipedia-en:FinSet?oldid=1090577332&ns=0
page length (characters) of wiki page	2525 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:FinSet
is Link from a Wikipage to another Wikipage of	Ultrafilter (set theory) Ind-completion PROP (category theory) Lawvere theory FinOrd Finite set Codensity monad Skeleton (category theory) Category of finite sets
is Wikipage redirect of	FinOrd Category of finite sets
is foaf:primaryTopic of	wikipedia-en:FinSet

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software