• Corpus ID: 118540558

# The Homotopy Theory of (∞,1)-Categories

@inproceedings{HellstrmFinnsen2014TheHT,
title={The Homotopy Theory of (∞,1)-Categories},
author={Magnus Hellstr{\o}m-Finnsen},
year={2014}
}
The homotopy category of a stable (∞,1)-category can be endowed with a triangulated structure. The main objective of this thesis is to give a proof of this fact. First it will be discussed some ideas of higher category theory, before (∞,1)-categories and models of (∞,1)-categories will be studied. In particular, topological categories and simplicial categories will be mentioned, but the main focus will be on quasi-categories, which all are models for (∞,1)-categories. The theory of (∞,1…
In these notes we describe models of globular weak (∞,m)-categories (m ∈ N) in the Grothendieck style, i.e for each m ∈ N we define a globular coherator Θ∞Mm whose set-models are globular weak
Category theory provides structure for the mathematical world and is seen everywhere in modern mathematics. With this book, the author bridges the gap between pure category theory and its numerous
• Mathematics
• 2021
2-Dimensional Categories provides an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a
In this paper, we generally describe a method of taking an abstract six functors formalism in the sense of Khan or Cisinski-Déglise, and outputting a derived motivic measure in the sense of
. We prove that the Thomason model structure on the category of small categories is a cartesian model category satisfying a variety of properties. We use these properties to show that small
The notion of an algebraic theory, which is able to describe many algebraic structures, has been used extensively since its introduction by Lawvere in 1963. This perspective has been very fruitful
. We show that the homotopy theories of diﬀerential graded categories and A ∞ -categories over a ﬁeld are equivalent at the ( ∞ , 1)-categorical level. The results are corollaries of a theorem of
We describe connections between concepts arising in Poisson geometry and the theory of Fukaya categories. The key concept is that of a symplectic groupoid, which is an integration of a Poisson
We describe connections between concepts arising in Poisson geometry and the theory of Fukaya categories. The key concept is that of a symplectic groupoid, which is an integration of a Poisson
The notion of an algebraic theory, which is able to describe many algebraic structures, has been used extensively since itsintroduction by Lawvere in 1963. This perspective has been very fruitful for

## References

This introduction to higher category theory is intended to a give the reader an intuition for what $(\infty,1)$-categories are, when they are an appropriate tool, how they fit into the landscape of