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 Logical Theory of Canonical Maps: The Elements & Distinctions Analysis of the Morphisms, Duality, Canonicity, and Universal Constructions in Set

How Category Theory Works: The Elements & Distinctions Analysis of the Morphisms, Duality, and Universal Constructions in Sets

A Fundamental Duality in the Mathematical and Natural Sciences: From Logic to Biology

Zilber's notion of logically perfect structure: Universal Covers

Geometric contexts and applications to logic

A Homological View of Categorical Algebra

Monoidal bicategories, differential linear logic, and analytic functors

Topological representation of intuitionistic and distributive abstract logics

Coherence for lenses and open games

On selected developments in the theory of natural dualities

On topological motives

Di-Exact Categories and Lattices of Normal Subobjects

Logical Structure on Inverse Functor Categories

On duality and model theory for polyadic spaces

Morpho-logic from a Topos Perspective: Application to symbolic AI

Mackey-complete spaces and power series -- A topological model of Differential Linear Logic

A category theory perspective on the Language of Thought: LoT is universal

Category Free Category Theory and Its Philosophical Implications

Dagger linear logic and categorical quantum mechanics

Denotational semantics driven simplicial homology?

Paranatural Category Theory