nLab
functional 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 functional relations are defined in Rel
Definition
A morphism of a dagger 2-poset is a functional morphism or a partial map if .
See also
Created on May 3, 2022 at 20:54:09.
See the history of this page for a list of all contributions to it.