13.1 Monomorphisms in Bicategories
-
Subsection 13.1.1: Representably Faithful Morphisms
- Definition 13.1.1.1.1: Representably Faithful Morphisms
- Remark 13.1.1.1.2: Unwinding Definition 13.1.1.1.1
- Example 13.1.1.1.3: Examples of Representably Faithful Morphisms
-
Subsection 13.1.2: Representably Full Morphisms
- Definition 13.1.2.1.1: Representably Full Morphisms
- Remark 13.1.2.1.2: Unwinding Definition 13.1.2.1.1
- Example 13.1.2.1.3: Examples of Representably Full Morphisms
-
Subsection 13.1.3: Representably Fully Faithful Morphisms
- Definition 13.1.3.1.1: Representably Fully Faithful Morphisms
- Remark 13.1.3.1.2: Unwinding Representably Fully Faithful Morphisms
- Example 13.1.3.1.3: Examples of Representably Fully Faithful Morphisms
-
Subsection 13.1.4: Morphisms Representably Faithful on Cores
- Definition 13.1.4.1.1: Morphisms Representably Faithful on Cores
- Remark 13.1.4.1.2: Unwinding Definition 13.1.4.1.1
-
Subsection 13.1.5: Morphisms Representably Full on Cores
- Definition 13.1.5.1.1: Morphisms Representably Full on Cores
- Remark 13.1.5.1.2: Unwinding Definition 13.1.5.1.1
-
Subsection 13.1.6: Morphisms Representably Fully Faithful on Cores
- Definition 13.1.6.1.1: Morphisms Representably Fully Faithful on Cores
- Remark 13.1.6.1.2: Unwinding Definition 13.1.6.1.1
-
Subsection 13.1.7: Representably Essentially Injective Morphisms
- Definition 13.1.7.1.1: Representably Essentially Injective Morphisms
- Remark 13.1.7.1.2: Unwinding Definition 13.1.7.1.1
-
Subsection 13.1.8: Representably Conservative Morphisms
- Definition 13.1.8.1.1: Representably Conservative Morphisms
- Remark 13.1.8.1.2: Unwinding Definition 13.1.8.1.1
-
Subsection 13.1.9: Strict Monomorphisms
- Definition 13.1.9.1.1: Strict Monomorphisms
- Remark 13.1.9.1.2: Unwinding Definition 13.1.9.1.1
- Example 13.1.9.1.3: Examples of Strict Monomorphisms
-
Subsection 13.1.10: Pseudomonic Morphisms
- Definition 13.1.10.1.1: Pseudomonic Morphisms
- Remark 13.1.10.1.2: Unwinding Definition 13.1.10.1.1
- Proposition 13.1.10.1.3: Properties of Pseudomonic Morphisms
