Related papers: On presheaf submonads of quantale enriched categor…
In this article, the author analyses distributive and mixed distributive laws and some of their equivalences through the use of 2-adjunctions of the type $\Adj$-$\Mnd$. As far as the distributive laws are concerned, the equivalence between…
A pre-subgroup of a multiplicative unitary $V$ on a finite dimensionnal Hilbert space $H$ is a vector line $L$ in $H$ such that $V(L\otimes L)=L\otimes L$. We show that there are finitely many pre-subgroups, give a Lagrange theorem and…
We describe categories of equivariant vector bundles on certain toroidal spherical varieties in linear algebra terms: vector spaces equipped with filtrations, group and Lie algebra actions, and linear maps preserving these structures.
Following Braverman-Finkelberg-Feigin-Rybnikov (arXiv:1008.3655), we study the convolution algebra of a handsaw quiver variety, a.k.a. a parabolic Laumon space, and a finite W-algebra of type A. This is a finite analog of the AGT conjecture…
A generalized numerical semigroup is a submonoid of $\mathbb{N}^d$ with finite complement in it. In this work we study some properties of three different classes of generalized numerical semigroups. In particular, we prove that the first…
Crawley-Boevey and Shaw recently introduced a certain multiplicative analogue of the deformed preprojective algebra, which they called the multiplicative preprojective algebra. In this paper we study the moduli space of (semi)stable…
We relate Nakajima Quiver Varieties (or, rather, their multiplicative version) with moduli spaces of perverse sheaves. More precisely, we consider a generalization of the concept of perverse sheaves: microlocal sheaves on a nodal curve X.…
This note presents a presheaf theoretic approach to the construction of fuzzy sets, which builds on Barr's description of fuzzy sets as sheaves of monomorphisms on a locale. A presheaf-theoretic method is used to show that the category of…
Let $T$ be a monad on a category $\mathscr{C}$. In this paper, we introduce the notion of higher derivations on the monad $T$ and characterize them in terms of ordinary derivations on $T$. We also define higher derivations on modules over…
We survey the theory of Hopf monads on monoidal categories, and present new examples and applications. As applications, we utilise this machinery to present a new theory of cross products, as well as analogues of the Fundamental Theorem of…
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,…
We prove that the category of models of any relational Horn theory satisfying a mild syntactic condition is infinitely extensive. Central examples of such categories include the categories of preordered sets and partially ordered sets, and…
We introduce the oriented Brauer-Clifford and degenerate affine oriented Brauer-Clifford supercategories. These are diagrammatically defined monoidal supercategories which provide combinatorial models for certain natural monoidal…
We develop a bundle theory of presheaves on small categories, based on similar work by Brent Everitt and Paul Turner. For a certain set of presheaves on posets, we produce a Leray-Serre type spectral sequence that gives a reduction property…
We categorify the highest weight integrable representations and their tensor products of a symmetric quantum Kac-Moody algebra. As byproducts, we obtain a geometric realization of Lusztig's canonical bases of these representations as well…
Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite product theories) or using monads, and the category of Lawvere theories is equivalent to the category of finitary monads on Set. We show how…
A weak mixed distributive law (also called weak entwining structure) in a 2-category consists of a monad and a comonad, together with a 2-cell relating them in a way which generalizes a mixed distributive law due to Beck. We show that a…
We prove the equivalence of several hypotheses that have appeared recently in the literature for studying left Bousfield localization and algebras over a monad. We find conditions so that there is a model structure for local algebras, so…
In this paper we develop the theory of reduction of quantum principal bundles over projective bases. We show how the sheaf theoretic approach can be effectively applied to certain relevant examples as the Klein model for the projective…
We investigate the Eilenberg-Moore algebras for the Giry monad defined on the category of measurable spaces using super convex spaces. The category of super convex spaces has a subcategory consisting of the one point extension of the real…