Otras intuiciones resultan cuando categorías de orden resultan equivalentes categóricas a otra categoría, por ejemplo de espacios topológicos.