Higher-Categorical Foundations: An (∞, 1)-Categorical Treatment of Categories, Homological Algebra and Sheaf Cohomology

Higher-Categorical Foundations: An $(\infty, 1)$-Categorical Treatment of Categories, Homological Algebra and Sheaf Cohomology

Anonymous Review Copy. November 2026.

This work presents a comprehensive modern formulation of Jan R. Strooker's classical text (Introduction to Categories, Homological Algebra and Sheaf Cohomology, Cambridge University Press, 1978) within the framework of higher category theory and higher categorical semantics. The accompanying monograph (higher-categorical-foundations.pdf) contains the complete typeset development, extended proofs, and formal diagrams. The source companion (higher-categorical-foundations-companion.zip) contains reproducible build scripts, LaTeX source files, and kernel-checked Lean 4 / HoTT verification sketches.

---

1. Introduction and the Homotopical Paradigm

In 1978, Strooker established an accessible path from abstract 1-categories to homological algebra and the sheaf cohomology of topological spaces. While foundational, the 1-categorical framework suffers from inherent structural friction: 1. The Equality Obstruction: Strict equality of morphisms in a hom-set fails to capture the intrinsic homotopical symmetries of mathematical structures. In algebra and topology, two constructions are rarely strictly equal; they are naturally isomorphic or homotopy equivalent. 2. Deficiencies of Triangulated Derived Categories: In classical homological algebra, the derived category $\mathcal{D}(\mathbf{A})$ is constructed by inverting quasi-isomorphisms at the 1-categorical level. The resulting triangulated structure loses higher homotopy coherence: mapping cones are non-functorial, homotopy pushouts cannot be pasted transitively, and derived limits and colimits fail to exist in general. 3. Truncated Sheaf Theory: Classical sheaves take values in discrete sets or 1-categories. When studying families of chain complexes or geometric stacks, descent with respect to open covers requires higher coherence data (the Cocycle condition up to homotopy, with higher homotopies satisfying coherence laws ad infinitum).

By lifting the classical foundation to $(\infty, 1)$-categories (specifically quasi-categories in the sense of Joyal and Lurie), these limitations dissolve. - Hom-sets $(A, B)$ become mapping spaces $\operatorname{Map}_{\mathcal{C}}(A, B) \in \mathcal{S}$. - Classical abelian categories are replaced by stable $\infty$-categories, where mapping cones are strictly functorial and limits/colimits are homotopy-coherent. - Classical sheaves are subsumed by $\infty$-sheaves (stacks) on an $\infty$-topos, where cohomology is simply the homotopy type of global sections.

---

2. $(\infty, 1)$-Categories and $\infty$-Adjunctions

2.1 Quasi-Categories and Mapping Spaces

Let $\Delta$ denote the simplex category of finite non-empty linearly ordered sets $[n] = \{0 < 1 < \dots < n\}$. A simplicial set is a contravariant functor $X \colon \Delta^{\mathrm{op}} \to \mathbf{Set}$.

Definition 2.1 (Quasi-Category). A simplicial set $\mathcal{C}$ is an $(\infty, 1)$-category (or quasi-category) if it satisfies the weak Kan condition: for every $0 < k < n$, every inner horn $\Lambda^n_k \to \mathcal{C}$ admits a filler $\Delta^n \to \mathcal{C}$: $$\begin{CD} \Lambda^n_k @>>> \mathcal{C} \\ @VVV @AAA \\ \Delta^n @= \Delta^n \end{CD}$$

The 0-simplices $\mathcal{C}_0$ are the objects, 1-simplices $\mathcal{C}_1$ are the morphisms, and 2-simplices $\sigma \in \mathcal{C}_2$ witness compositions: if $d_2 \sigma = f$, $d_0 \sigma = g$, and $d_1 \sigma = h$, we interpret $h \simeq g \circ f$. Because inner horn fillers are not unique, composition is associative up to a contractible space of choices.

For two objects $X, Y \in \mathcal{C}$, the mapping space $\operatorname{Map}_{\mathcal{C}}(X, Y)$ is a Kan complex (an $\infty$-groupoid or space in $\mathcal{S}$). The homotopy category $\mathrm{h}\mathcal{C}$ is a standard 1-category whose objects are $\mathcal{C}_0$ and whose hom-sets are $\pi_0 \operatorname{Map}_{\mathcal{C}}(X, Y)$.

2.2 Homotopy Limits, Colimits, and $\infty$-Adjunctions

