Related papers: Compositional Taylor expansion in cartesian differ…
In a previous study, the algebraic formulation of the First Fundamental Theorem of Calculus (FFTC) is shown to allow extensions of differential and Rota-Baxter operators on the one hand, and to give rise to categorical explanations using…
This paper studies the Eilenberg Moore construction on DG categories. As applications one proves results on factoring of monads as composition of a pair of adjoint exact functors and further applications to reinterpretations of equivariant…
Two adjoint functors can be seen as generalisations of the two functions within a Galois connection. If instead the adjoints are not generalised from functions, but from relations, then analogously the object of study becomes a more general…
Functor coalgebras capture a wide range of transition systems that must however evolve in discrete steps. We introduce graded coalgebras of graded monads and propose them to model continuous-time transition systems. We develop the theory of…
This paper presents a novel and systematic formalism for deriving classical field equations within the framework ofcausal fermion systems, explicitly accounting for higher-order corrections such as quantum effects and those arising from…
In this work we apply the Poincare-Cartan formalism of the Classical Field Theory to study the systems of balance equations (balance systems). We introduce the partial k-jet bundles of the configurational bundle and study their basic…
Congruences of Fourier coefficients of modular forms have long been an object of central study. By comparison, the arithmetic of other expansions of modular forms, in particular Taylor expansions around points in the upper-half plane, has…
The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…
In this paper we follow the constructions of Turaev's book [Tu] closely, but with small modifications, to construct of a modular functor, in the sense of Kevin Walker, from any modular tensor category. We further show that this modular…
We investigate the behavior of extension monads, introduced in the 1990s by the second author, in terms of structure results for infinitely many finitary operations and common constructions in varieties or categories of algebras.…
In a constructive setting, no concrete formulation of ordinal numbers can simultaneously have all the properties one might be interested in; for example, being able to calculate limits of sequences is constructively incompatible with…
We show how the tangent functor extends from ordinary smooth maps to "microformal morphisms" (also called "thick morphisms") of supermanifolds. Microformal morphisms generalize ordinary maps and correspond to formal canonical relations…
We develop a method of transverse momentum dependent (TMD) operator expansion that yields the TMD factorization theorem on the operator level. The TMD operators are systematically ordered with respect to TMD-twist, which allows a certain…
We study the semantics of a resource-sensitive extension of the lambda calculus in a canonical reflexive object of a category of sets and relations, a relational version of Scott's original model of the pure lambda calculus. This calculus…
Compositional generalization-the systematic combination of known components into novel structures-remains a core challenge in cognitive science and machine learning. Although transformer-based large language models can exhibit strong…
We calculate explicit formulas for the general equivariant Bondal-Orlov functors on the localized K-theory groups for a crepant birational transformation of toric DM stacks. We recall some facts that the Bondal-Orlov functors give…
We specialise a recently introduced notion of generalised dinaturality for functors $T : (\mathcal{C}^\text{op})^p \times \mathcal{C}^q \to \mathcal{D}$ to the case where the domain (resp., codomain) is constant, obtaining notions of ends…
Compositional generalization is a basic mechanism in human language learning, which current neural networks struggle with. A recently proposed Disentangled sequence-to-sequence model (Dangle) shows promising generalization capability by…
The Courant bracket defined originally on the sections of the vector bundle $TM \oplus T^*M \to M$ is extended to the direct sum of the 1-jet vector bundle and its dual. The extended bracket allows to interpret many structures encountered…
In this paper we introduce a novel feature augmentation approach for generating structured musical compositions comprising melodies and harmonies. The proposed method augments a connectionist generation model with count-down to song…