Un encaje de un conjunto A en otro B es una función f:AB que es inyectiva. Aquí estamos hablando en la categoría de conjuntos.
Un encaje abstracto se define para cualquier categoría C con la condición de que la función f arriba sea -adicionalmente- un C-morfismo i.e. un C-monomorfismo.