nLab map 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

Definition

A morphism f:hom A(a,b)f:hom_A(a,b) of a dagger 2-poset AA is a map if it is functional and entire.

The set of all maps in hom A(a,b)hom_A(a,b) is defined as

Map A(a,b){fhom A(a,b)|isFunctional(f)isEntire(f)}Map_A(a, b) \coloneqq \{f \in hom_A(a,b) \vert isFunctional(f) \wedge isEntire(f)\}

See also

Last revised on May 4, 2022 at 01:37:09. See the history of this page for a list of all contributions to it.