En la teoría de categorías , una rama de las matemáticas , la categoría de inserción es una variación de la categoría de coma donde se requiere que los dos functores tengan la misma categoría de dominio.
Si C y D son dos categorías y F y G son dos functores de C a D , la categoría de inserción Ins ( F , G ) es la categoría cuyos objetos son pares ( X , f ) donde X es un objeto de C y f es un morfismo en D de F ( X ) a G ( X ) y cuyos morfismos de ( X , f ) a ( Y , g) son morfismos h en C de X a Y tales que . [1]
Si C y D son presentables localmente , F y G son functores de C a D , y F es cocontinuo o G es continuo ; entonces la categoría de insertador Ins ( F , G ) también es presentable localmente. [2]