Quillen's Morphism Inverting Functors - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T04:56:19Z http://mathoverflow.net/feeds/question/13220 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/13220/quillens-morphism-inverting-functors Quillen's Morphism Inverting Functors Richard Eager 2010-01-28T03:41:40Z 2010-01-29T23:12:30Z <p>In "Higher algebraic K-theory I" Quillen defines a morphism inverting functor to be a functor from a category C to the category Sets which maps "arrows" in C to isomorphisms in Sets.</p> <p>Proposition 1: The category of covering spaces of BC is canonically isomorphic to the category of morphism-inverting functors $F: C\rightarrow Sets$.</p> <p>[For $C$ a small category, its classifying space $BC$ is the geometric realization of its nerve, $NC$]</p> <p>This proposition plays an essential role in Quillen's Theorem 1 showing that his Q-construction agrees with Grothendieck's construction for $K_0$.</p> <p>Theorem 1: $\pi_1(B(QC))$ is canonically isomorphic to the Grothendieck group $K_0(M)$</p> <p>Questions: Have morphism-inverting functors played an important role in other contexts? Is there a more modern incarnation of morphism-inverting functors related to the fundamental groupoid of an infinity-category?</p> http://mathoverflow.net/questions/13220/quillens-morphism-inverting-functors/13227#13227 Answer by Harry Gindi for Quillen's Morphism Inverting Functors Harry Gindi 2010-01-28T05:20:20Z 2010-01-29T23:12:30Z <p>Proposition 1 is extremely straightforward to prove (provided you have some facts like the quillen adjunction between SSet and CGWH). Sing(|S|) gives you a simplicial set where all of the edges "forget" their direction, and when you apply the inverse of the nerve functor, you get back a copy of C with all of its arrows as isomorphisms. Covering spaces are equivalent to (etale) bundles (of sets) on a topological space, which by a theorem in Mac Lane (Sheaves in Geometry and Logic) is equivalent to taking sheaves on the space, so by unraveling these equivalences, you get your result. The last equivalence is probably one you're familiar with as the espace \'etal\'e. (While in general, the nerve functor does not have an inverse, the nerve of a category has some nice properties that make the total singular complex (the $Sing$ functor) pull back intact, modulo directedness of edges. If you think about the actual graph of the nerve of an ordinary category, it's not hard to see why this is true. This is precisely because the geometric realization "forgets" some information.) </p> <p>The construction you're describing is generalized by a functor in HTT called the unstraightening functor, which you can read about in HTT Ch 2.2. With a number of more sophisticated results, we can generalize the adjunction between $Sing$ and $| \cdot |$ to a Quillen equivalence between SSet-Cat and CGWH-Cat. </p> <p>HTT is Higher topos theory by J. Lurie.</p>