ncatlab.org

locally fully faithful 2-functor in nLab

Contents

Context

2-Category theory

2-category theory

Definitions

Transfors between 2-categories

Morphisms in 2-categories

Structures in 2-categories

Limits in 2-categories

Structures on 2-categories

Contents

Definition

A 2-functor F:C→DF\colon C \to D is locally fully faithful if each functor on hom-categories

F:C(x,y)→D(Fx,Fy) F \colon C(x,y) \to D(F x, F y)

is fully faithful.

Last revised on May 27, 2020 at 16:32:21. See the history of this page for a list of all contributions to it.