Today’s post will be topological and maybe not something you’ve seen before. Before starting I’d like to share an intuition for the Grothendieck construction that was shared with me by twitter user sclv. I think this analogy is better than “smooshing”.
Let’s get to it.
The n-th singular homology of a topological space gives a functor
Where is the category of topological spaces and continuous functions and is the category of abelian groups and group homomorphisms.
You can also take the homology of pairs of spaces which are contained in each other. I won’t go through the definition here but for a spaces , the relative homology intuitively takes the homology of if you were to identify all of the elements of to a point. This intuition can be made precise through the notion of “good pairs of spaces” (this pdf has a nice definition but it can also be found in Hatcher). Hatcher’s Algebraic topology mentions that relative homology is also a functor into . However, as far as I can tell, neither Hatcher or wikipedia mention what the domain of this functor is.
The Grothendieck construction can help! At first glance it’s tempting to guess that the target category is the cartesian product of categories . However, this isn’t quite true. The most obvious difference is that the second space has to be a subspace of the first but the differences run deeper when you think about morphisms.
A morphism in this category isn’t just a pair of continuous maps between the two spaces. Instead, a morphism is a continuous function which restricts to a continuous map . This is justified by noting that arbitrary pairs of homotopy equivalences don’t induce isomorphisms in relative homology. Indeed, take the pairs and then and but the relative homologies are not isomorphic.
be the functor which sends a topological space to the category where
- the objects are given by subspaces of and,
- the morphisms are inclusions regarded as continuous functions.
For a continuous function we get a functor which sends a subspace to the the subspace and an inclusion to the inclusion .
I think you might be able to guess what we’re gonna do next. I’ll rewrite the definition here so you don’t have to look back.
Let be a functor. Then the category is a category where
- objects are pairs where is an object of and is an object of and,
- a morphism from to is a pair where is a morphism in and is a morphism in .
- For a morphism and a morphism their composite is given by . In words, you map the morphism into the category and compose it with there.
is a category where,
- objects are pairs where is topological space and is a subspace and,
- morphisms are pairs where is a continuous function and is an inclusion. This inclusion makes sure that the continuous function restricts to a continuous function from to .
So now we have a new way of understanding the category in the source of the relative homology functor.
I don’t feel like posting the answer to the puzzles in the previous post right now but feel free to talk to me about them. Here’s something new to think about
Puzzle: Use the Grothendieck construction to extend the definition of “homotopy equivalence between two spaces” to “homotopy equivalence between two pairs of spaces”.