Related papers: Linear Exponential Comonads without Symmetry
We develop layered monoidal theories -- a generalisation of monoidal theories combining formal descriptions of a system at different levels of abstraction. Via their representation as string diagrams, monoidal theories provide a graphical…
Lie derivatives of various geometrical and physical quantities define symmetries and conformal symmetries in general relativity. Thus we obtain motions, collineations, conformal motions and conformal collineations. These symmetries are used…
We develop a method for computing series expansions for solutions to ordinary differential equations when the asymptotic form contains both linear and logarithmic terms. Such situations are common in primordial cosmology when considering…
We study combinatorial inequalities for various classes of set systems: matroids, polymatroids, poset antimatroids, and interval greedoids. We prove log-concavity inequalities for counting certain weighted feasible words, which generalize…
In this paper, we consider a model of classical linear logic based on coherence spaces endowed with a notion of totality. If we restrict ourselves to total objects, each coherence space can be regarded as a uniform space and each linear map…
I study the modal theory of linear orders under embeddings, monotone maps, condensations, and end-extensions. I prove modality elimination for embeddings and monotone maps, show that condensations make scatteredness modally definable, and…
We show that the obstruction to the existence of a strict symmetric monoidal structure on a monoidal stack $\cal C$ is determined by a commutator biextension associated to $\cal C$, and that this biextension is alternating under an…
The first steps towards linearisation of partial orders and equivalence relations are described. The definitions of partial orders and equivalence relations (on sets) are formulated in a way that is standard in category theory and that…
A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…
In this paper we describe a homotopy torsion theory in the category of small symmetric monoidal categories. Thanks to the use of natural isomorphisms as basis for the nullhomotopy structure, this homotopy torsion theory enjoys some…
We obtain new bounds of multivariate exponential sums with monomials, when the variables run over rather short intervals. Furthermore, we use the same method to derive estimates on similar sums with multiplicative characters to which…
Layered monoidal theories provide a categorical framework for studying scientific theories at different levels of abstraction, via string diagrammatic algebra. We introduce models for three closely related classes of layered monoidal…
In Linear Logic ($\mathsf{LL}$), the exponential modality $!$ brings forth a distinction between non-linear proofs and linear proofs, where linear means using an argument exactly once. Differential Linear Logic ($\mathsf{DiLL}$) is an…
In this note, we explain in some detail how one can fiberwise localize a (co)lax symmetric monoidal infinity-category. This construction was tacitly used in Section 5 of our recent paper "On the equivalence of the Lurie's infinity-operads…
This paper introduces iterated monodromy groups for transcendental functions and discusses them in the simplest setting, for post-singularly finite exponential functions. These groups are self-similar groups in a natural way, based on an…
We define a new type of transformation for Lorentzian manifolds characterized by mapping every causal future-directed vector onto a causal future-directed vector. The set of all such transformations, which we call causal symmetries, has the…
Symmetry groups allow to transform solutions of differential equations continuously into other solutions. This property can be used for the observability analysis of infinite-dimensional systems with input and output. In this contribution,…
In this paper, we study moduli spaces of representations of certain quivers with relations. For quivers without relations and other categories of homological dimension one, a lot of information is known about the cohomology of their moduli…
Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…
We present a framework for the construction of linearizations for scalar and matrix polynomials based on dual bases which, in the case of orthogonal polynomials, can be described by the associated recurrence relations. The framework…