Projektiver Limes

Das universelle Objekt (Limes) eines inversen Systems (auch projektives System genannt), ausgestattet mit Projektionen auf jedes Objekt des Systems, bestehend aus Tupeln, die unter den Übergangsmorphismen kompatibel sind und durch eine universelle Eigenschaft gegenüber Abbildungen in das System charakterisiert werden.