Let $K$ be a simplicial set. The $\infty$-category of diagrams of shape $K$ in $\mathcal{C}$ is the functor quasi-category $\mathcal{C}^K = \operatorname{Fun}(K, \mathcal{C})$. The constant diagram functor $\Delta \colon \mathcal{C} \to \mathcal{C}^K$ has: - A right adjoint $\lim_K \colon \mathcal{C}^K \to \mathcal{C}$ (the homotopy limit). - A left adjoint $\operatorname{colim}_K \colon \mathcal{C}^K \to \mathcal{C}$ (the homotopy colimit).

Definition 2.2 ($\infty$-Adjunction). An $\infty$-functor $F \colon \mathcal{C} \to \mathcal{D}$ is left adjoint to $G \colon \mathcal{D} \to \mathcal{C}$ (denoted $F \dashv G$) if there exists an equivalence of mapping spaces $$\operatorname{Map}_{\mathcal{D}}(F X, Y) \simeq \operatorname{Map}_{\mathcal{C}}(X, G Y)$$ natural in $X \in \mathcal{C}^{\mathrm{op}}$ and $Y \in \mathcal{D}$.

In contrast to Strooker's 1-categorical adjunctions ($F_A \dashv G_B$), an $\infty$-adjunction carries an infinite tower of coherent higher homotopies between the unit $\eta \colon \mathrm{id}_{\mathcal{C}} \to G \circ F$ and counit $\varepsilon \colon F \circ G \to \mathrm{id}_{\mathcal{D}}$.

---

3. Stable $\infty$-Categories and Higher Homological Algebra

3.1 Axioms of Stability

In Strooker (Chapters 2 & 3), homological algebra is developed over abelian categories $\mathbf{A}$, characterized by biproducts, kernels, cokernels, and the canonical isomorphism $\operatorname{Coim}(f) \xrightarrow{\sim} \operatorname{Im}(f)$. In higher category theory, the correct and robust foundation is a stable $\infty$-category.

Definition 3.1 (Stable $\infty$-Category). An $\infty$-category $\mathcal{C}$ is stable if: 1. $\mathcal{C}$ has a zero object $0$ (an object that is both initial and final). 2. Every morphism $f \colon X \to Y$ admits a fiber $\operatorname{fib}(f)$ and a cofiber $\operatorname{cofib}(f)$. 3. A commutative square in $\mathcal{C}$ is a pushout square if and only if it is a pullback square.

In any stable $\infty$-category, the suspension functor $\Sigma X = 0 \amalg_X 0$ and loop functor $\Omega X = 0 \times_X 0$ are mutually inverse equivalences: $$\Sigma \colon \mathcal{C} \xrightarrow{\sim} \mathcal{C}, \quad \Omega \colon \mathcal{C} \xrightarrow{\sim} \mathcal{C}, \quad \Sigma \circ \Omega \simeq \mathrm{id}_{\mathcal{C}} \simeq \Omega \circ \Sigma.$$

3.2 The Mapping Spectrum and Fiber Sequences

Because $\Omega$ is an equivalence, the mapping space $\operatorname{Map}_{\mathcal{C}}(X, Y)$ is an infinite loop space: $$\operatorname{Map}_{\mathcal{C}}(X, Y) \simeq \Omega \operatorname{Map}_{\mathcal{C}}(X, \Sigma Y) \simeq \Omega^2 \operatorname{Map}_{\mathcal{C}}(X, \Sigma^2 Y) \simeq \dots$$ By the May-Thomason and Boardman-Vogt recognition theorems, $\operatorname{Map}_{\mathcal{C}}(X, Y)$ refines canonically to a spectrum $\mathbf{map}_{\mathcal{C}}(X, Y) \in \mathbf{Sp}$.

For any fiber sequence $X \xrightarrow{f} Y \xrightarrow{g} Z$ in $\mathcal{C}$ (which is simultaneously a cofiber sequence $Z \simeq \operatorname{cofib}(f)$), mapping into or out of any object $W$ produces a fiber sequence of spectra: $$\mathbf{map}_{\mathcal{C}}(W, X) \to \mathbf{map}_{\mathcal{C}}(W, Y) \to \mathbf{map}_{\mathcal{C}}(W, Z).$$ Applying the homotopy group functors $\pi_n$ yields a long exact sequence of abelian groups: $$\dots \to \pi_n \mathbf{map}_{\mathcal{C}}(W, X) \to \pi_n \mathbf{map}_{\mathcal{C}}(W, Y) \to \pi_n \mathbf{map}_{\mathcal{C}}(W, Z) \xrightarrow{\partial} \pi_{n-1} \mathbf{map}_{\mathcal{C}}(W, X) \to \dots$$

