**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Publication# Catégories simpliciales enrichies et K-théorie de Waldhausen

Abstract

This thesis, which presents a new approach to the algebraic K-theory, is divided into two parts. The first one is devoted to the category of small simplicial categories. First, we construct a new model structure on sCat = [Δop,Cat] which is called the diagonal model structure, in reference to the diagonal model structure of Moerdijk on bisimplicial sets sSet2. Then we show that the new structure is proper and cellular. Note that this new model structure is not tensored and cotensored over the category of simplicial sets sSet in a manner consistent with the model structure. To remedy this, we use another model structure on sSet2 defined in the article of Cegarra and Remedios [3], which is equivalent to the Moerdijk structure. So we build a second new model structure on [Δop,Cat], which is cofibrantly generated, left proper, cellular and (co)tensored on sSet in a compatible way. Based on the work of [13], we construct the stable category of spectra (not symmetric) SpN(sCat*, Σ). It garantees the existence of Ω-spectra, which allows us to define thenotion of "weak Waldhausen category". The calculation of the simplicial enrichment map of the model category SpN(sCat*, Σ), leads to our new definition of algebraic K-theory of weak Waldhausen categories . The second part of this thesis is an attempt to generalize the previous results for enriched categories. First we begin by recalling the theory of ∞-categories and ∞-groupoids, based on the work of Joyal [14] and Lurie [18]. Then we make comparisons of ∞-categories with the category of simplicial sets equipped with the usual model structure. Our first result is the construction of a model structure on Top – Cat , the category of small categories enriched over the category of topological spaces Top, based on the work of Bergner [1] . The category Top – Cat is Quillen equivalent to sSet – Cat. Note that all objects in Top – Cat are fibrant ; this remark will play an important role in this theory. Our second result is the construction of a new model structure on the category of small simplicial categories enriched over Top, denoted by Top – sCat = [Δop,Top – Cat]. We show that this structure is proper and cellular. The fact that Top – sCat is not (co)tensored over sSet poses a barrier to defining the category of spectra SpN(sCat*, Σ).

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (5)

Related concepts (16)

Topological space

In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points, along with an additional structure called a topology, which can be defined as a set of neighbourhoods for each point that satisfy some axioms formalizing the concept of closeness.

Simplicial set

In mathematics, a simplicial set is an object composed of simplices in a specific way. Simplicial sets are higher-dimensional generalizations of directed graphs, partially ordered sets and . Formally, a simplicial set may be defined as a contravariant functor from the to the . Simplicial sets were introduced in 1950 by Samuel Eilenberg and Joseph A. Zilber. Every simplicial set gives rise to a "nice" topological space, known as its geometric realization.

Enriched category

In , a branch of mathematics, an enriched category generalizes the idea of a by replacing hom-sets with objects from a general . It is motivated by the observation that, in many practical applications, the hom-set often has additional structure that should be respected, e.g., that of being a vector space of morphisms, or a topological space of morphisms. In an enriched category, the set of morphisms (the hom-set) associated with every pair of objects is replaced by an in some fixed monoidal category of "hom-objects".

The starting point for this project is the article of Kathryn Hess [11]. In this article, a homotopic version of monadic descent is developed. In the classical setting, one constructs a category D(

Kathryn Hess Bellwald, Inbar Klang

Shadows for bicategories, defined by Ponto, provide a useful framework that generalizes classical and topological Hochschild homology. In this paper, we define Hochschild-type invariants for monoids i

K-Theory was originally defined by Grothendieck as a contravariant functor from a subcategory of schemes to abelian groups, known today as K0. The same kind of construction was then applied to other f