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 fhom A(a,b)f \in hom_A(a,b) of a dagger 2-poset AA is a functional morphism or a partial map if ff 1 bf \circ f^\dagger \leq 1_b.

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.