Related papers: Characterizing Giry-algebras as coseparable super …

We define the notion of Y-algebroids, generalising the Lie, Courant, and exceptional algebroids that have been used to capture the local symmetry structure of type II string theory and M-theory compactifications to $D \geq 5$ dimensions.…

In this paper, we extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. We achieve this by considering monoidal categories that are enriched in the category of Eilenberg-Moore algebras for a monad.…

Roe algebras are C*-algebras built using large-scale (or 'coarse') aspects of a metric space (X,d). In the special case that X=G is a finitely generated group and d is a word metric, the simplest Roe algebra associated to (G,d) is…

The objective of this series is to study metric geometric properties of disjoint unions of amenable Cayley graphs by group properties of the Cayley accumulation points in the space of marked groups. In this Part II, we prove that a disjoint…

In this paper, we present an infinity-categorical version of the theory of monoidal categories. We show that the infinity category of spectra admits an essentially unique monoidal structure (such that the tensor product preserves colimits…

The notion of bounded ideals is introduced for quasi-metric spaces. Such ideals give rise to a monad, the bounded ideal monad, on the category of quasi-metric spaces and non-expansive maps. Algebras of this monad are metric version of local…

We introduce the periplectic $q$-Brauer category over an integral domain of characteristic not $2$. This is a strict monoidal supercategory and can be considered as a $q$-analogue of the periplectic Brauer category. We prove that the…

In Part 1, we classify (indecomposable) objects in the perfect derived category $\mathrm{per}\Lambda$ of a graded skew-gentle algebra $\Lambda$, generalizing technique/results of Burban-Drozd and Deng to the graded setting. We also use the…

Using exceptional generalised geometry, we classify which five-dimensional ${\cal N}=2$ gauged supergravities can arise as a consistent truncation of 10-/11-dimensional supergravity. Exceptional generalised geometry turns the classification…

We present a unified and completely general formulation of extended geometry, characterised by a Kac-Moody algebra and a highest weight coordinate module. Generalised diffeomorphisms are constructed, as well as solutions to the section…

We present a new method, involving monads and comonads from category theory, to help establish a certain type of equivalence of subcategories. As a case study we consider the category of topological gradings of $C^*$-algebras over a fixed…

The counterparts of the Urysohn universal space in category of metric spaces and the Gurarii space in category of Banach spaces are constructed for separable valued Abelian groups of fixed (finite) exponents (and for valued groups of…

We show that all possible categories of Yetter-Drinfeld modules over a quasi-Hopf algebra $H$ are isomorphic. We prove also that the category $\yd^{\rm fd}$ of finite dimensional left Yetter-Drinfeld modules is rigid and then we compute…

We develop the rudiments of a theory of parametrized $\infty$-operads, including parametrized generalizations of monoidal envelopes, Day convolution, operadic left Kan extensions, results on limits and colimits of algebras, and the…

We show that for certain arithmetic groups, geometrically finite subgroups are the intersection of finite index subgroups containing them. Examples are the Bianchi groups and the Seifert-Weber dodecahedral space. In particular, for…

We define and study a probability monad on the category of complete metric spaces and short maps. It assigns to each space the space of Radon probability measures on it with finite first moment, equipped with the Kantorovich-Wasserstein…

We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an S-indexed monoidal category V. This includes classical enriched categories, indexed and fibered…

Utilizing sets of super-vector fields (derivations), explicit expressions are obtained for; (a.) the 1D, N-extended superconformal algebra, (b.) the 1D, N-extended super Virasoro algebra for N = 1, 2 and 4 and (c.) a geometrical realization…

In this article we show how to build main aspects of our paper on globular weak $(\infty,n)$-categories, but now for the cubical geometry. Thus we define a monad on the category $\mathbb{C}\mathbb{S}ets$ of cubical sets which algebras are…

We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed lambda-calculus syntax and indexed…