Abstract:We provide a foundation for working with homological and homotopical methods in categorical algebra. This involves two mutually complementary components, namely (a) the strategic selection of suitable axiomatic frameworks, some well known and some new, and (b) the development of categorical tools for effective reasoning and computing within those frameworks. The selection of axiomatic frameworks begins `from the ground up' with z-exact categories. These are pointed categories in which every morphism has a kernel and cokernel. Then we progress all the way to abelian categories, en route meeting contexts such as Borceux--Bourn homological categories and Janelidze--Márki--Tholen semiabelian categories. We clarify the relationship between these axiomatic frameworks by direct comparison, but also by explaining how concrete examples fit into the selection. The outcome is a fine-grained set of criteria by which one can map varieties of algebras (in the sense of Universal Algebra) and topological models of algebraic theories into the various frameworks. The categorical tools for effective computation deal mostly with situations involving universal factorizations of morphisms, with exact sequences, and with the homology of chain complexes. Further, the categorical tools for computation include the `basic diagram lemmas' of homological algebra, that is the (Short) $5$-Lemma, the $(3\times 3)$-Lemma, the Snake Lemma, and applications thereof. We find that these tools are even available in some surprisingly weak categorical environments, such as the category of pointed sets. In discovering such features, we make systematic use of what we call the self-dual axis of a category.

The Categorical Equivalence Between Disjunctive Sequent Calculi and Algebraic L-domains

L-domains as locally continuous sequent calculi

Representations of domains via closure spaces in the quantale-valued setting

The syntactic side of autonomous categories enriched over generalised metric spaces

Categorical study for Algebras of lattice-valued logic and lattice-valued modal logic

Domain theory in univalent foundations II: Continuous and algebraic domains

Quantitative Equality in Substructural Logic via Lipschitz Doctrines

Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic

Proofs of valid categorical syllogisms in one diagrammatic and two symbolic axiomatic systems

Equivalences in diagrammatic sets

A categorified Dold-Kan correspondence

A Homological View of Categorical Algebra

Categorical aspects of congruence distributivity

The diagrammatic presentation of equations in categories

A more general categorical framework for congruence of applicative bisimilarity

Cartesian Closedness of The Category of Consistent L-domains

A Structural and Nominal Syntax for Diagrams

Many-valued complete distributivity

Topological representations for frame-valued domains via $L$-sobriety

Classical linear logic, cobordisms and categorical semantics of categorial grammars

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations