El límite inverso de este sistema es un objeto "X" en "C" junto con morfismos π : "X" → "X" (llamadas "proyecciones") que satisfacen π = "f" π .