Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 429204

Homotopy theory is an important sub-field of algebraic topology. It is mainly concerned with the properties and structures of spaces which are invariant under homotopy. Chief among these are the homotopy groups of spaces, specifically those of spheres. Homotopy theory includes a broad set of ideas and techniques, such as cohomology theories, spectra and stable homotopy theory, model categories, spectral sequences, and classifying spaces.

1 vote
0 answers
212 views

Kan extensions in Grothendieck school

Considering both the ubiquity of Kan extensions in category theory (as MacLane stated, 'The notion of Kan extensions subsumes all the other fundamental concepts of category theory.'), its early introd …
14 votes
2 answers
681 views

Who introduced the notion of 2-categories?

Wikipedia seems to have an answer "The concept of 2-category was first introduced by Charles Ehresmann in his work on enriched categories in 1965. The more general concept of bicategory (or weak 2-cat …
2 votes

Derivators (in English)

Maybe you should try Grothendieck himself T. Hosgood has translated a letter from Grothendieck to R. Thomason where he gave the motivation for the theory https://labs.thosgood.com/translations/grothen …
user234212323's user avatar
5 votes
1 answer
278 views

Axioms of derivators

I would like to enter the world of derivators. We can find a little history here and there about the limitations of triangulated categories and the motivation to enhance them, but also to compute homo …
7 votes
2 answers
319 views

Indexing categories of derivators

It is not clear to me the role of the domain and target in the definition of prederivators. For instance, the classical references put the domain as $\mathit{Dia}$, others as $\mathit{Cat}$ itself. So …
11 votes
1 answer
678 views

A non-conventional definition of topoi

In "Toward a Galoisian interpretation of homotopy theory" (2000), B. Toën wrote: Pour expliquer notre point de vue sur la notion de champs rappelons une construction (non conventionnelle) du topos de …