nLab
category of monic maps
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
Given a dagger 2-poset , the category of monic maps is the sub-2-poset whose objects are the objects of and whose morphisms are the injective maps of .
In every dagger 2-poset, given two injective maps and , if , then . This means that the sub-2-poset is a category and trivially a 2-poset.
Examples
- For the dagger 2-poset Rel of sets and relations, the category of monic maps is equivalent to the category of sets and injections.
See also
Last revised on July 6, 2023 at 18:08:45.
See the history of this page for a list of all contributions to it.