Functorial Cylinder Objects

• Functorial cylinder objects are defined via an endofunctor with natural transformations (i₀, i₁, p) that abstract the topological cylinder for algebraic and homotopical use.
• They enable explicit computations of homotopy colimits and facilitate the construction of cofibrant resolutions in DG categories and model structures.
• Their strict functoriality underpins practical applications in TQFT, cyclic objects, and higher categorical frameworks, providing a robust model for homotopical operations.

A functorial cylinder object is a categorical or algebraic construction that provides an explicit, strictly functorial assignment of “cylinder” objects to objects in a given homotopical or algebraic context, together with well-behaved structure maps realizing the abstract notion of a cylinder in that setting. The concept arises in homotopical algebra, enriched category theory, operad theory, DG categories, cobordism categories, and higher category frameworks, where it is instrumental for the formulation of homotopy-theoretical concepts such as homotopy colimits, model category structures, and deformation invariants.

1. Formal Definition and Motivation

Functorial cylinder objects generalize the topological notion of a cylinder $X \times I$, abstracting it to settings where “paths” and “homotopies” must be encoded algebraically or categorically. Given a suitable category $\mathcal{C}$, a functorial cylinder object is typically specified by an endofunctor $\mathrm{Cyl} : \mathcal{C} \to \mathcal{C}$, together with natural transformations

$$i_0, i_1: \operatorname{Id}_\mathcal{C} \to \mathrm{Cyl}, \qquad p: \mathrm{Cyl} \to \operatorname{Id}_\mathcal{C}$$

satisfying $p \circ i_0 = p \circ i_1 = \operatorname{id}$, and further axioms that guarantee compatibility with model or homotopical structures. The terminology “functorial” indicates that both the assignment and the structural maps vary functorially with morphisms in $\mathcal{C}$.

This construction provides well-behaved algebraic “cylinders,” making subsequent constructions such as homotopies and (co)limits strictly compatible with morphisms, and provides a computational handle for explicit calculations in homotopical and categorical contexts.

2. Functorial Cylinder Objects in DG Categories and Algebras

In the context of semifree differential graded (DG) categories and DG algebras, functorial cylinder objects are crucial for explicit computations of homotopy colimits and play a central role in the formulation of model structures. Given a semifree DG category $A$, the functorial cylinder $\mathrm{Cyl}(A)$ is constructed as follows:

• Objects: Disjoint union $A_1 \amalg A_2$, where $A_1$ and $A_2$ are two copies of $A$’s objects.
• Morphisms: For each object $X$ in $A$, introduce morphisms $t_X : X_1 \to X_2$ (degree 0) and $t_f : X_1 \to Y_2$ (degree $|f| - 1$ for each generating morphism $f$).
• Differential: Extended from $A$ to the new generators to enforce in cohomology the relation $f_2 t_X = t_Y f_1$, with explicit correction terms determined by the differential structure of $A$.
• Invertibility up to homotopy: New morphisms $t_X'$ and associated homotopies are adjoined so $t_X$ is invertible up to homotopy.

For any semifree DG functor $F : A \to B$, the functorial extension $\mathrm{Cyl}(F)$ is defined by $F$’s action on the generators and the structural morphisms.

This construction satisfies the classical cylinder object axioms in the Dwyer–Kan (Morita) model structure on DG categories: $A \to A\amalg A \to \mathrm{Cyl}(A)$ is a cofibration, $\mathrm{Cyl}(A) \to A$ is a (quasi-)equivalence, and the inclusions/exclusions are compatible with the DG structure and homotopy. This enables practical computation of homotopy colimits, as explicit pushouts along cylinder objects produce cofibrant resolutions and explicit models for derived colimits. Applications include the computation of wrapped Fukaya categories, as shown in the computation of wrapped Fukaya categories of cotangent bundles of lens spaces (Karabas et al., 2021, Karabas et al., 2024).

3. Cobordism Categories and $\mathrm{Cyl}$-Objects

In low-dimensional TQFT and cobordism theory, functorial cylinder objects appear as functors from a combinatorially presented “cylinder cobordism category” $\mathrm{Cyl}$ to a monoidal category $\mathcal{C}$. The category $\mathrm{Cyl}$’s objects are marked circles $S^1_k$; its morphisms are generated by identities, rotations (twists), “cups” (births), and “caps” (deaths), subject to eight diagrammatic relations that precisely encode the algebraic topology of one-dimensional cobordisms.

A $\mathrm{Cyl}$-object in $\mathcal{C}$ is thus a strict functor $F: \mathrm{Cyl} \to \mathcal{C}$ assigning algebraic data (objects, cup/cap/rotation morphisms) to the basic topological moves, strictly preserving the relations. Notable examples include:

• Temperley–Lieb algebras as $\mathrm{Cyl}$-objects in $\mathrm{Vect}_k$, where cups and caps correspond to diagrammatic operations and $\mathcal{C}$-relations reproduce the TL relations.
• Cyclic objects: Restricting $\mathrm{Cyl}$ to even components recovers the structure of Connes’ cyclic category, so every $\mathrm{Cyl}$-object restricts to a cyclic object.
• Cylindrical bar constructions: Given a self-dual object $X$ in a monoidal category, one obtains a $\mathrm{Cyl}$-object via bar-like operations on tensor powers of $X$.

