Related papers: On Whitehead's theorem beyond pointed connected sp…
Broadly speaking the present is a homotopy complement to the book of Giraud, albeit in a couple of different ways. In the first place there is a representability theorem for maps to a topological champ (a.k.a. stack) and whence an extremely…
In this paper, using some properties of fundamental groups and covering spaces of connected polyhedra and CW-complexes, we present topological proof for some famous theorems about finitely presented groups.
We give an elementary description of $2$-categories $\mathbf{Cat}\left(\mathcal{E}\right)$ of internal categories, functors and natural transformations, where $\mathcal{E}$ is a category modelling Lawvere's elementary theory of the category…
This paper is the second in a series of two papers about generalizing Quillen's Theorem A to strict $\infty$-categories. In the first one, we presented a proof of this Theorem A of a simplicial nature, direct but somewhat ad hoc. In the…
A framework for higher gauge theory based on a 2-group is presented, by constructing a groupoid of connections on a manifold acted on by a 2-group of gauge transformations, following previous work by the authors where the general notion of…
The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural…
In the sixties, Grothendieck developed the theory of pro-objects over a category. The fundamental property of the category $Pro(C)$ is that there is an embedding $C \stackrel{c}{\rightarrow} Pro(C)$, $Pro(C)$ is closed under small…
We formulate and prove a twofold generalisation of Lie's second theorem that integrates homomorphisms between formal group laws to homomorphisms between Lie groups. Firstly we generalise classical Lie theory by replacing groups with…
We discuss a number of general constructions concerning additive $ C^* $-categories, focussing in particular on establishing the existence of bicolimits. As an illustration of our results we show that balanced tensor products of module…
We prove the Hardy-Littlewood theorem in two dimensions for functions whose Fourier coefficients obey general monotonicity conditions and, importantly, are not necessarily positive. The sharpness of the result is given by a counterexample,…
We construct a central extension of the group of automorphisms of a 2-Tate vector space viewed as a discrete 2-group. This is done using an action of this 2-group on a 2-gerbe of gerbel theories. This central extension is used to define…
Motivated by the strong nearby Lagrangian conjecture, we constrain the parametrised Whitehead torsion of a family of closed exact Lagrangian submanifolds in a cotangent bundle. We prove the parametrised Whitehead torsion admits a…
We generalize Quillen's Theorem A to diagrams of lax 2-functors which commute up to transformation. It follows from a special case of this result that 2-categories are models for homotopy types.
It has been conjectured that finite tensor categories have finitely generated cohomology. We show that this is equivalent to finitely generated Hochschild cohomology for the endomorphism algebras of the projective generators.
Let $X \subset \mathbb{P}^{n+1}$ be a smooth Fano hypersurface of dimension $n$ and degree $d$. The derived category of coherent sheaves on $X$ contains an interesting subcategory called the Kuznetsov component $\mathcal{A}_X$. We show that…
We consider the localisation of the 2-category of diffeological groupoids at weak equivalences from the perspective of anafunctors, and with this language, prove that the localisation of the 2-category of Lie groupoids is an essentially…
The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…
We study thick subcategories of the category of 2-term complexes of projective modules over an associative algebra. We show that those thick subcategories that have enough injectives are in explicit bijection with 2-term silting complexes…
In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in…
We prove that the homotopy theory of Picard 2-categories is equivalent to that of stable 2-types.