2006/04/26 by Nelson Martins Ferreira, Ferreira, Nelson Martins
Computer Science · Mathematics · #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems #Rings and Algebras (math.RA)
paper · pdf · doi:10.48550/arxiv.math/0604549
openalex publication_date 2006/04/26 · openalex created_date 2024/04/11 · openalex updated_date 2026/07/28
We provide a complete description of the category of pseudo-categories (including pseudo-functors, natural and pseudo-natural transformations and pseudo modifications). A pseudo-category is a non strict version of an internal category. It was called a weak category and weak double category in some earlier papers. When internal to Cat it is at the same time a generalization of a bicategory and a double category.