nLab entire 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 entire 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 an entire morphism if 1 af f1_a \leq f^\dagger \circ f.

See also

Created on May 3, 2022 at 16:55:40. See the history of this page for a list of all contributions to it.