---
title: Display Map 2-Categories
url: https://www.emergentmind.com/topics/display-map-2-categories
type: topic
---

# Display Map 2-Categories

“Display map 2-categories” is best read as a useful slogan, not as a standardized term of art. In the relevant literature, it denotes a recurring 2-categorical pattern in which one studies categories, or more generally algebras for a 2-monad, equipped with extra structure; a large class of weak structure-preserving morphisms; and a distinguished subclass of strict morphisms that behave like display maps. In the formulation developed by Lack and Shulman, this pattern is formalized as an **enhanced 2-category**, equivalently an **\(\mathcal{F}\)-category**, and its central technical content is a limit theory in which designated projections are strict and jointly detect strictness of other morphisms [1104.2111].

## 1. Terminological status and the basic pattern

The expression “display map 2-category” does not originate with Lack and Shulman; it functions as a slogan for a situation in which strict maps sit inside a larger 2-category of weak maps. A typical instance has objects given by categories with extra structure, or strict algebras for a 2-monad \(T\); 1-cells given by weak structure-preserving morphisms of some flavour \(w\in\{p,l,c\}\) together with a distinguished subclass of strict ones; and 2-cells given by structure-respecting natural transformations [1104.2111].

For a 2-monad \(T\) on a 2-category \(\mathcal K\), the standard notation is
\[
T\text{-}\mathbf{Alg}_s
\]
for strict \(T\)-algebras and strict \(T\)-morphisms, and
\[
T\text{-}\mathbf{Alg}_w
\]
for the same strict algebras but weak morphisms of flavour \(w\). There is then a canonical inclusion
\[
J:T\text{-}\mathbf{Alg}_s\hookrightarrow T\text{-}\mathbf{Alg}_w
\]
which is identity on objects, faithful, and locally fully faithful. This inclusion is exactly the extra datum that records which weak morphisms are in fact strict.

Unwound, the pattern is “strict inside weak.” The weak side carries the ambient 2-category of lax, pseudo, or colax structure-preservers. The strict side is a full sub-2-category on the same objects, and its 1-cells are the designated “display-like” maps. A common misconception is that the weak 2-category alone contains all relevant information. In this framework it does not: the choice of strict morphisms is additional structure, and the theory of limits depends essentially on that choice [1104.2111].

For example, if \((A,a)\) and \((B,b)\) are strict \(T\)-algebras, then a lax \(T\)-morphism \((f,\bar f):(A,a)\rightsquigarrow(B,b)\) consists of a 1-cell \(f:A\to B\) together with a 2-cell
\[
\bar f:b\circ Tf \Rightarrow f\circ a
\]
satisfying associativity and unit coherence. Strict \(T\)-morphisms are the special case in which the defining square commutes strictly. The display-map interpretation is precisely that these strict morphisms form the chosen tight class inside the loose world of weak morphisms [1104.2111].

## 2. Enhanced 2-categories and \(\mathcal{F}\)-enrichment

Lack and Shulman formalize the preceding pattern using a cartesian closed base category \(\mathcal F\). Let \(\mathbf{Cat}^2\) be the arrow category of \(\mathbf{Cat}\). The category \(\mathcal F\) is the full sub-2-category of \(\mathbf{Cat}^2\) whose objects are full embeddings
\[
j_A:A_\tau\hookrightarrow A_\lambda,
\]
that is, functors that are fully faithful and injective on objects [1104.2111].

