Related papers: The Operadic Spectrum and Obstructions to Spectral…
The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There…
Completeness proofs in categorical semantics usually proceed by building a syntactic category whose composition is given by substitution. For untyped effectful Call-by-Value languages, this runs into a basic obstacle: there is no canonical…
The notion of a coherent unit action on algebraic operads was first introduced by Loday for binary quadratic nonsymmetric operads and generalized by Holtkamp, to ensure that the free objects of the operads carry a Hopf algebra structure.…
Optics are bidirectional accessors of data structures; they provide a powerful abstraction of many common data transformations. This abstraction is compositional thanks to a representation in terms of profunctors endowed with an algebraic…
This paper focuses on the spectral properties of a bounded self-adjoint operator in $L_2(\mathds R^d)$ being the sum of a convolution operator with an integrable convolution kernel and an operator of multiplication by a continuous potential…
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…
Negative-index metamaterials possess a negative refractive index and thus present an interesting substance for designing uncommon optical effects such as invisibility cloaking. This paper deals with operators encountered in an…
We investigate symmetries of the scalar field theory with harmonic term on the Moyal space with euclidean scalar product and general symplectic form. The classical action is invariant under the orthogonal group if this group acts also on…
It is shown how double categories provide a direct abstract approach to coloured operads; namely, product-preserving normal lax functors from (Pb C)^op (the opposite of the double category of pullback squares in C) to Cat (the double…
The aim of this paper is three-fold: (i) we construct a naturally occurring highly homotopy coherent operad structure on the derivatives of the identity functor on structured ring spectra which can be described as algebras over an operad…
The possibility of formulating quantum mechanics over quaternionic Hilbert spaces can be traced back to von Neumann's foundational works in the thirties. The absence of a suitable quaternionic version of spectrum prevented the full…
Given an operad $\mathcal{O}$, we define a notion of weak $\mathcal{O}$-monoids -- which we term $\mathcal{O}$-pseudomonoids -- in a 2-category. In the special case with the 2-category in question is the 2-category $\mathsf{Cat}$ of…
The structure of a $k$-fold monoidal category as introduced by Balteanu, Fiedorowicz, Schw\"anzl and Vogt can be seen as a weaker structure than a symmetric or even braided monoidal category. In this paper we show that it is still…
Conditional diffusion inversion provides a powerful framework for unpaired image-to-image translation. However, we demonstrate through an extensive analysis that standard deterministic inversion (e.g. DDIM) fails when the source domain is…
We generalize the construction of multitildes in the aim to provide multitilde operators for regular languages. We show that the underliying algebraic structure involves the action of some operads. An operad is an algebraic structure that…
In this article, we prove the following spectral theorem for right linear normal operators (need not to be bounded) in quaternionic Hilbert spaces: Let $T$ be an unbounded right quaternionic linear normal operator in a quaternionic Hilbert…
We construct model category structures for monoids and modules in symmetric monoidal model categories which satisfy an extra axiom, the monoidal axiom, with applications to symmetric spectra and $\Gamma$-spaces.
The quaternionic spectral theorem has already been considered in the literature, see e.g. [22], [31], [32], however, except for the finite dimensional case in which the notion of spectrum is associated to an eigenvalue problem, see [21], it…
We show that the position operator for a class of $f$-deformed oscillators has a fractal spectrum, homeomorphic to the Cantor set, via a unitary transformation to Harper's model. The class corresponds to a choice of ergodic operators for…
We show that every action operad gives rise to a notion of monoidal category via the categorical version of the Borel construction, embedding action operads into the category of 2-monads on $\mathbf{Cat}$. We characterize those 2-monads in…