Las definiciones de categorías y funtores nos proveen sólo de la base inicial del álgebra categorial.