Related papers: $ \infty $-category and some applications on orbif…
We develop the theory of $H$-graded manifolds for any finitely generated abelian group, using tools from representation theory. Furthermore, we introduce and investigate the notion of $H$-graded coverings of supermanifolds in the case where…
In recent years a lot of attention has been paid to topological spaces which are a bit more general than smooth manifolds - orbifolds. Orbifolds are intuitively speaking manifolds with some singularities. The formal definition is also…
We introduce the notion of Lusternik-Schnirelmann category for differentiable stacks and establish its relation with the groupoid Lusternik-Schnirelmann category for Lie groupoids.
We use the category of linear complexes of tilting modules for the BGG category O, associated with a semi-simple complex finite-dimensional Lie algebra g, to reprove in purely algebraic way several known results about O obtained earlier by…
The representation theory for categorical groups is constructed. Each categorical group determines a monoidal bicategory of representations. Typically, these categories contain representations which are indecomposable but not irreducible. A…
In this paper, we unify various approaches to generalized covering space theory by introducing a categorical framework in which coverings are defined purely in terms of unique lifting properties. For each category $\mathcal{C}$ of…
We define a generalized likelihood function based on uncertainty measures and show that maximizing such a likelihood function for different measures induces different types of classifiers. In the probabilistic framework, we obtain…
We show that the bicategory of (representable) orbifolds and good maps is equivalent to the bicategory of orbifold translation groupoids and generalized equivariant maps. We use this result to define an orbifold version of Bredon…
We construct classifying $\infty$-topoi by showing that the $(\infty,2)$-category of topoi has weighted limits. We show that several prestacks of interest have a classifying topos, including the prestack of spectra.
We start with a small paradigm shift about group representations, namely the observation that restriction to a subgroup can be understood as an extension-of-scalars. We deduce that, given a group $G$, the derived and the stable categories…
Semiadditivity of an $\infty$-category, i.e. the existence of biproducts, provides it with useful algebraic structure in the form of a canonical enrichment in commutative monoids. This ultimately comes from the fact that the…
We develop foundations for the category theory of $\infty$-categories parametrized by a base $\infty$-category. Our main contribution is a theory of indexed homotopy limits and colimits, which specializes to a theory of $G$-colimits for $G$…
There are a least uncountably many diffeomorphism types for open manifolds. Hence the classification problem is extremely difficult. We proceed as follows: We define several uniform structures of proper metric spaces and consider their arc…
The functor that takes a manifold to its configuration category exhibits a type of full faithfulness in some cases.
For a compact manifold M and a differentiable stack \cX presented by a Lie groupoid X, we show the Hom-stack Hom(M,\cX) is presented by a Fr\'echet-Lie groupoid Map(M,X) and so is an infinite-dimensional differentiable stack. We further…
We discuss some questions about Gromov-Witten classes of target stacks.
This is an introduction to Grothendieck's descent theory, with some stress on the general machinery of fibered categories and stacks.
In the framework of bidifferential graded algebras, we present universal solution generating techniques for a wide class of integrable systems.
We describe a point-set category of parametrized orthogonal spectra, a model structure on this category, and a separate, more geometric class of cofibrant-and-fibrant objects. The structures we describe are "convenient" in that they are…
This is an introduction to the study of abstract homotopy theory by means of model categories and $(\infty,1)$-categories. The only prerequisites are very basic general topology and abstract algebra. None categorical background is needed.…