Whoa. We have a blog? We have a blog!

Sorry for the silence! We’ve been quite involved in senior-year stuff (college and scholarship apps, etc.) I’m currently trying to get over the fact that I submitted my Intel STS paper (parts of it are available on my website here)! Someday, when I have time, I’ll try to give an exposition of what it’s all about. I’ve also uploaded a video to YouTube trying to give an intro to -categories. It’s meant to be for a general person interested in science. You can see it here:

Anyway, I want to continue on with giving an exposition on Cartesian fibrations. Let be a map of simplicial sets. It is an inner fibration if it has the right lifting property with respect to the inclusions for all . Recall:

**Definition. **Suppose is an inner fibration and an edge in . is said to be -Cartesian if the map is a trivial Kan fibration.

-Cartesian fibrations are critical to the definition of Cartesian fibrations. There are many reasons to care about their definition. Suppose is an inner fibration. If is contractible, then is an -category. Inner fibrations are stable under pushouts; hence in general, for all , the fiber given by is an -category. Suppose that is a map in . However, the induced is \textit{not} a functor between -categories (instead it is a “correspondence”). In order to obtain a functor it is necessary to make slight adjustments. This yields the notion of a \textit{Cartesian fibration}.

**Definition. **Let be a map of simplicial sets. It is a Cartesian fibration if:

- is an inner fibration.
- If is a map in whose target is the image of a -simplice of , then can be pulled back via to a map in .

Observe that these are two of the conditions appearing in Proposition \ref{charmarkedanodynemaps}. In particular, a marked anodyne map is a map with the left lifting property with respect to any Cartesian fibration . It is easy to get examples of Cartesian fibrations. Suppose is a Grothendieck fibration. Then the map is a Cartesian fibration. In fact, a map is a Cartesian fibration if and only if the map is a Grothendieck fibration.

Recall that if is an inner fibration, then a map in gives a correspondence . is Cartesian if and only if this correspondence is determined by a functor. This functor is unique up to homotopy. This means that the essence of a Cartesian fibration is contained in the following statement: Cartesian fibrations with base are contravariant maps from to an -category of -categories. Let us now construct this -category.

Let be the simplicial category defined as follows.

- Objects are small -categories.
- Let and be small -categories. Then is the largest Kan complex contained in .

Then the -category of -categories is the nerve of . The important thing to note is that arises as the category of fibrant-cofibrant objects of a particular model structure on .

Let be a Cartesian fibration. Define to be the marked simplicial set , where is the collection of -Cartesian edges of .

Next time, we’ll talk about the Cartesian model structure, and maybe the straightening and unstraightening constructions as well! You can see all this stuff in PDF format here, which can also be found on my webpage.

Best,

S.K.D