Related papers: Factorizing the Top-Loc adjunction through positiv…

We will give quiver presentations of the Grothendieck constructions of functors from a small category to the 2-category of $\Bbbk$-categories for a commutative ring $\Bbbk$.

We give a new criterion guaranteeing existence of model structures left-induced along a functor admitting both adjoints. This works under the hypothesis that the functor induces idempotent adjunctions at the homotopy category level. As an…

To a big n-tilting object in a complete, cocomplete abelian category A with an injective cogenerator we assign a big n-cotilting object in a complete, cocomplete abelian category B with a projective generator, and vice versa. Then we…

Topos theory occupies a singular place in contemporary mathematics: born from Grothendieck's algebraic geometry, it has emerged as a unifying language for geometry, topology, algebra, and logic. This book offers a progressive introduction…

We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…

This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…

Ever since the introduction of motivic homotopy theory, as a well-proposed approximation of Grothendieck's dream, algebraic geometers then have the chance to study schemes via a homotopy theory. However topologists also found that lifting…

We prove a formula, originally due to Feit and Fine, for the class of the commuting variety in the Grothendieck group of varieties. Our method, which uses a power structure on the Grothendieck group of stacks, allows us to prove several…

For groups of a topological origin, such as braid groups and mapping class groups, an important source of interesting and highly non-trivial representations is given by their actions on the twisted homology of associated spaces; these are…

In a category $\mathcal{C}$ with a proper $(\mathcal{E}, \mathcal{M})$-factorization system, we study the notions of strict, co-strict, initial and final morphisms with respect to a topogenous order. Besides showing that they allow…

We investigate the existence of left and right adjoints to the restriction functor in three categories of continuous representations of a topological group: discrete, linear complete and compact.

Every right adjoint functor between presentable $\infty$-categories is shown to decompose canonically as a coreflection, followed by, possibly transfinitely many, monadic functors. Furthermore, the coreflection part is given a presentation…

By showing the compatibility of folding almost positive roots and folding cluster categories, we prove that there is a one-to-one correspondence between seeds and tilting seeds in non-simply-laced finite cases.

Firstly we provide a technique to move torsion pairs in abelian categories via adjoint functors and in particular through Giraud subcategories. We apply this point in order to develop a correspondence between Giraud subcategories of an…

In this paper, we show that for reduced homotopy endofunctors of spaces, F, and for all $n \geq 1$ there are adjoint functors $R_n, L_n$ with $T_n F \simeq R_n F L_n$, where $P_n F$ is the $n$-excisive approximation to $F$, constructed by…

We present a novel approach to the problem of integrating homotopy Lie algebras by representing the Maurer-Cartan space functor with a universal cosimplicial object. This recovers Getzler's original functor but allows us to prove the…

We study Hurewicz fibrations between finite T$_0$--spaces from a combinatorial viewpoint and give strong conditions that a continuous map between finite T$_0$--spaces must satisfy in order to be a Hurewicz fibration. We also show that there…

We give a model-independent construction of directed univalent cocartesian fibrations of $(\infty,1)$-categories, and prove a straightening equivalence against such fibrations. The key step is showing that cocartesian fibrations descend…