nLab
(0,1)-category

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

(0,1)-Category theory

(0,1)-category theory: logic, order theory

(0,1)-category

(0,1)-topos

Theorems

Contents

Idea

Following the general concept of (n,r)-category, a (0,1)-category is (up to equivalence) a poset or (up to isomorphism) a proset. We may also call this a 1-poset.

Definition

Definition

An (n,1)-category is an (∞,1)-category such that every hom ∞-groupoid is (n-1)-truncated.

Notice that

Proposition

An (0,1)-category is equivalently a poset.

Proof

We may without restriction assume that every hom-∞-groupoid is in fact a set on the nose. Then since this is (-1)-truncated it is either empty or the singleton. So there is at most one morphism from any object to any other.

Extra stuff, structure, property

Revised on March 15, 2012 15:36:09 by Urs Schreiber (82.172.178.200)
Edit | Back in time (6 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: classifying topos, vertical categorification, higher category theory, omega-category, oriental, globe, globular set, groupoid cardinality, Simpson's conjecture, category, preorder, infinity-groupoid, semi-strict infinity-category, Cat, double category, bicategory, geometric definition of higher categories, geometric shape for higher structures, omega-groupoid, crossed complex, Nonabelian Algebraic Topology, (infinity,1)-category, 0-category, truth value, Heyting algebra, strict 2-category, logic, periodic table, (n,r)-category, infinity-category, n-category, Kan complex, n-groupoid, k-tuply monoidal n-category, Gray-category, 2-category, strict omega-category, Crans-Gray tensor product, homotopy coherent category theory, strict omega-groupoid, n-fold category, crossed module, lattice, Boolean algebra, regular epimorphism, tricategory, (-1)-groupoid, k-surjective functor, simplicial T-complex, strict n-category, A-infinity-category, 2-group, homotopy hypothesis, pseudofunctor, (infinity,n)-category, regular monomorphism, (infinity,n)-category of cobordisms, Trimble n-category, simplicial object in Cat, simplicial groupoid, string diagram, cat-n-group, 2-vector space, 2-crossed module, crossed square, double groupoid, Dold-Kan correspondence, join, meet, Pursuing Stacks, k-tuply monoidal (n,r)-category, split monomorphism, Segal space, 3-category, connection on a cubical set, n-fibration, (-2)-groupoid, 1-category, 2-groupoid, 2-poset, n-poset, 3-groupoid, cubical T-complex, linear order, order, partial order, total order, top, bottom, power set, filtered category, direction, quantale, frame, complete lattice, filter, compact object, contractible space, semilattice, well-order, complicial set, (infinity,1)-category of (infinity,1)-categories, strict 2-functor, microcosm principle, higher category theory and physics, negative thinking, (1,0)-category, (2,1)-category, (n,1)-category, distributive lattice, replete subcategory, tetracategory, omega-nerve, computad, n-group, transfor, k-morphism, n-functor, (infinity,2)-category, n-fold complete Segal space, opetope, interval, regular element, implication, Batanin omega-category, 2009 September changes, differential crossed module, (sub)object classifier in an (infinity,1)-topos, (0,1)-topos, (0,1)-category, higher category theory - contents, cellular set, category theory vs order theory, order theory, Theta-space, Theta category, nPOV, companion pair, coherence theorem for monoidal categories, covering, Grothendieck-Maltsiniotis infinity-category, true, (infinity,n)-module, Stone duality, applications of (higher) category theory, 2Cat, Homotopy Theory of Higher Categories, semicategory, DistLat, (infinity,1)-category theory, algebraic lattice, hypergroupoid, coherence theorem, first-order hyperdoctrine, tripos, hypercrossed complex, globular operad, pasting diagram, Horn theory, 2-category theory, automorphism 2-group, logical conjunction, disjunction, embedding, Duskin nerve, symmetric monoidal (infinity,n)-category, Gray group, algebraic model for modal logics, false, poset of subobjects, horizontal composition, holographic principle of higher category theory, coherence law, associativity, strict 2-groupoid, the logic S4(m), modal logic, blob n-category, normal modal logic, (infinity,n)Cat, (infinity,n)-category of spans, fully dualizable object, poset of commutative subalgebras, subobject in an (infinity,1)-category, (infinity,2)-sheaf, natural equivalence, hyperdoctrine, (infinity,n)-category with duals, looping, truncated object, Boolean hyperdoctrine, contents of contents, well-quasi-order, outer automorphism infinity-group, (infinity,2)-topos, 0-morphism, (0,1)-category theory, completely distributive lattice, upper bound, canonical extension, model structure on cellular sets, parity complex, higher Segal space, coherent hyperdoctrine, Cartesian fibration of dendroidal sets, regular 2-category, coherent 2-category, (n,r)-congruence, Segal n-category, (0,1)-category theory - contents, compact element, homotopy 2-category, (infinity,n)-sheaf, lexicographic order, coherence theorem for symmetric monoidal categories, ordered group, modular lattice, (infinity,n)-category with adjoints, TwoVect, coherence theorem for braided monoidal categories, coherence theorem for monoidal bicategories, coherence theorem for braided monoidal bicategories, coherence theorem for symmetric monoidal bicategories, (infinity,n)-topos, symmetric monoidal 2-category, globular theory, Noetherian poset, double Lie groupoid, Lie algebroid-groupoid