Each object of \(\mathcal F\) has a **tight part** \(A_\tau\) and a **loose part** \(A_\lambda\). A morphism in \(\mathcal F\) is a commutative square
\[
\begin{tikzcd}
A_\tau \ar[r,"f_\tau"] \ar[d,"j_A"'] & B_\tau \ar[d,"j_B"] \\
A_\lambda \ar[r,"f_\lambda"'] & B_\lambda
\end{tikzcd}
\]
and a 2-cell is a commuting square of natural transformations. Because \(j_B\) is monic and fully faithful, \(f_\tau\) and the 2-cell are determined by \(f_\lambda\). The category \(\mathcal F\) is complete, cocomplete, and cartesian closed. Its internal hom \([\!B,C\!]\) has loose part \(\mathbf{Cat}(B_\lambda,C_\lambda)\) and tight part the full subcategory of functors preserving tightness [1104.2111].

An **\(\mathcal F\)-category** \(\mathbb A\) consists of objects together with, for each pair \(A,B\), a hom-object
\[
\mathbb A(A,B)\in\mathcal F,
\]
so each hom is itself a full embedding
\[
j_{A,B}:\mathbb A_\tau(A,B)\hookrightarrow \mathbb A_\lambda(A,B).
\]
Composition and identities are morphisms in \(\mathcal F\). Equivalently, the tight homs assemble to a 2-category \(\mathbb A_\tau\), the loose homs assemble to a 2-category \(\mathbb A_\lambda\), and the inclusions assemble to a 2-functor
\[
J_{\mathbb A}:\mathbb A_\tau\to\mathbb A_\lambda
\]
that is identity on objects, faithful, and locally fully faithful [1104.2111].

This is the precise sense in which an enhanced 2-category is a 2-category with a distinguished class of 1-cells. Any ordinary 2-category may be regarded as **chordate**, where all morphisms are tight, or **inchordate**, where only identities are tight. The central examples are the \(\mathcal F\)-categories \(T\text{-}\mathbf{Alg}_w\), whose objects are strict \(T\)-algebras, whose tight morphisms are strict \(T\)-morphisms, and whose loose morphisms are \(w\)-weak \(T\)-morphisms [1104.2111].

## 3. Limits, rigged weights, and display-like projections

The decisive structural feature of these enhanced 2-categories is their limit theory. If \(\Phi:\mathbb D\to\mathcal F\) is an \(\mathcal F\)-weight and \(S:\mathbb D\to\mathbb A\) an \(\mathcal F\)-functor, a \(\Phi\)-weighted limit \(\{\Phi,S\}\) is characterized by an isomorphism of hom-objects
\[
\mathbb A(A,\{\Phi,S\})\cong [\mathbb D,\mathcal F](\Phi,\mathbb A(A,S))
\]
natural in \(A\) [1104.2111].

Unwinding this yields the display-map behavior. A \(\Phi\)-limit is, first, a 2-categorical weighted limit \(\{\Phi_\lambda,S\}\) in the loose 2-category \(\mathbb A_\lambda\). But it is not merely that. For each object \(D\in\mathbb D\) and each element \(a\in\Phi_\tau(D)\), the corresponding projection
\[
p_{\tau,D,a}:\{\Phi_\lambda,S\}\to S(D)
\]
must be **tight**, and the family \(\{p_{\tau,D,a}\}\) must **jointly detect tightness**: a loose morphism into the limit is tight if and only if all of its composites with these designated projections are tight [1104.2111].

This is the most literal sense in which tight maps behave like display maps. The limit exists in the weak world, but its structural projections belong to the strict world, and strictness of arbitrary cones can be tested projectionwise. The paper’s characterization of which weights lift to \(T\text{-}\mathbf{Alg}_w\) is given in terms of **rigged weights**. The theory uses weak-transformation classifiers \(Q_w\), first in the 2-categorical setting and then in the \(\mathcal F\)-enriched setting, to encode weak naturality data. An \(\mathcal F\)-weight \(\Phi\) is \(w\)-rigged when it is a \(Q_{\bar w}\)-coalgebra and the induced map
\[
\hat\phi:\mathrm{Lan}_J\Phi_\tau\to \Phi_\lambda
\]
is pointwise surjective on objects; equivalently, precomposing any modification with \(\hat\phi\) reflects identities [1104.2111].

The main lifting theorem states that for an \(\mathcal F\)-weight \(\Phi\), the following are equivalent: \(\Phi\) is \(w\)-rigged; for every \(\mathcal F\)-monad \(T\) on an \(\mathcal F\)-category \(\mathbb K\), the forgetful \(\mathcal F\)-functor
\[
U_w:T\text{-}\mathbf{Alg}_w\to \mathbb K
\]
creates \(\Phi\)-weighted limits; and, in particular, for every 2-monad \(T\) on a 2-category \(\mathcal K\), the forgetful \(U_w:T\text{-}\mathbf{Alg}_w\to\mathcal K\) creates such limits when \(\mathcal K\) is viewed as chordate [1104.2111].

In the pseudo case \(w=p\), this recovers the classical theory of PIE-limits: the Cat-weights that are \(Q_p\)-coalgebras are exactly the PIE-weights, and these are precisely the weights whose limits always lift to \(T\text{-}\mathbf{Alg}_p\) for any 2-monad \(T\) [1104.2111]. This identifies the classical pseudoalgebra lifting theorem with the enriched strict-inside-weak formalism.

The standard examples make the display-map interpretation concrete. For monoidal categories, strict monoidal functors are tight and strong or lax monoidal functors are loose. For categories with chosen finite products, tight maps strictly preserve chosen products and loose maps preserve them only up to coherent comparison maps. For categories with finite limits, tight maps are strictly limit-preserving and loose maps are weakly limit-preserving. In such cases, certain inserters, comma objects, and related limits have projections that are strict structure-preservers and detect when a weak morphism is actually strict [1104.2111].

## 4. Displayed categories, fibrations, and the 1-categorical root

A closely related 1-categorical background is provided by displayed categories. A displayed category \(D\) over a category \(C\) consists of displayed objects \(D_c\) over each \(c\in C\), displayed morphisms \(\dmor{x}{f}{y}\) over each \(f:a\to b\), displayed identities, displayed composition, and dependent associativity and unit laws [1705.04296]. Its total category \(\total D\) has objects \((c,x)\) and morphisms \((f,\bar f)\), together with a projection functor
\[
\forget[D]:\total D\to C.
\]
A displayed category over \(C\) is equivalent to a category equipped with a functor to \(C\) [1705.04296].

This reformulation is not merely notational. It provides a fiberwise presentation of categories “over a base” that avoids equality on objects and makes fibrational structure direct. A displayed morphism
\[
\bar f:\dmor{d'}{f}{d}
\]
is cartesian when every displayed arrow over \(g\circ f\) factors uniquely through it; a cleaving chooses cartesian lifts; and displayed fibrations, opfibrations, isofibrations, and discrete fibrations correspond to the classical notions for the projection functor \(\forget[D]\) [1705.04296].

The display-map connection is explicit in the treatment of comprehension. A comprehension category is given by a fibration \(p:\mathcal T\to C\) together with a comprehension functor
\[
\chi:\mathcal T\to C^\rightarrow
\]
over \(C\) preserving cartesian arrows. In the displayed formulation, a type over \(\Gamma\) produces a display map
\[
\pi_A:\Gamma.A\to\Gamma,
\]
and substitution is modeled by cartesian liftings. Categories with attributes are converted into comprehension categories by combining the equivalence between presheaves and discrete fibrations with displayed slice constructions [1705.04296].

This suggests a 1-dimensional root of display map 2-categories. Displayed categories encode “types over contexts” as indexed families, cartesian morphisms encode substitution, and displayed functors into slices encode context extension. The same paper explicitly points toward **displayed bicategories**, **displayed 2-functors**, and a “2-dimensional analogue of a comprehension category,” while noting that displayed categories, displayed functors, and displayed natural transformations over a fixed base should form a bicategory [1705.04296]. A plausible implication is that display map 2-categories can be understood as a higher-categorical synthesis of the enhanced-2-categorical strict/weak pattern and the displayed-category comprehension pattern.

## 5. Higher-dimensional generalizations

At the \((\infty,2)\)-level, cartesian 2-fibrations provide a direct higher analogue of display maps. In the scaled-simplicial-set framework of \(\infty\)-bicategories, one studies a map
\[
p:\mathcal E\to \mathcal B
\]
together with \(p\)-cartesian and \(p\)-cocartesian arrows, and with higher lifting conditions for triangles. The theory distinguishes four variance flavours: 2-inner cartesian, 2-inner cocartesian, 2-outer cartesian, and 2-outer cocartesian fibrations [2107.12356].

The 2-dimensional content lies in the notion of inner and outer triangles. A triangle in \(\mathcal E\) can be left or right \(p\)-inner, or left or right \(p\)-outer, according to whether associated arrows in slice \(\infty\)-bicategories are strongly cartesian or strongly cocartesian. A 2-inner fibration is a weak fibration with enough left and right inner lifts for triangles; a 2-outer fibration has enough outer lifts together with closure of outer triangles under whiskering [2107.12356]. This is precisely the kind of higher lifting-and-stability data that a display-map formalism requires.

Several structural results align with the display-map viewpoint. If \(p\) is a 2-inner fibration, then for every \(x,y\in\mathcal E\) the induced map on mapping \(\infty\)-categories
\[
p_{x,y}:\mathrm{Map}_{\mathcal E}(x,y)\to \mathrm{Map}_{\mathcal B}(px,py)
\]
is a cartesian fibration; if \(p\) is 2-outer, then each \(p_{x,y}\) is a cocartesian fibration [2107.12356]. Equivalences between such fibrations can be tested fiberwise: under an equivalence of bases, a morphism between 2-inner or 2-outer cartesian fibrations is an equivalence if and only if it is an equivalence on each fiber [2107.12356].

The prototypical example is the domain projection
\[
\mathrm d:\mathrm{RMap}(\Delta^1,\mathcal C)\to \mathcal C,
\]
where \(\mathrm{RMap}(\Delta^1,\mathcal C)\) is the \(\infty\)-bicategory of functors, lax natural transformations, and modifications. This map is a 2-outer cartesian fibration [2107.12356]. As in ordinary arrow fibrations, objects are arrows, cartesian edges model reindexing by precomposition, and outer cartesian triangles express the higher coherence of lax squares. This provides a concrete higher-dimensional candidate for a display map 2-category.

## 6. Homotopy-coherent refinements and ambient frameworks

Two further directions clarify the scope of the subject. First, when mapping spaces are 2-types, two-track categories provide an algebraic model for categories enriched in 2-type mapping spaces. A two-track category is a category enriched in two-typical double groupoids, equivalently a category enriched in 2-types up to weak equivalence. The associated Baues–Wirsching type cohomology \(H^*_{BW}(D;K)\) classifies two-track extensions of a track category \(D\) by a natural system \(K\), with equivalence classes of two-track extensions corresponding to elements of
\[
H^4_{BW}(D;K)
\]
[1002.3262]. This suggests that display map 2-categories with homotopy-theoretic mapping data admit genuinely higher coherence refinements whose obstruction theory is cohomological rather than merely bicategorical.

Second, accessibility theory indicates that weak rather than strict ambient 2-categories are usually the correct setting. In Bourke’s framework, a 2-category in LP is accessible with filtered colimits, has flexible limits, and has finite flexible limits commuting with filtered colimits. If \(C\in\) LPM, then the 2-category of fibrations
\[
\mathrm{Fib}(C)\to C^2
\]
is in LP; similarly, accessibility of retract equivalences controls the accessibility of isofibrations and equivalences in \(C^2\) [2003.06375]. The same paper shows that 2-categories of weak structures and pseudomorphisms, such as monoidal categories with strong monoidal functors or bicategories with pseudofunctors, lie in LPM, whereas sufficiently strict variants often fail even to be accessible [2003.06375]. This suggests that display map 2-categories should generally be sought among weak structures with pseudomorphisms, rather than among overly strict algebraic 2-categories.

Taken together, these developments support a broad understanding of display map 2-categories. At the strict/weak level, they are enhanced 2-categories or \(\mathcal F\)-categories in which tight morphisms are singled out inside a loose 2-category and are controlled by enriched limit theory [1104.2111]. At the fibrational level, they are organized by displayed-category and comprehension ideas [1705.04296]. At the higher level, they are modeled by inner or outer cartesian 2-fibrations of \(\infty\)-bicategories [2107.12356]. And at the homotopy-coherent and accessibility levels, they are shaped by cohomological refinement and by the preference for weak, flexible ambient 2-categories [1002.3262] [2003.06375].

Source: https://www.emergentmind.com/topics/display-map-2-categories