3.3 Derived Categories Without Injective Resolutions

In Strooker's text, derived functors $\operatorname{Ext}^n_R(M, N)$ and satellites $S^n F$ require: - Existence of enough projectives or injectives. - Choice of resolutions $0 \to N \to I^0 \to I^1 \to \dots$ - Verification that the cohomology of the resulting complex is independent of choices up to homotopy.

In the higher-categorical setting, let $R$ be a ring. The derived $\infty$-category $\mathcal{D}(R)$ is defined directly as the stabilization of the $\infty$-category of simplicial $R$-modules, or equivalently the dg-nerve of the category of chain complexes of $R$-modules: $$\mathcal{D}(R) \simeq \operatorname{Mod}_R(\mathbf{Sp}).$$ The $\operatorname{Ext}$ and $\operatorname{Tor}$ groups are defined purely as the homotopy groups of mapping spectra and derived smash products: $$\operatorname{Ext}^n_R(M, N) \cong \pi_{-n} \mathbf{map}_{\mathcal{D}(R)}(M, N) \cong [\Sigma^n M, N]_{\mathrm{h}\mathcal{D}(R)},$$ $$\operatorname{Tor}_n^R(M, N) \cong \pi_n (M \otimes_R^{\mathbb{L}} N).$$

Theorem 3.2 (Canonical Higher Connecting Morphism). Given a short exact sequence of $R$-modules $0 \to A \to B \to C \to 0$, there is an induced fiber sequence in $\mathcal{D}(R)$: $$A \to B \to C \xrightarrow{\partial} \Sigma A.$$ The classical 'snake lemma' connecting homomorphism $\delta \colon \operatorname{Hom}_R(W, C) \to \operatorname{Ext}^1_R(W, A)$ is precisely the boundary morphism $\pi_0 \mathbf{map}(W, C) \to \pi_{-1} \mathbf{map}(W, A) \cong \pi_0 \mathbf{map}(W, \Sigma A)$. No diagram chasing or choice of injective resolution is required.

---

4. $\infty$-Topoi and Higher Sheaf Cohomology

4.1 $\infty$-Sites and Hypercover Descent

Let $X$ be a topological space (or more generally an $\infty$-site $(\mathcal{C}, \tau)$). Strooker defines sheaves on $X$ as contravariant functors $\mathscr{F} \colon \mathbf{O}(X)^{\mathrm{op}} \to \mathbf{Ab}$ satisfying the equalizer condition for coverings $U = \bigcup_i U_i$.

In the higher setting, sheaves take values in the $\infty$-category of spaces $\mathcal{S}$ or spectra $\mathbf{Sp}$.

Definition 4.1 ($\infty$-Sheaf / Stack). A presheaf $\mathscr{F} \colon \mathbf{O}(X)^{\mathrm{op}} \to \mathcal{S}$ is an $\infty$-sheaf if for every open set $U$ and every hypercovering $U_\bullet \to U$, the canonical restriction map is an equivalence: $$\mathscr{F}(U) \xrightarrow{\sim} \lim_{[n] \in \Delta^{\mathrm{op}}} \mathscr{F}(U_n).$$

The $\infty$-category of $\infty$-sheaves $\operatorname{Sh}_\infty(X)$ is an $\infty$-topos. It satisfies the Giraud-Lurie axioms: 1. It is presentable. 2. Colimits are universal (homotopy pullbacks preserve colimits). 3. Coproducts are disjoint. 4. Groupoid objects are effective.

4.2 Cohomology as Homotopy Types of Global Sections

Let $\mathscr{F} \in \operatorname{Sh}_\infty(X; \mathbf{Sp})$ be a sheaf of spectra on $X$. The global section functor is the evaluation at the terminal object: $$\Gamma(X; \mathscr{F}) = \operatorname{Map}_{\operatorname{Sh}_\infty(X)}(*, \mathscr{F}) \in \mathbf{Sp}.$$

Definition 4.2 (Higher Sheaf Cohomology). The $n$-th sheaf cohomology group of $X$ with coefficients in an abelian sheaf $\mathscr{A}$ is given by: $$H^n(X; \mathscr{A}) \cong \pi_{-n} \Gamma(X; \mathbf{H}\mathscr{A}),$$ where $\mathbf{H}\mathscr{A}$ is the Eilenberg-MacLane spectrum sheaf associated to $\mathscr{A}$, satisfying $\pi_0(\mathbf{H}\mathscr{A}) \cong \mathscr{A}$ and $\pi_k(\mathbf{H}\mathscr{A}) = 0$ for $k \ne 0$.

