Related papers: Tensorial structure of the lifting doctrine in con…

We investigate the Eilenberg-Moore algebras of the extended probabilistic powerdomain monad $\mathcal V_w$ over the category $\mathbf{TOP}_0$ of $T_0$ topological spaces and continuous maps. We prove that every $\mathcal V_w$-algebra in our…

We give a 3-categorical, purely formal argument explaining why on the category of Kleisli algebras for a lax monoidal monad, and dually on the category of Eilenberg-Moore algebras for an oplax monoidal monad, we always have a natural…

We generalize the classic Vietoris endofunctor to the category of compact Hausdorff spaces and closed relations. The lift of a closed relation is done by generalizing the construction of the Egli-Milner order. We describe the dual…

We prove the Andruskiewitsch-Dumas conjecture that the automorphism group of the positive part of the quantized universal enveloping algebra $U_q({\mathfrak{g}})$ of an arbitrary finite dimensional simple Lie algebra g is isomorphic to the…

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…

In present paper we develop the deformation theory of operads and algebras over operads. Free resolutions (constructed via Boardman-Vogt approach) are used in order to describe formal moduli spaces of deformations. We apply the general…

We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct…

We construct a class of topological field theories with Wess-Zumino term in spacetime dimensions $\ge 2$ whose target space has a geometrical structure that suitably generalizes Poisson or twisted Poisson manifolds. Assuming a field content…

We conjecture a formula for the virtual elliptic genera of moduli spaces of rank 2 sheaves on minimal surfaces $S$ of general type. We express our conjecture in terms of the Igusa cusp form $\chi_{10}$ and Borcherds type lifts of three…

Some recent research on the tensor products of operator systems and ensuing nuclearity properties in this setting raised many stability problems. In this paper we examine the preservation of these nuclearity properties including exactness,…

Much of the homotopical and homological structure of the categories of chain complexes and topological spaces can be deduced from the existence and properties of the 'simple' functors Tot : {double chain complexes} -> {chain complexes} and…

By a classic theorem of Beilinson, the perfect derived category $\operatorname{Perf}(\mathbb{P}^n)$ of projective space is equivalent to the category of derived representations of a certain quiver with relations. The vertex-wise tensor…

We study a tensor product in the category of effect algebras and in the category of partially ordered Abelian groups with order unit. We show that the tensor product preserves all the constructions that are essentially colimits over a…

We prove that all points of a toroidal compactification lying over 0-dimensional cusps are rationally equivalent in the integral Chow group for most classical modular varieties (Siegel, Hilbert, orthogonal, Hermitian, quaternionic). This…

For a finitely-generated vertex operator algebra of central charge c, a locally convex topological completion is constructed. We construct on the completion a structure of an algebra over the operad of the c/2-th power of the determinant…

In this paper after proving (in Section 2) the Berkovich analytic space analog of the familiar fact that there exist many non-isomorphic Riemann surfaces of the fixed topological type, I introduce the precise notion of Arithmetic…

We give variants of lifting construction, which define new classes of modular forms on the Siegel upper half-space of complex dimension 3 with respect to the full paramodular groups (defining moduli of Abelian surfaces with arbitrary…

We review how some multianalytic inner functions of the Beurling type theorem are associated to row contractions following works of G.Popescu. Motivated by a result on weak Markov dilations, we define a notion of characteristic function for…

In this paper, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; some prominent examples are operads, polycategories, properads, and PROPs. Building on the…

By a theorem of Dixmier-Douady the unitary group of an infinite-dimensional separable Hilbert space $H$ in the strong operator topology is contractible. The Dixmier-Douady proof is based on an explicit construction of families of subspaces…