Posetal category (original) (raw)
In mathematics, specifically category theory, a posetal category, or thin category, is a category whose homsets each contain at most one morphism. As such, a posetal category amounts to a preordered class (or a preordered set, if its objects form a set). As suggested by the name, the further requirement that the category be skeletal is often assumed for the definition of "posetal"; in the case of a category that is posetal, being skeletal is equivalent to the requirement that the only isomorphisms are the identity morphisms, equivalently that the preordered class satisfies antisymmetry and hence, if a set, is a poset.
| Property | Value |
|---|---|
| dbo:abstract | In mathematics, specifically category theory, a posetal category, or thin category, is a category whose homsets each contain at most one morphism. As such, a posetal category amounts to a preordered class (or a preordered set, if its objects form a set). As suggested by the name, the further requirement that the category be skeletal is often assumed for the definition of "posetal"; in the case of a category that is posetal, being skeletal is equivalent to the requirement that the only isomorphisms are the identity morphisms, equivalently that the preordered class satisfies antisymmetry and hence, if a set, is a poset. All diagrams commute in a posetal category. When the commutative diagrams of a category are interpreted as a typed equational theory whose objects are the types, a codiscrete posetal category corresponds to an inconsistent theory understood as one satisfying the axiom x = y at all types. Viewing a 2-category as an enriched category whose hom-objects are categories, the hom-objects of any extension of a posetal category to a 2-category having the same 1-cells are monoids. Some lattice-theoretic structures are definable as posetal categories of a certain kind, usually with the stronger assumption of being skeletal. For example, under this assumption, a poset may be defined as a small posetal category, a distributive lattice as a small posetal distributive category, a Heyting algebra as a small posetal finitely cocomplete cartesian closed category, and a Boolean algebra as a small posetal finitely cocomplete *-autonomous category. Conversely, categories, distributive categories, finitely cocomplete cartesian closed categories, and finitely cocomplete *-autonomous categories can be considered the respective categorifications of posets, distributive lattices, Heyting algebras, and Boolean algebras. (en) |
| dbo:wikiPageID | 31353487 (xsd:integer) |
| dbo:wikiPageLength | 2335 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 930189398 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Enriched_category dbr:Indiscrete_category dbr:*-autonomous_category dbr:Mathematics dbr:Cocomplete dbr:Monoid dbr:Antisymmetric_relation dbr:Commutative_diagram dbr:2-category dbr:Distributive_category dbr:Distributive_lattice dbr:Lattice_(order) dbr:Diagram_(category_theory) dbr:Heyting_algebra dbc:Category_theory dbr:Boolean_algebra dbr:Poset dbr:Cartesian_closed_category dbr:Categorification dbr:Category_(mathematics) dbr:Category_theory dbr:Set_(mathematics) dbr:Skeleton_(category_theory) dbr:Preordered_class dbr:Preordered_set |
| dbp:wikiPageUsesTemplate | dbt:Refimprove dbt:Reflist |
| dcterms:subject | dbc:Category_theory |
| gold:hypernym | dbr:Category |
| rdf:type | dbo:TelevisionStation |
| rdfs:comment | In mathematics, specifically category theory, a posetal category, or thin category, is a category whose homsets each contain at most one morphism. As such, a posetal category amounts to a preordered class (or a preordered set, if its objects form a set). As suggested by the name, the further requirement that the category be skeletal is often assumed for the definition of "posetal"; in the case of a category that is posetal, being skeletal is equivalent to the requirement that the only isomorphisms are the identity morphisms, equivalently that the preordered class satisfies antisymmetry and hence, if a set, is a poset. (en) |
| rdfs:label | Posetal category (en) |
| owl:sameAs | freebase:Posetal category wikidata:Posetal category https://global.dbpedia.org/id/4tMdv |
| prov:wasDerivedFrom | wikipedia-en:Posetal_category?oldid=930189398&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Posetal_category |
| is dbo:wikiPageRedirects of | dbr:Thin_category |
| is dbo:wikiPageWikiLink of | dbr:Complete_category dbr:T-norm dbr:Partially_ordered_set dbr:DisCoCat dbr:Category_of_preordered_sets dbr:Sheaf_(mathematics) dbr:Thin_category |
| is foaf:primaryTopic of | wikipedia-en:Posetal_category |