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

Definition

A morphism fHom A(a,b)f \in Hom_A(a,b) of a dagger 2-poset AA is an epic map if it is an onto map.

The type of all epic maps in Hom A(a,b)Hom_A(a,b) is defined as

EpiMap(a,b) f:Hom A(a,b)isOnto(f)×isMap(f)EpiMap(a, b) \coloneqq \sum_{f:Hom_A(a,b)} isOnto(f) \times isMap(f)

See also

Created on May 3, 2022 at 21:32:31. See the history of this page for a list of all contributions to it.