nLab internal pseudocategory




The notion of an internal pseudocategory in a 2-category KK with pullbacks is a generalisation of the notion of an internal category in a 1-category, where one requires composition to be associative and unital only up to coherent isomorphism of 2-cells in KK.

This is distinct from the concept of an internal bicategory?, which additionally specifies the data of an object of 2-cells.



  • N. Martins-Ferreira. Pseudo-categories Journal of Homotopy and Related Structures 1.1 (2006): 47-78. (arXiv:math/0604549)

Last revised on April 11, 2024 at 07:49:26. See the history of this page for a list of all contributions to it.