Related papers: A Kleisli-based approach to lax algebras
This paper introduces a notion of generalised geometric logic. Connections of generalised geometric logic with L-topological system and L-topological space are established.
We use curvature decompositions to construct generating sets for the space of algebraic curvature tensors and for the space of tensors with the same symmetries as those of a torsion free, Ricci symmetric connection; the latter naturally…
Adjoint functors between the categories of crossed modules of dialgebras and Leibniz algebras are constructed. The well-known relations between the categories of Lie, Leibniz, associative algebras and dialgebras are extended to the…
In this paper, we study the moduli space of $1|2$-dimensional complex associative algebras, which is also the moduli space of codifferentials on the tensor coalgebra of a $2|1$-dimensional complex space. We construct the moduli space by…
We propose a gradient-based Jacobi algorithm for a class of maximization problems on the unitary group, with a focus on approximate diagonalization of complex matrices and tensors by unitary transformations. We provide weak convergence…
We extend the algebra of local observables in topological conformal field theories by nonlocal operators. This allows to construct parameter-dependent operations realized via certain integrals over the compactified moduli spaces, satisfying…
Dialectica categories are a very versatile categorical model of linear logic. These have been used to model many seemingly different things (e.g., Petri nets and Lambek's calculus). In this note, we expand our previous work on fuzzy petri…
A non-associative algebra over a field $\mathbb{K}$ is a $\mathbb{K}$-vector space $A$ equipped with a bilinear operation \[ {A\times A\to A\colon\; (x,y)\mapsto x\cdot y=xy}. \] The collection of all non-associative algebras over…
A reduced-order model algorithm, called ALP, is proposed to solve nonlinear evolution partial differential equations. It is based on approximations of generalized Lax pairs. Contrary to other reduced-order methods, like Proper Orthogonal…
We introduce partial group algebras with relations in a purely algebraic framework. Given a group and a set of relations, we define an algebraic partial action and prove that the resulting partial skew group ring is isomorphic to the…
The teleparallel formulation of gravity theories reveals close structural analogies to electrodynamics, which are more hidden in their usual formulation in terms of the curvature of spacetime. We show how every locally Lorentz invariant…
We introduce a compositional framework for convex analysis based on the notion of convex bifunction of Rockafellar. This framework is well-suited to graphical reasoning, and exhibits rich dualities such as the Legendre-Fenchel transform,…
We combine Freedman's topology with Eliashberg's holomorphic theory to construct Stein neighborhood systems in complex surfaces, and use these to study various notions of convexity and concavity. Every tame, topologically embedded 2-complex…
A theory of higher colimits over categories of free presentations is developed. It is shown that different homology functors such as Hoshcshild and cyclic homology of algebras over a field of characteristic zero, simplicial derived…
We provide several families of compact complex curves embedded in smooth complex surfaces such that no neighborhood of the curve can be embedded in an algebraic surface. Different constructions are proposed, by patching neighborhoods of…
The paper proposes and justifies a new algorithm of the proximal Newton type to solve a broad class of nonsmooth composite convex optimization problems without strong convexity assumptions. Based on advanced notions and techniques of…
A duality between the category of convex spaces and measurable spaces arises from the existence of the unit interval, which is an object in both these categories. The full subcategory of the category of convex spaces, consisting of just the…
In this paper, we introduce a deformation analysis of index theory over non compact manifolds, by use of new functional spaces which are the reduced version of Sobolev spaces. It allows to construct Fredholm theory for elliptic differential…
The purpose of this paper is to make the theory of vertex algebras trivial. We do this by setting up some categorical machinery so that vertex algebras are just ``singular commutative rings'' in a certain category. This makes it easy to…
We develop a categorical and algebro-geometric treatment of localization for cohomological theories endowed with an open--closed recollement. Starting from a class on a space whose restriction to the open complement vanishes, we show that…