nLab tabulator

Redirected from "cotabulators".

Context

2-category theory

Limits and colimits

Contents

Idea

A tabulator is a kind of double limit, i.e. a limit in a double category, generalizing the notion of the graph of a profunctor (also called the cocollage). Dually, the notion of a cotabulator generalizes that of the cograph of a profunctor (also called the collage).

Definition

The tabulator of a loose morphism u:ABu \colon A \nrightarrow B in a double category 𝔻\mathbb{D} consists of an object TuT u and a 2-morphism with the universal properties:

  1. For every 2-morphism

there is a unique tight morphism x:XTux \colon X \rightarrow T u such that τ ux=ξ\tau_{u} x = \xi.

  1. The tetrahedron condition holds (see Paré, page 478).

If only the first universal property holds, we say that the loose morphism has a 11-tabulator.

Properties

References

An early reference for what is essentially the universal property of an (effective) tabulator is the definition of a tabulation, based on a similar definition in an allegory:

The definition of a (co)tabulator was first introduced in Section 5.3 of:

  • Marco Grandis, Robert Pare, Limits in double categories, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 40, 1999. (url)

The 22-dimensional universal property of a tabulator is stated in Section 3 of:

  • Robert Pare, Yoneda theory for double categories, Theory and Applications of Categories_, 25, 2011. (url)

Other references on (co)tabulators include:

  • Susan Niefield, Span, cospan, and other double categories Theory and Applications of Categories_, 26, 2012. (url)

  • Marco Grandis and Bob Paré, Span and cospan representations of weak double categories, Categories and General Algebraic Structures with Applications 6.Speical Issue on the Occasion of Banaschewski’s 90th Birthday (I) (2017): 85-105.

  • Marco Grandis, Higher Dimensional Categories. From Double to Multiple Categories, 2019. (doi:10.1142/11406)

Last revised on November 21, 2024 at 19:47:06. See the history of this page for a list of all contributions to it.