Empezamos definiendo el cono (en el sentido teoría de categorías) de un funtor covariante formula_1, ayudándonos del siguiente diagrama, que constará de: