Más en general, uno puede subsumir supremos e ínfimos bajo la noción abstracta de un límite categórico (o "colímite", respectivamente).