nLab division dagger 2-poset

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Definition

A division dagger 2-poset is a dagger 2-poset CC such that for every object AOb(C)A \in Ob(C), BOb(C)B \in Ob(C), and COb(C)C \in Ob(C) and morphisms fHom(A,B)f \in Hom(A, B) and gHom(A,C)g \in Hom(A, C) there is a morphism g/f:Hom(B,C)g/f:Hom(B, C) such that for every morphism hHom(B,C)h \in Hom(B, C), (hg/f)(hg=f)(h \leq g/f) \iff (h \circ g = f).

Examples

See also

Created on May 3, 2022 at 17:09:26. See the history of this page for a list of all contributions to it.