4.3 Recovery of Strooker's Flabby, Soft, and Fine Sheaves

Strooker (Chapter 4) presents three classes of sheaves that compute cohomology via acyclic resolutions: 1. Flabby Sheaves (Faisceaux Flasques): Restriction $\mathscr{F}(X) \to \mathscr{F}(U)$ is surjective for all opens $U \subseteq X$. 2. Soft Sheaves (Faisceaux Mous): Sections over closed subsets extend to global sections. 3. Fine Sheaves (Faisceaux Fins): The sheaf of endomorphisms admits partitions of unity subordinate to any locally finite cover.

Theorem 4.3 (Characterization via Model Fibrancy). Endow the category of simplicial presheaves $\operatorname{sPSh}(X)$ with the local projective model structure (where weak equivalences are stalkwise weak homotopy equivalences and fibrations are local fibrations). 1. A sheaf $\mathscr{F}$ is flabby if and only if $\mathscr{F}$ is fibrant with respect to the injective model structure; in particular, the global section functor $\Gamma(X; -)$ preserves fiber sequences of flabby sheaves without derivation. 2. Soft and fine sheaves on paracompact Hausdorff spaces are acyclic because their higher cohomology groups vanish for $n > 0$, meaning the mapping spectrum $\mathbf{map}(*, \mathbf{H}\mathscr{F})$ is connective and strictly $0$-truncated. 3. The classical Godement canonical resolution is the explicit construction of a fibrant replacement via the adjunction between sheaves on $X$ and sheaves on the discrete space of points $|X|$.

---

5. Higher Categorical Semantics and Computational Logic

The connection between higher category theory and computer science is mediated by Homotopy Type Theory (HoTT) and the Univalent Foundations program initiated by Voevodsky.

In higher categorical semantics: - Identity is Intensional and Higher: The type $\mathrm{Id}_A(x, y)$ is not a truth value (0 or 1), but itself a type containing non-trivial paths, 2-paths between paths, and higher homotopies. - The Univalence Axiom: For any universe $\mathcal{U}$, the canonical map $(A \simeq B) \to (A =_{\mathcal{U}} B)$ is an equivalence. This validates Strooker's intuitive practice of treating equivalent categories as interchangeable, elevating it to an internal theorem of the logic.

---

6. Formal Verification and Companion Artifacts

To guarantee mathematical precision and reproducibility, key theorems of this higher-categorical formulation have been formalized: - Lean 4 / Mathlib Formalization: The definition of stable categories, the long exact sequence of homotopy groups for fiber sequences, and the snake lemma boundary map are formalized in Lean 4. - XeLaTeX Monograph: The complete 24-page typeset monograph higher-categorical-foundations.pdf provides detailed proofs, TikZ-CD diagrams, and cross-references. - Companion Archive: The publication companion higher-categorical-foundations-companion.zip includes: - higher_categories.tex: XeLaTeX source. - formalization/: Lean 4 HoTT code and verification proofs. - build.sh: Reproducible containerized build script. - provenance.json: Checksums and integrity verification.

---

7. Selected References

1. Strooker, J. R. (1978). Introduction to Categories, Homological Algebra and Sheaf Cohomology. Cambridge Tracts in Mathematics, Vol. 73. Cambridge University Press. 2. Joyal, A. (2002). Quasi-categories and Kan complexes. Journal of Pure and Applied Algebra, 175(1-3), 207–222. 3. Lurie, J. (2009). Higher Topos Theory. Annals of Mathematics Studies, Vol. 170. Princeton University Press. 4. Lurie, J. (2017). Higher Algebra. Available at https://www.math.ias.edu/~lurie/papers/HA.pdf. 5. Cisinski, D.-C. (2019). Higher Categories and Homotopical Algebra. Cambridge Studies in Advanced Mathematics, Vol. 180. Cambridge University Press. 6. Voevodsky, V. (2006). A very short note on homotopy $\lambda$-calculus. Unpublished manuscript. 7. The Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study. 8. Grothendieck, A. (1957). Sur quelques points d'algèbre homologique. Tohoku Mathematical Journal, 9(2), 119–221. 9. Godement, R. (1958). Topologie algébrique et théorie des faisceaux. Actualités Scientifiques et Industrielles, No. 1252. Hermann, Paris.

---

Author Disclosure

This manuscript is an original academic contribution synthesizing classical category theory and higher categorical semantics. Automated tooling was used for syntax compilation, typesetting verification, and Lean proof checking.