nLab
onto morphism 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
Contents
Idea
A morphism similar to how onto relations are defined in Rel
Definition
A morphism of a dagger 2-poset is an onto morphism if .
See also
Created on May 3, 2022 at 20:50:00.
See the history of this page for a list of all contributions to it.