Traducción de "comma category" en español

A category built on the basis of two other categories with a functor between them, whose objects are pairs object, morphism ( morphism, object) where the object belongs to the first (second) category and the morphism to the second (first) category and the domain (codomain) of the morphism is the application of the functor to the object, and whose morphisms are pairs morphism, commuting square ( commuting square, morphism) formed by connecting two objects (as defined above) by means of three morphisms, one of them belonging to the first (second) category and the other two to the second (first) category, and the middle morphism being the application of the functor to the first (third) morphism. [..]