Related papers: Operads and chain rules for the calculus of functo…

This paper presents an algebraic approach to characterizing higher-order differential operators. While the foundational Leibniz rule addresses first-order derivatives, its extension to higher orders typically involves identities relating…

We extend the bar-cobar adjunction to operads and properads, not necessarily augmented. Due to the default of augmentation, the objects of the dual category are endowed with a curvature. We handle the lack of augmentation by extending the…

Containers conveniently represent a wide class of inductive data types. Their derivatives compute representations of types of one-hole contexts, useful for implementing tree-traversal algorithms. In the category of containers and cartesian…

For fractional derivatives and time-fractional differential equations, we construct a framework on the basis of the operator theory in fractional Sobolev spaces. Our framework provides a feasible extension of the classical Caputo and the…

In their work on differential operators in positive characteristic, Smith and Van den Bergh define and study the derived functors of differential operators; they arise naturally as obstructions to differential operators reducing to positive…

We define notions of differentiability for maps from and to the space of persistence barcodes. Inspired by the theory of diffeological spaces, the proposed framework uses lifts to the space of ordered barcodes, from which derivatives can be…

We present an analysis of some constructions and arguments from the universe of T. G. Goodwillie's Calculus, in a general model theoretic setting.

For a vertex operator algebra $V$, one may naturally define spaces of conformal blocks following a construction of Frenkel-Ben-Zvi generalized by Damiolini-Gibney-Tarasca. If $V$ is strongly rational, these spaces of conformal blocks form…

If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors $\sS^{\cat A}$, where the fibrant objects are homotopy functors, i.e.,…

Let $\mathit{s}\mathcal{L}$ be the $\infty$-category of simplicial restricted Lie algebras over $\mathbf{F} = \overline{\mathbf{F}}_p$, the algebraic closure of a finite field $\mathbf{F}_p$. By the work of A. K. Bousfield et al. on the…

The description of algebraic structure of n-fold loop spaces can be done either using the formalism of topological operads, or using variations of Segal's $\Gamma$-spaces. The formalism of topological operads generalises well to different…

This paper summarizes the core definitions and results regarding the chain differential for functions in locally convex topological vector spaces. In addition, it provides a few elementary calculus rules of practical interest, notably for…

We develop a technique for studying first-order codifferential calculi (FOCCs) initiated by Doi and Quillen in the context of cyclic cohomology. Their classification, for a given coalgebra, reduces to the classification of subbicomodules in…

The bulk of this paper is devoted to the comparison of several models for the theory of (infinity,2)-categories: that is, higher categories in which all k-morphisms are invertible for k > 2 (the case of (infinity,n)-categories is also…

Pairs of graded graphs, together with the Fomin property of graded graph duality, are rich combinatorial structures providing among other a framework for enumeration. The prototypical example is the one of the Young graded graph of integer…

We prove duality between the left and right fractional derivatives, independently on the type of fractional operator. Main result asserts that the right derivative of a function is the dual of the left derivative of the dual function or,…

In this paper we introduce a derivability criterion of functors based on the existence of adjunctions rather than on the existence of resolutions. It constitutes a converse of Quillen-Maltsiniotis Derived Adjunction Theorem. We present two…

For a directed polytope, we construct a colored operad whose Poincare-Hilbert series encodes certain operations on the cellular complex of the polytope. We conjecture that for a class of short polytopes the constructed operads are Koszul…

Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can…

We adapt the theory of chordal Loewner chains to the operator-valued matricial upper-half plane over a $C^*$-algebra $\mathcal{A}$. We define an $\mathcal{A}$-valued chordal Loewner chain as a subordination chain of analytic self-maps of…