Related papers: Abstract elementary classes and accessible categor…

In this paper we examine the task set forth by Shelah and Villaveces in \cite{ShVi} of proving the uniqueness of limit models of cardinality $\mu$ in $\lambda$-categorical abstract elementary classes with no maximal models, where $\lambda$…

We study the relationship between presheaf constructions and free cocompletions in the context of formal category theory, elucidating the coincidence between the two concepts in familiar settings. We show that, in a virtual equipment…

We describe a perfect correspondence between skew monoidal categories and certain generalised multicategories, called skew multicategories, that arise in nature.

We consider categories of generalized perverse sheaves, with relaxed constructibility conditions, by means of the process of gluing $t$-structures and we exhibit explicit abelian categories defined in terms of standard sheaves categories…

We generalize Illusie's definition of the Atiyah class to complexes with quasi-coherent cohomology on arbitrary algebraic stacks. We show that this gives a global obstruction theory for moduli stacks of complexes in algebraic geometry…

In this paper, we define what it means for an object in an abstract module category to be dualizable and we give a homological description of the direct limit closure of the dualizable objects. Our description recovers existing results of…

In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the abstract Krivine structures and the implicative algebras…

We show that in the category of analytic sheaves on a complex analytic space, the full subcategory of quasi-coherent sheaves is an abelian subcategory.

We introduce, comment and develop the Scott adjunction, mostly from the point of view of a category theorist. Besides its technical and conceptual aspects, in a nutshell we provide a categorification of the Scott topology over a posets with…

We prove that if two abelian varieties have equivalent derived categories then the derived categories of the smooth stacks associated to the corresponding Kummer varieties are equivalent as well. The second main result establishes necessary…

We describe a Quillen equivalence between quasi-categories and relative categories which is surprisingly similar to Thomason's Quillen equivalences between simplicial sets and categories.

We classify the derived tame Schur and infinitesimal Schur algebras and describe indecomposable objects in their derived categories.

We prove an accessibility result for finitely generated groups that combines Sela's acylindrical accessibility with Linell accessibility.

We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…

We show that the category of pastures has arbitrary limits and colimits of diagrams indexed by a small category.

We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and…

We construct a class $\hat{K}$ of torsion-free abelian groups such that $\hat{\mathbf{K}}=(\hat{K}, \leq_p)$ is an abstract elementary class with $\operatorname{LS}(\hat{\mathbf{K}})=\aleph_0$ such that: $(\cdot)$ $\hat{\mathbf{K}}$ is not…

We study the primitive recursive analogue of computable categoricity spectra for various natural classes of structures. We show that these notions coincide for all relatively $\Delta_{2}^{0}$-categorical equivalence structures and linear…

An elementary theory of strict $\infty $-categories with application to concrete duality is given. New examples of first and second order concrete duality are presented.

We investigate and compare $\mathcal F$-Borel classes and absolute $\mathcal F$-Borel classes. We provide precise examples distinguishing these two hierarchies. We also show that for separable metrizable spaces, $\mathcal F$-Borel classes…