Related papers: The principal bundles over an inverse semigroup

In this paper we study the category of standard holomorphic vector bundles on a noncommutative two-torus. We construct a functor from the derived category of such bundles to the derived category of coherent sheaves on an elliptic curve and…

We study the interplay between noncommutative tori and noncommutative elliptic curves through a category of equivariant differential modules on $\mathbb{C}^*$. We functorially relate this category to the category of holomorphic vector…

Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose…

Let $G$ be a connected reductive group, with connected center, and $X$ a smooth complete curve, both defined over an algebraically closed field of characteristic zero. Let $\operatorname{Bun}_G$ denote the stack of $G$-bundles on $X$. In…

We introduce locally involutive semigroups and embed them into the category of ordered groupoids. This embedding restricts to a correspondence between quasi-involutive semigroups and ordered groupoids with mediator, extending the classical…

We introduce a general framework, based on \'etale topological categories, for studying discrete restriction semigroups and their algebras. Generalizing Paterson's universal groupoid of an inverse semigroup, we define the universal category…

We introduce a category of inverse semigroup actions and a category of \'etale groupoids. We show that there are three functors which send inverse semigroups to their spectral actions, inverse semigroup actions to their transformation…

The universal invariant with respect to a given ribbon Hopf algebra is a tangle invariant that dominates all the Reshetikhin-Turaev invariants built from the representation theory of the algebra. We construct a canonical strict monoidal…

Let Rep(F;K) denote the category of functors from finite dimensional F-vector spaces to K-modules, where F is a field and K is a commutative ring. We prove that, if F is a finite field, and Char F is invertible in K, then the K-linear…

Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($\infty$-)categories of spans (or correspondences). In this paper we study the…

We prove a single category-theoretic result encapsulating the notions of ultrafilters, ultrapower, ultraproduct, tensor product of ultrafilters, the Rudin--Kiesler partial ordering on ultrafilters, and Blass's category of ultrafilters UF.…

The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…

Let $\mathcal{M}$ be an $n$-cluster tilting subcategory of ${\rm mod}\mbox{-}\Lambda$, where $\Lambda$ is an artin algebra. Let $\mathcal{S}(\mathcal{M})$ denotes the full subcategory of $\mathcal{S}(\Lambda)$, the submodule category of…

The main goal of this paper is to establish close relations among sheaves of modules on atomic sites, representations of categories, and discrete representations of topological groups. We characterize sheaves of modules on atomic sites as…

For a variety X which admits a Cox ring we introduce a functor from the category of quasi-coherent sheaves on $X$ to the category of graded modules over the homogeneous coordinate ring of $X$. We show that this functor is right-adjoint to…

This is a sequel to a previous paper, developing an intrinsic, combinatorial homotopy theory for simplicial complexes; the latter form the cartesian closed subcategory of 'simple presheaves' in !Smp, the topos of symmetric simplicial sets,…

We apply the notion of relative adjoint functor to generalise closed monoidal categories. We define representations in such categories and give their relation with left actions of monoids. The translation of these representations under lax…

Given a not necessarily semisimple modular tensor category C, we use the corresponding 3d TFT defined in [arXiv:1912.02063] to explicitly describe a modular functor as a symmetric monoidal 2-functor from a 2-category of oriented bordisms to…

Modular functors, i.e. consistent systems of projective representations of mapping class groups of surfaces, have been constructed for non-semisimple modular categories already decades ago. Concepts from homological algebra have not been…

This note recalls the representation of regular theories T in terms of set-valued functors on models given by Makkai(1990), and explicitly states the representation theorem for the classifying topos Set[T] in terms of filtered colimit…