Related papers: The Giry Monad is not Strong for the Canonical Sym…

Introduced in the 1990s in the context of the algebraic approach to graph rewriting, gs-monoidal categories are symmetric monoidal categories where each object is equipped with the structure of a commutative comonoid. They arise for example…

In previous work we proved that, for categories of free finite-dimensional modules over a commutative semiring, linear compact-closed symmetric monoidal structure is a property, rather than a structure. That is, if there is such a…

The moduli space of canonical divisors (with prescribed zeros and poles) on nonsingular curves is not compact since the curve may degenerate. We define a proper moduli space of twisted canonical divisors in the moduli space of…

We show that conformal geodesics on a Riemannian manifold cannot spiral: there does not exist a conformal geodesic which becomes trapped in every neighbourhood of a point.

We define a weak bimonad as a monad T on a monoidal category M with the property that the Eilenberg-Moore category M^T is monoidal and the forgetful functor from M^T to M is separable Frobenius. Whenever M is also Cauchy complete, a simple…

We study properties of the cubical Joyal model structures on cubical sets by means of a combinatorial construction which allows for convenient comparisons between categories of cubical sets with and without symmetries. In particular, we…

We analyse compatibility between monads and monoidal structures in the two-dimensional setting. We describe sufficient conditions for monoidal structures to lift to the Eilenberg-Moore pseudoalgebras. We then extend these results to braids,…

This paper considers the possible underlying multicategories for a symmetric monoidal category, and shows that, up to canonical and coherent isomorphism, there really is only one. As a result, there is a well-defined forgetful functor from…

Canonical metrics and conformal invariants are presented for closed oriented even-dimensional manifolds with non-degenerate conformal structures and in particular for compact Riemann surfaces.

We construct smooth metrics on 2-manifold with nonpositive Gauss curvature which cannot be (C^3) locally isometrically embedded in R^3. Moreover, the Gauss curvature of the metric can be made negative except for one point.

Several monads of probability measures have been shown to have presentations as codensity monads over small categories of stochastic maps. This paper studies how three key properties of these probability monads, relevant to categorical…

Under appropriate conditions, if one picks a commutative algebra A with action of group G in braided monoidal category C, the category of A modules in C obtains a natural crossed G-braided structure. In the case of general commutative…

We produce a cofibrantly generated simplicial symmetric monoidal model structure for the category of (small unital) C*-categories, whose weak equivalences are the unitary equivalences. The closed monoidal structure consists of the maximal…

We show that the classes of partial isometries in finite-dimensional polyhedral spaces and in finite-dimensional rational polyhedral spaces do not have the weak amalgamation property. This implies that the linear isometry group of the…

We examine some of the properties of uniformly rigid transformations, and analyze the compatibility of uniform rigidity and (measurable) weak mixing along with some of their asymptotic convergence properties. We show that on Cantor space,…

We give an operadic definition of a genuine symmetric monoidal G-category, and we prove that its classifying space is a genuine E_\infty G-space. We do this by developing some very general categorical coherence theory. We combine results of…

We study transnormal and isoparametric functions on closed Riemannian 4-manifolds and establish fundamental restrictions on their topology and geometry. In particular, we show that such manifolds cannot be endowed with negatively curved…

In this paper we have proved that a compact Riemannian manifold does not admit a metric with positive scalar curvature if there exists a real valued function in this manifold which is strictly positive along a geodesic ray satisfying…

Let $G$ be a connected reductive algebraic group over an algebraically closed field $k$ of characteristic $p > 0$ and let $\ell$ be a prime number different from $p$. Let $U \subseteq G$ be a maximal unipotent subgroup, $T$ a maximal torus…

The category ${\rm gp}(\Lambda)$ of Gorenstein-projective modules over tensor algebra $\Lambda = A\otimes_kB$ can be described as the monomorphism category ${\rm mon}(B, {\rm gp}(A))$ of $B$ over ${\rm gp}(A)$. In particular,…