nLab monic map in a 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

Definition

A morphism fHom A(a,b)f \in Hom_A(a,b) of a dagger 2-poset AA is a monic map if it is an injective map.

The type of all monic maps in Hom A(a,b)Hom_A(a,b) is defined as

MonoMap(a,b) f:Hom A(a,b)isInjective(f)×isMap(f)MonoMap(a, b) \coloneqq \sum_{f:Hom_A(a,b)} isInjective(f) \times isMap(f)

See also

Last revised on June 6, 2022 at 23:18:04. See the history of this page for a list of all contributions to it.