Projektiver Limes

Der Limes (projektiver Limes) eines inversen Systems von Objekten mit Projektionsabbildungen: ein Objekt, das mit Projektionen zu jeder Stufe ausgestattet ist und universal für Abbildungen ist, die durch kompatible Projektionen faktorisieren; konkret sind seine Elemente Tupel von Stufenelementen, die unter den Übergangsmorphismen kohärent sind.