Related papers: Sheaf representation of monoidal categories

An unrepresentable cohomological functor of finite type of the bounded derived category of coherent sheaves of a compact complex manifold of dimension greater than one with no proper closed subvariety is given explicitly in categorical…

For a finite group $G$, we compute the algebraic $K$-theory of the category of equivariant sheaves on a locally compact Hausdorff $G$-space, generalizing a result of Efimov, and determine the equivariant $E$-theory of the $C^*$-algebra of…

Grothendieck-Verdier duality is a powerful and ubiquitous structure on monoidal categories, which generalises the notion of rigidity. Hopf algebroids are a generalisation of Hopf algebras, to a non-commutative base ring. Just as the…

The monoidal version of classical Morita theory is a theory of bialgebroids. To make this explicit we construct a bicategory the objects of which are the bialgebroids and in which equivalence of objects means that the corresponding module…

Idempotent analogues of convexity are introduced. It is proved that the category of algebras for the capacity monad in the category of compacta is isomorphic to the category of $(\max,\min)$-idempotent biconvex compacta and their biaffine…

We introduce in a reduced complex space, a "new coherent sub-sheaf" of the sheaf $\omega\_{X}^{\bullet}$ which has the "universal pull-back property" for any holomorphic map, and which is in general bigger than the usual sheaf of…

The study of Haeflier suggests that it is natural to regard a pseudogroup as an etale groupoid. We show that any etale groupoid corresponds to a pseudogroup sheaf, a new generalization of a pseudogroup. This correspondence is an analog of…

The homotopy theory of representations of nets of algebras over a (small) category with values in a closed symmetric monoidal model category is developed. We illustrate how each morphism of nets of algebras determines a change-of-net…

Based on the logarithmic algebraic geometry and the theory of Deligne systems, we define an abelian category of $\ell$-adic sheaves with weight filtrations on a logarithmic scheme over a finite field, which is similar to the category of…

We introduce the homotopy surface category of a space which generalizes the 1+1-dimensional cobordism category of circles and surfaces to the situation where one introduces a background space. We explain how for a simply connected…

We study the representation theory of the increasing monoid. Our results provide a fairly comprehensive picture of the representation category: for example, we describe the Grothendieck group (including the effective cone), classify…

We describe derived moduli functors for a range of problems involving schemes and quasi-coherent sheaves, and give cohomological conditions for them to be representable by derived geometric n-stacks. Examples of problems represented by…

We study the homotopy right Kan extension of homotopy sheaves on a category to its free cocompletion, i.e. to its category of presheaves. Any pretopology on the original category induces a canonical pretopology of generalised coverings on…

In this paper, the 2-category $\mathfrak{Rep}_{{\bf 2Mat}_{\mathbb{C}}}(\mathbb{G})$ of (weak) representations of an arbitrary (weak) 2-group $\mathbb{G}$ on (some version of) Kapranov and Voevodsky's 2-category of (complex) 2-vector spaces…

Comodules over Hopf algebroids are of central importance in algebraic topology. It is well-known that a Hopf algebroid is the same thing as a presheaf of groupoids on Aff, the opposite category of commutative rings. We show in this paper…

The paper is concerned with `geometrization' of smooth (i.e. with open stabilizers) representations of the automorphism group of universal domains, and with the properties of `geometric' representations of such groups. As an application, we…

This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…

A global representation is a compatible collection of representations of the outer automorphism groups of the groups belonging to some collection of finite groups $\mathscr{U}$. Global representations assemble into an abelian category…

We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…

We introduce and study kernel algebras, i.e., algebras in the category of sheaves on a square of a scheme, where the latter category is equipped with a monoidal structure via a natural convolution operation. We show that many interesting…