homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
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.
Last revised on July 6, 2023 at 18:08:45. See the history of this page for a list of all contributions to it.