Differential 2-rigs

DOI10.4204/EPTCS.380.10arXiv2103.00938MaRDI QIDQ6150153FDOQ6150153

Authors: Fosco Loregiàn, Todd H. Trimble 

Publication date: 5 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Abstract: We propose the notion of "differential 2-rig", a category $mathcalR$ equipped with coproducts and a monoidal structure distributing over them, also equipped with an endofunctor $partial:mathcalRomathcalR$ 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 (for example, we prove that for every $otimes$-monoid $MinmathcalR$, the derivative $partialM$ is a $M$-module), but boils down to a specialization of the theory of tensorial strengths on endofunctors, tightly connected to applicative endofunctors in functional programming, and captures the construction of Brzozowski derivatives in formal language theory. This builds a surprising connection between apparently disconnected fields. We provide an explicit construction to 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.

Full work available at URL: https://arxiv.org/abs/2103.00938

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Monoidal functors, species and Hopf algebras
• Algebraic groups and differential Galois theory
• Linear logic
• A universal property of the convolution monoidal structure
• A note on actions of a monoidal category
• Title not available (Why is that?)
• On closed categories of functors
• Strong functors and monoidal monads
• Non-commutative elimination in Ore algebras proves multivariate identities
• Une théorie combinatoire des séries formelles
• Title not available (Why is that?)
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Two applications of analytic functors
• Une interpretation combinatoire des coefficients des développements en série entière des fonctions elliptiques de Jacobi
• Elementary observations on 2-categorical limits
• A 2-categories companion
• Title not available (Why is that?)
• Une approche combinatoire pour l'itération de Newton-Raphson
• Une combinatoire sous-jacente au théorème des fonctions implicites. (Combinatorics underlying the implicit functions theorem)
• On combinatorial differential equations
• Title not available (Why is that?)
• Dérivées directionnelles et développements de Taylor combinatoires. (Directional derivatives and combinatorial Taylor expansions)
• Polynomial functors and polynomial monads
• Applicative programming with effects
• Pseudo-commutativity of KZ 2-monads
• Combinatorial resolution of systems of differential equations. III: A special class of differentially algebraic series
• Cartesian differential categories
• The equations \(D^ k Y = X^ n\) in combinatorial species
• Colored species, \(c\)-monoids, and plethysm. I
• Combinatorial resolution of systems of differential equations. IV: Separation of variables
• Combinatorial functional and differential equations applied to differential posets
• Noncommutative Geometry and Representation Theory in Mathematical Physics
• Introduction to coalgebra. Towards mathematics of states and observation
• Polynomial functors and combinatorial Dyson–Schwinger equations
• Analytic functors and weak pullbacks
• Discrete Generalised Polynomial Functors
• Distributive laws via admissibility
• The groupoid of finite sets is biinitial in the 2-category of rig categories
• What is \(\dots\) an infinite swindle?

Cited In (1)

• Automata and coalgebras in categories of species

This page was built for publication: Differential 2-rigs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6150153)