References & Citations
Mathematics > Category Theory
Title: Differential 2-rigs
(Submitted on 1 Mar 2021 (v1), last revised 31 Jul 2023 (this version, v3))
Abstract: We study the notion of a "differential 2-rig", a category R with coproducts and a monoidal structure distributing over them, also equipped with an endofunctor D : R -> R that satisfies a categorified analogue of the Leibniz rule. This is intended as a tool to unify various applications of such categories to computer science, algebraic topology, and enumerative combinatorics. The theory of differential 2-rigs has a geometric flavour but boils down to a specialization of the theory of tensorial strengths on endofunctors; this builds a surprising connection between apparently disconnected fields. We build "free 2-rigs" on a signature, and we prove various initiality results: for example, a certain category of colored species is the free differential 2-rig on a single generator.
Submission history
From: EPTCS [view email][v1] Mon, 1 Mar 2021 12:02:02 GMT (41kb,D)
[v2] Fri, 11 Mar 2022 11:35:04 GMT (80kb)
[v3] Mon, 31 Jul 2023 10:30:20 GMT (37kb,D)
Link back to: arXiv, form interface, contact.