Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
This page is about double categories. For the use of ‘tight’ and ‘loose’ in the context of F-categories, see there.
In the context of double category theory, vertical/horizontal or tight/loose are terminologies used to distinguish the two kinds of 1-cells comprising a double category.
Since a double category $\mathbb{D}$ is a category internal to $\mathbf{Cat}$, it comes with two kinds of 1-cells: the ones between objects of $\mathbb{D}_0$ (called tight) and the ones which are the objects of $\mathbb{D}_1$ (called loose). As explained in double category, loose cells are the protagonists in the specification of the internal category structure, since such structure tells us (1) what are their boundaries, (2) which one are the identities and (3) how they compose.
Historically, double categories were defined to be strict internal categories hence you could freely swap tight and loose directions without mathematical consequences (see (§3.2.2, §3.2.5, Grandis 2019). Recently, however, double categories are more commonly defined to be internal pseudocategories, meaning the category structure on the loose arrows is associative and unital only up to coherent isomorphism. As a consequence, loose cells do not organize in a category anymore, instead yielding a bicategory. Thus loose and tight cells are nowadays qualitatively different kinds of 1-cells and cannot be swapped (loose morphisms couldn’t form an object of $\mathbf{Cat}$).
The interplay between the weakness of loose cells and the strictness of tight cells is a major principle of double category theory (extending to multiple category theory too). Since the lack of strictness in the loose direction is described in terms of tight cells instead of other loose cells, double categories are tamer 2-dimensional structures than bicategories. For instance monoidal double categories (and other algebraic structures) are generally easier to define than monoidal bicategories (see refs here), or the fact lax double functors form a double category in a more natural way than lax 2-functors form a 2-category (see at icons).
Since 2-cells in double categories are naturally denoted by squares, their boundary 1-cells are predominantly referred to of ‘horizontal’ and ‘vertical’. This terminology is the most common in the published literature, albeit used inconsistently (i.e. sometimes vertical corresponds to loose, chiefly in Grandis and Parè’s papers, sometimes to tight). As discussed above, the modern usage of double categories doesn’t allow one to swap loose and tight cells freely, hence confusing vertical for horizontal is not just a nuisance but could make the difference between a true and a false theorem.
The terminology ‘tight’ and ‘loose’ comes from the world of F-categories, in particular from (Lack and Shulman, 2012). In that setting tight arrows are a special kind of loose arrows, but in the broader setting of double category theory that doesn’t have to be the case.
Relatedly, in a framed bicategory loose 1-cells are called ‘proarrows’ and tight 1-cells are called arrows. That’s because framed bicategories present proarrow equipments.
1-cells in $\mathbb{D}_0$ | 0-cells in $\mathbb{D}_1$ | |
---|---|---|
longitudinal | lateral | (Ehresmann 1963) |
horizontal | vertical | Dawson and Paré; Grandis and Paré |
vertical | horizontal | (Leinster 2004), (Cruttwell and Shulman, 2010) |
tight | loose | (Lack and Shulman 2012) |
dynamic | static | (Grandis 2019) |
transversal | 1-objects | (Grandis 2019) |
From a (weak) double category $\mathbb{D}$ we can extract two separate `globular' objects:
(Strict) double categories were introduced in
where the two kinds of 1-cells were called longitudinal and lateral.
The less notationally-bound terminology tight/loose was introduced by
Other references:
Marco Grandis, Higher dimensional categories: from double to multiple categories, World Scientific, 2019. (doi:10.1142/11406)
Geoffrey Cruttwell, Mike Shulman, A unified framework for generalized multicategories, TAC, vol. 24, 21, 2010, (arxiv:0907.2460), (tac)
Tom Leinster, Higher operads, higher categories, London Math. Soc. Lec. Note Series 298, Cambridge University Press (2004) [math.CT/0305049, doi:10.1017/CBO9780511525896]
Last revised on August 14, 2024 at 09:22:03. See the history of this page for a list of all contributions to it.