$\mathrm{Cyl}$-objects are strictly functorial with respect to morphisms in $\mathcal{C}$, making them valuable for encoding TQFT data and for constructing Hochschild-type invariants in a functorial, homotopy-coherent fashion (Calle et al., 2024).

4. Functoriality and Model Category Perspectives

Functorial cylinder objects are philosophically and technically foundational in the development of model categories, particularly in monoidal and enriched environments. Given a (closed) monoidal category $\mathcal{V}$ and a $\mathcal{V}$-category $\mathcal{C}$, the functorial cylinder is provided by the tensor $K \otimes X$ for $K \in \mathcal{V}$, $X \in \mathcal{C}$. The universal property is encoded by the enriched adjunction

$\mathcal{C}(K\otimes X, Y) \cong \mathcal{V}(K, \mathcal{C}(X, Y)),$

which establishes the expected “homotopy” interpretation of morphisms from $K\otimes X$. The strict functoriality in both variables $K$ and $X$ is essential for constructing model category structures and Quillen adjunctions (Lee, 2014, Williamson, 2013).

In non-symmetric monoidal categories, the existence of a well-behaved functorial cylinder (from a “structured interval” object $I$) leads to cofibrantly generated model structures, with explicit control over cofibrations, weak equivalences, and fibrations. Subdivision and connection maps on $I$ further enable the construction of double homotopies and the verification of strictness and compatibility conditions necessary for model-theoretical applications (Williamson, 2013).

5. Higher Categories and Categorical Cylinders

Functorial cylinder objects are generalized in the context of strict $\omega$-categories and higher categorical structures. In the case of the Gray cylinder, a canonical, functorial cylinder object $G$ is defined on the “cellular” category $\Theta$ by a colimit construction encoding how to thicken or “suspend” higher cells. There are canonical endpoint inclusions, projection maps, and a span connecting the Cartesian, Gray, and shift cylinder constructions. The universal properties and homotopical equivalence of these constructions underpin comparison theorems in the theory of test categories and homotopy theory for higher categories (Lessard, 2022).

Functoriality is checked on generators and shown to respect compositions and identities, ensuring that operations at all categorical levels are strictly compatible—a property crucial for the coherence of homotopical operations in strict $(\infty, 1)$- or $(\infty, n)$-categorical contexts.

6. Operadic and Simplicial Functorial Cylinders

Functorial cylinder objects arise in the bar and cobar duality of operads and in the explicit construction of cofibrant resolutions. In the operadic context, the functorial cylinder is modeled on the cobar construction applied to a cooperad, producing a quasi-free operad whose generators encode both the ends and the homotopy interpolations. The structure maps and differentials are specified to ensure functoriality with respect to cooperad morphisms. Such constructions provide explicit models for left homotopies between operad morphisms and underlie the theory of homotopy-coherent algebraic structures (0902.0177).

In DG rings and simplicial settings, functorial cylinder objects (such as the cylinder simplicial DG ring) give rise to explicit simplicial objects whose hom-sets encode genuine Kan complexes. For a semi-free DG ring $A$ and any DG ring $B$, the simplicial set $\operatorname{Hom}(A, \mathrm{Cyl}(B))$ is a Kan complex, making possible a strictly functorial realization of homotopies and higher coherences purely algebraically. These constructions admit horn-filling properties intrinsic to the DG ring model category and generalize to DG categories (Yekutieli, 12 Feb 2026).

7. Applications and Structural Significance

Functorial cylinder objects not only enable and streamline the computation of homotopy colimits, derived functors, and base changes, but often serve as the engine behind the construction of invariants and the formulation of gluing theorems in homotopical and topological field theory. For instance:

• In symplectic topology, functorial cylinders facilitate the calculation of wrapped Fukaya categories via sectorial coverings and Heegaard decompositions, as well as explicit invariants for cotangent bundles and plumbing spaces (Karabas et al., 2021, Karabas et al., 2024).
• In TQFT, $\mathrm{Cyl}$-objects encode TQFT data for nested cobordism categories, yielding both classical invariants (Temperley–Lieb, cyclic objects) and new algebraic tools (cylindrical bar constructions, doubling/edgewise subdivision) (Calle et al., 2024).
• In enriched and model categorical frameworks, the existence of a functorial cylinder governs the interplay between structure, strictness, and the existence of well-behaved (co)fibrations and path/cylinder objects, undergirding the entire fabric of abstract homotopy theory (Lee, 2014, Williamson, 2013).

The strict functoriality of these constructions ensures compatibility with morphism-level algebra and enables their use in derived and higher categorical frameworks, where homotopy coherence and functoriality are indispensable.

---

References:

• "Homotopy Colimits of DG Categories and Fukaya Categories" (Karabas et al., 2021)
• "A Computational Approach to the Homotopy Theory of DG categories" (Karabas et al., 2024)
• "Nested cobordisms, Cyl-objects and Temperley-Lieb algebras" (Calle et al., 2024)
• "On The Combinatorics of the Gray Cylinder" (Lessard, 2022)
• "Operadic bar constructions, cylinder objects, and homotopy morphisms of algebras over operads" (0902.0177)
• "The Cylinder Simplicial DG Ring" (Yekutieli, 12 Feb 2026)
• "Cylinder, Tensor and Tensor-Closed Module" (Lee, 2014)
• "Cylindrical model structures" (Williamson, 2013)