이해를 돕기 위해 대략적으로 말하자면, 어떤 군(당연히 작용으로 homomorphism도 있어야겠지)을 대상으로 삼는 카테고리에 대해 poset구조가 존재할 때 일종의 'index'가 더 큰 집합(순서구조가 더 큰 집합)으로 가는 functor가 있을 테고, 그게 '무한히'많이 갔을 때 나오는 게 inverse limit(또는 projective limit). projective냐 inverse냐는 사실 크게 중요하지 않음. 서로 반대 위치에 있을 뿐이고 poset 순서는 정하기 나름이니.