Related papers: Sheaves on a bicategory

Given a coherent sheaf E on a scheme of finite type X over a perfect field, we introduce a category of complexes of \'etale sheaves on X with logarithmic conductors bounded by E and study its compatibilities with finite push-forward.

Consider a monoidal category which is at the same time abelian with enough projectives and such that projectives are flat on the right. We show that there is a $B_{\infty}$-algebra which is $A_{\infty}$-quasi-isomorphic to the derived…

By the biadjoint triangle theorem, given a pseudomonad $\mathcal{T} $ on a $2$-category $\mathfrak{B} $, if a right biadjoint $\mathfrak{A}\to\mathfrak{B} $ has a lifting to the pseudoalgebras…

We prove a general theorem which includes most notions of "exact completion". The theorem is that "k-ary exact categories" are a reflective sub-2-category of "k-ary sites", for any regular cardinal k. A k-ary exact category is an exact…

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…

We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on…

In this thesis we study two main topics which culminate in a proof that four distinct definitions of the equivariant derived category of a smooth algebraic group $G$ acting on a variety $X$ are in fact equivalent. In the first part of this…

We demonstrate that companionships and conjunctions in double $\infty$-categories -- and more generally, in double Segal spaces -- extend to functors out of the free-living companionship and conjunction respectively. Specifically, we prove…

Mackey functors provide the coefficient systems for equivariant cohomology theories. More generally, enriched presheaf categories provide a classification and organization for many stable model categories of interest. Changing enrichments…

In this paper, we discuss the generalization of finitary $2$-representation theory of finitary $2$-categories to finitary birepresentation theory of finitary bicategories. In previous papers on the subject, the classification of simple…

Enrichment and internal categories are two different way to generalize the notion of category. As such, enriching double categories (which are categories internal to Cat) is not a clear concepts. One can look at the internal categories of…

Biunit pairs are introduced as pairs of elements in a semiheap that generalize the notion of unit. Families of functions generalizing involutions and conjugations, called switches and warps, are investigated. The main theorem establishes…

We revisit sheaves on locales by placing them in the context of the theory of quantale modules. The local homeomorphisms $p:X\to B$ are identified with the Hilbert $B$-modules that are equipped with a natural notion of basis. The…

We generalize Barr's embedding theorem for regular categories to the context of enriched categories.

We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…

We give a generalization of the theory of $\mathbb{Z}_2$-graded manifolds to a theory of $\mathcal{I}$-graded manifolds, where $\mathcal{I}$ is a commutative semi-ring with some additional properties. We prove Batchelor's theorem in this…

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…

We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear exponential comonad, as considered in the study of linear logic, and of a codereliction transformation,…

In this article, associated to a (bordered) Legendrian graph, we study and show the equivalence between two categorical Legendrian isotopy invariants: the augmentation category, a unital $A_{\infty}$-category, which lifts the set of…

The paper discusses four approaches to the biextension of Chow groups and their equivalences. These are the following: an explicit construction given by S.Bloch, a construction in terms of the Poincare biextension of dual intermediate…