Differential 2-rigs
From MaRDI portal
Publication:6150153
Abstract: We propose the notion of "differential 2-rig", a category equipped with coproducts and a monoidal structure distributing over them, also equipped with an endofunctor 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 -monoid , the derivative is a -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.
Recommendations
Cites work
- scientific article; zbMATH DE number 4025850 (Why is no real title available?)
- scientific article; zbMATH DE number 1111371 (Why is no real title available?)
- scientific article; zbMATH DE number 3296291 (Why is no real title available?)
- scientific article; zbMATH DE number 3297895 (Why is no real title available?)
- scientific article; zbMATH DE number 3385869 (Why is no real title available?)
- A 2-categories companion
- A note on actions of a monoidal category
- A universal property of the convolution monoidal structure
- Algebraic groups and differential Galois theory
- Analytic functors and weak pullbacks
- Applicative programming with effects
- Cartesian differential categories
- Colored species, \(c\)-monoids, and plethysm. I
- Combinatorial functional and differential equations applied to differential posets
- Combinatorial resolution of systems of differential equations. III: A special class of differentially algebraic series
- Combinatorial resolution of systems of differential equations. IV: Separation of variables
- Discrete Generalised Polynomial Functors
- Distributive laws via admissibility
- Dérivées directionnelles et développements de Taylor combinatoires. (Directional derivatives and combinatorial Taylor expansions)
- Elementary observations on 2-categorical limits
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- Introduction to coalgebra. Towards mathematics of states and observation
- Linear logic
- Monoidal functors, species and Hopf algebras
- Non-commutative elimination in Ore algebras proves multivariate identities
- Noncommutative Geometry and Representation Theory in Mathematical Physics
- On closed categories of functors
- On combinatorial differential equations
- Polynomial functors and combinatorial Dyson-Schwinger equations
- Polynomial functors and polynomial monads
- Pseudo-commutativity of KZ 2-monads
- Strong functors and monoidal monads
- The equations \(D^ k Y = X^ n\) in combinatorial species
- The groupoid of finite sets is biinitial in the 2-category of rig categories
- Two applications of analytic functors
- 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)
- Une interpretation combinatoire des coefficients des développements en série entière des fonctions elliptiques de Jacobi
- Une théorie combinatoire des séries formelles
- What is \(\dots\) an infinite swindle?
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)
