nLab injective 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 injective relations are defined in Rel

Definition

A morphism f:hom A(a,b)f:hom_A(a,b) of a dagger 2-poset AA is an injective morphism if f f1 af^\dagger \circ f \leq 1_a.

See also

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