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 fhom A(a,b)f \in hom_A(a,b) of a dagger 2-poset AA is an onto morphism if 1 bff 1_b \leq f \circ f^\dagger.

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.