Weighted limits in simplicial homotopy theory

We extend the theory of Quillen adjunctions by combining ideas of homotopical algebra and of enriched category theory. Our results describe how the formulas for homotopy colimits of Bousfield and Kan arise from general formulas describing the derived functor of the weighted colimit functor.

The Euler characteristic of a category

The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula is proved for the cardinality of a colimit of sets, generalizing the classical inclusion-exclusion formula. Both rest on a generalization of Rota's Möbius inversion from posets to categories.

On two examples by Iyama and Yoshino

In a recent paper Iyama and Yoshino consider two interesting examples of isolated singularities over which it is possible to classify the indecomposable maximal Cohen-Macaulay modules in terms of linear algebra data. In this paper we present two new approaches to these examples. In the first approach we give a relation with cluster categories. In the second approach we use Orlov's result on the graded singularity category. We obtain some new results on the singularity category of isolated singularities which may be interesting in their own right.

Localization of algebras over coloured operads

We give sufficient conditions for homotopical localization functors to preserve algebras over coloured operads in monoidal model categories. Our approach encompasses a number of previous results about preservation of structures under localizations, such as loop spaces or infinite loop spaces, and provides new results of the same kind. For instance, under suitable assumptions, homotopical localizations preserve ring spectra (in the strict sense, not only up to homotopy), modules over ring spectra, and algebras over commutative ring spectra, as well as ring maps, module maps, and algebra maps. It is principally the treatment of module spectra and their maps that led us to the use of coloured operads (also called enriched multicategories) in this context.

Note on a theorem of Bousfield and Friedlander

We examine the proof of a classical localization theorem of Bousfield and Friedlander and we remove the assumption that the underlying model category be right proper. The key to the argument is a lemma about factoring in morphisms in the arrow category of a model category.

A model category structure on the category of simplicial multicategories

We establish a Quillen model structure on simplicial(symmetric) multicategories. It extends the model structure on simplicial categories due to J. Bergner [2]. We observe that our technique of proof enables us to prove a similar result for (symmetric) multicategories enriched over other monoidal model categories than simplicial sets. Examples include small categories, simplicial abelian groups and compactly generated Hausdorff spaces.

Polynomial functors and trees

We explore the relationship between polynomial functors and trees. In the first part we characterise trees as certain polynomial functors and obtain a completely formal but at the same time conceptual and explicit construction of two categories of rooted trees, whose main properties we describe in terms of some factorisation systems. The second category is the category Ω of Moerdijk and Weiss. Although the constructions are motivated and explained in terms of polynomial functors, they all amount to elementary manipulations with finite sets. Included in Part 1 is also an explicit construction of the free monad on a polynomial endofunctor, given in terms of trees. In the second part we describe polynomial endofunctors and monads as structures built from trees, characterising the images of several nerve functors from polynomial endofunctors and monads into presheaves on categories of trees. Polynomial endofunctors and monads over a base are characterised by a sheaf condition on categories of decorated trees. In the absolute case, one further condition is needed, a projectivity condition, which serves also to characterise polynomial endofunctors and monads among (coloured) collections and operads.

On an extension of the notion of Reedy category

"Vegeu el resum a l'inici del document del fitxer adjunt."

On the trace of an endofunctor of a small category

The trace of a square matrix can be defined by a universal property which, appropriately generalized yields the concept of "trace of an endofunctor of a small category". We review the basic definitions of this general concept and give a new construction, the "pretrace category", which allows us to obtain the trace of an endofunctor of a small category as the set of connected components of its pretrace. We show that this pretrace construction determines a finite-product preserving endofunctor of the category of small categories, and we deduce from this that the trace inherits any finite-product algebraic structure that the original category may have. We apply our results to several examples from Representation Theory obtaining a new (indirect) proof of the fact that two finite dimensional linear representations of a finite group are isomorphic if and only if they have the same character.

Amalgamation, absoluteness, and categoricity

"Vegeu el resum a l'inici del document del fitxer adjunt."

Double adjunctions

We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg-Moore objects in double categories. We improve upon an earlier result of Fiore-Gambino-Kock in [7] to conclude: if a double category with cofolding admits the construction of free monads in its horizontal 2-category, then it also admits the construction of free monads as a double category horizontally and vertically, and also in its vertical 2-category. We also prove that a double category admits Eilenberg-Moore objects if and only if a certain parameterized presheaf is representable. Along the way, we develop parameterized presheaves on double categories and prove a double Yoneda Lemma.

On absoluteness of categoricity in abstract elementary classes

"Vegeu el resum a l'inici del document del fitxer adjunt"

Reconstruction of a superscheme from its derived category

The aim of this paper is to construct a "super" version of a tensor triangulated category, and to show that super-schemes can be reconstructed from its category of perfect complexes in a way similar to Balmer [Bal05] provided we consider this extra structure.