From Abelianization to Tangent Categories

Abstract

A tangent category is a category with an endofunctor, called the tangent bundle functor, which is equipped with various natural transformations that capture essential properties of the classical tangent bundle of smooth manifolds. In this paper, we show that, surprisingly, the category of groups is a tangent category whose tangent bundle functor is induced by abelianization and whose differential bundles correspond to abelian groups. We generalize this construction by introducing the concept of linear assignments, which are endofunctors assigning to every object a commutative monoid in a natural and idempotent manner. We then show that a linear assignment induces a tangent bundle functor, whose differential bundles correspond to a notion of linear algebras. We show that any finitely cocomplete regular unital category is a tangent category whose tangent bundle functor is induced by the canonical abelianization functor, which is a monadic linear assignment. This allows us to provide multiple new examples of tangent categories including monoids, pointed magmas, loops, non-unital rings, J\'onsson--Tarski varieties, and pointed Mal'tsev varieties.