Arxiv:2103.00938V1 [Math.CT] 1 Mar 2021 6
Total Page:16
File Type:pdf, Size:1020Kb
DIFFERENTIAL 2-RIGS FABRIZIO ROMANO GENOVESE AND FOSCO LOREGIAN Abstract. We explore the notion of a category with coproducts + and a monoidal structure ⊗ distributing over it, endowed with an endo-functor @ which is ‘linear and Leibniz’. Such @ can be legitimately called a derivation on C, and the pair (C;@) appears as the categorification of a differential ri(n)g: a differential 2-rig. We explore a number of possible special examples: when C is semicartesian (i.e., its ⊗-monoidal unit is the terminal object), derivations are better behaved in some respect; interesting examples arise when C = [A; Set] is a presheaf topos endowed with a convolu- tion product: among these, the operation of Brzozowski’s derivative in formal language theory; we retrieve the ‘chain rule’ in a category of ‘non-symmetric species’ [Fin; Set], obtained when a substitution product F G is interpreted as composition TF ◦ TG of the associated finitary functors, regarded as formal power series. Derivations on a 2-rig are tightly related to tensorial strengths; this draws a connection between the present theory and applicative structures in functional programming. More- over, given a derivation on C, the derivative of the ⊗-monoidal unit @I is a self-similar object, i.e. a solution to the equation X =∼ X + X; we explore the many consequences of this apparently innocuous observation. This has connection with the category-theoretic analysis of dynamical systems. Contents Introduction2 1. Monoidal categories with derivation4 2. Properties and generalisations 10 3. Constants and tautness 16 4. Derivations on presheaf categories 20 5. The chain rule: substitution product 25 arXiv:2103.00938v1 [math.CT] 1 Mar 2021 6. More on tautness, and related open problems 28 Acknowledgements 30 References 31 1 2 FABRIZIO ROMANO GENOVESE AND FOSCO LOREGIAN Introduction The present paper starts from a simple speculation: what is a pair (C;@), where C is a ‘categorified ring’ and @ : C ! C a ‘linear operator’ satisfying the ‘Leibniz rule’? Borrowing the terminology from classical ring theory, such a structure should be termed a differential 2-rig, and @ a derivation thereof.1 Confident that the essential inspiration for the present work is rather self-explanatory, we concentrate on the results we have obtained, while describing the structure of the paper. At the very outset of section1 we set all the foundation in place (Definition 1.1, Defi- nition 1.10); the theory of 2-rigs is a special case of the following problem: find a precise definition and a coherence theorem for categories (C; ⊗; ⊕) having two monoidal struc- tures, and such that ⊗ distributes over ⊕. As shown by Laplaza, this apparently simple setting yields instead a notoriously complicated set of coherence conditions. Definition 1.10 is the core of the section: a derivation on a 2-rig C is an endofunctor of C that preserves coproducts, and endowed with a family of maps lAB : @A ⊗ B + A ⊗ @B ! @(A ⊗ B) (cf. (1.9)) subject to a number of coherence conditions (naturality, compatibility with the two monoidal structures and with the distributive maps,. ). Section2 investigates some ‘sanity checks’ to which we submit our definition: the deriv- ⊗n ative @(A ) of a power, the derivative of an n-fold tensor of a tuple @(A1 ⊗ · · · ⊗ An), and the n-fold derivative of a product X ⊗ Y all behave as expected. Proposition 2.3 provides proof that in suitable circumstances, the Leibniz rule extends to infinite products: curiously enough, the classical proof (say, for analytic functions expressed as an infinite coproduct Q df f(z) = n fn(z)) is based on the formula for logarithmic derivative, d log f(z) = f ; our proof ‘requires analysis’ in the sense that it shows a universal property by coinduction. We then provide a series of examples of differential 2-rigs, drawing from various parts of category theory. We then categorify a generalisation of the notion of derivation ‘valued in a bimodule’; this derivation can be ‘twisted’ by a 2-rig endomorphism γ : C ! C (cf. Remark 2.7). A toy example of a differential rig with a γ-twisted derivation is given by Brzozowski derivative ([Brz64]; cf. Construction 2.8): in a sense, this example is not genuinely 2- dimensional (the category in question is a poset), but we show that the Brzozowski derivative falls quite naturally in our framework: it satisfies the Leibniz rule for a convolution monoidal structure when the powerset P (A∗) of the free monoid on a set is regarded as a presheaf category. The intuition that a module accounts for some sort of ‘tangent space’ upon which a module is acting is reinforced by our Proposition 2.10: if M is a ⊗-monoid object on a differential 2-rig (C;@), its derivative is an M-module. Section3 starts to investigate a very enticing problem: in a differential 2-rig, there is no reason for the ⊗-monoidal unit to be a ‘constant’ (an object in the ‘kernel’ of @). This appar- ently innocuous observation, based on the fact that @I =∼ @I + @I does not imply @I =∼ ? has 1A rig (R; +; ·) is a ring without negatives, in the sense that a ring is precisely a rig such that the additive monoid (R; +) is an abelian group. DIFFERENTIAL 2-RIGS 3 deep consequences, connecting the theory of differential 2-rigs to the theory of self-similarity in a category-theoretic framework;2 differential 2-rigs ‘too rigid to allow for the presence of self-similar objects’, thus where @I = ?, are called taut. Interestingly enough, tautness is a smallness condition of some sort on C: finite sets, finite dimensional vector spaces, and more generally categories with a notion of ‘dimension’ (cf. Definition 3.6, Proposition 3.7), and finitary functors T : Set ! Set that are right dualisable (cf. Remark 3.4), are all taut; by contrast, self-similar objects tend to be ‘big’ in genuinely categorical settings: a trivial example of a nontaut category is a lattice: there, every object is self-similar; by constrast, in the category of sets an object is self-similar if it is infinite or empty. Given this, it’s easy to build an example of a nontaut differential 2-rig: cf. Example 3.9. The subsequent section studies differential 2-rigs where C = [A; Set] is a presheaf category, endowed with Day convolution; extending a derivation @ on A to a derivation @¯ on C requires somewhat strong assumptions on A (cf. Proposition 4.3). In the case where A is semicartesian, and C has a derivation @, we can at least show that the constant functors are @-constants. The reader might think and rightly so that these examples are somewhat poor in spirit. We suggest this happens for a reason; the most interesting result of the section is of a foundational nature (cf. Theorem 4.11): motivated by the fact that the ‘Leibniz rule’ for distributional derivatives in functional analysis is @(f ∗ g) = @f ∗ g = f ∗ @g, we show that a derivation on a 2-rig is more or less the same thing as a coproduct preserving endofunctor D endowed with a pair of tensorial strengths, one on the left and one on the right, with the property that the sum DA ⊗ B + A ⊗ DB / D(A ⊗ B) is an isomorphism. Thus, at least as a rule of thumb, the theory of derivations on a presheaf category is more or less the same thing as the study of endofunctors of [A; Set] equipped with a tensorial strength of a suitable sort. The subsequent section studies an eminent special case of a presheaf category: (non- symmetric) combinatorial species, i.e. the presheaf categories ([Fin; Set] and) [P; Set] of symmetric sequences fC(n) j n ≥ 0g. In both cases the ‘chain rule’ holds: @(F G) = LanJ @F (Gn) × @Gn (cf. Equation (5.5)). This is certainly a well-known result in the circle of Canadian cate- gorical combinatorialists, yet our proof of Theorem 5.3 involves no combinatorics, just the manipulation of a coend. We end the paper with a small section sketching a series of open problems, aiming at a future investigation: it is likely that one can extend the theory of polynomial functors adding a derivation operation; an example of such an equation is F : X 7! A ⊗ X(2) + B ⊗ X(1) + C ⊗ X 2As explained on page 16, the terminology is motivated by the following fact: consider the category Top of topological spaces and continuous maps, and the endofunctor S : A 7! A + A; then, the terminal coalgebra for S is the Cantor set; see [Fre08, Lei10]. 4 FABRIZIO ROMANO GENOVESE AND FOSCO LOREGIAN where A; B; C 2 C are fixed objects of a differential 2-rig (C;@), and X(n) is a shorthand for @nX.A solution for F is a fixed point, when it is regarded as an endofunctor of C. 1. Monoidal categories with derivation Throughout the whole paper we will consider a category C satisfying the following as- sumptions: Definition 1.1. A 2-rig is a category C such that • C admits finite coproducts, denoted A + B. This also includes 0-ary coproducts, and hence entails the presence of an initial object, denoted ?. We usually refer informally to this as the additive monoidal structure on C; • In addition, C admits a (multiplicative) monoidal structure ⊗ : C × C ! C, with monoidal unit object I, that is bilinear, i.e. the functors A ⊗ and ⊗ B commute with coproducts. This is witnessed by the presence of natural isomorphisms with components3 l r δA;Y;Z δY;Z;B A ⊗ (Y + Z) −−−− A ⊗ Y + A ⊗ Z (Y + Z) ⊗ B −−−− Y ⊗ B + Z ⊗ B: (1.1) In simple terms, we want to capture a notion that categorifies rigs (rings without ad- ditive inverses), i.e.