nLab
tabulator

Idea

[…]

A type of limit in a double category.

Definition

If ff is a vertical arrow? in a double category CC, its tabulator is the terminal object in the category whose objects are objects TT of CC equipped with a 2-cell π:id Tf\pi\colon id_T\to f and morphisms ππ\pi'\to\pi are horizontal arrows? g:TTg\colon T'\to T such that the horizontal composition of the identity 2-cell on hh and the 2-cell π\pi yields π\pi'.

References

  • Marco Grandis, Robert Pare, Limits in double categories. Cahiers Topologie Géom. Différentielle Catég. 40 (1999), no. 3, 162–220.

  • Marco Grandis, Higher Dimensional Categories. From Double to Multiple Categories, doi

Created on March 4, 2021 at 01:09:39. See the history of this page for a list of all contributions to it.