On HTT's Lemma 3.3.4.1 – mathoverflow.net

While studying the book Higher Topos Theory I have encountered some difficulty with Lemma 3.3.4.1, which says that the pullback along a cartesian fibration of a map q such that $q^{op}$ is cofinal is ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

0 Comment to "On HTT's Lemma 3.3.4.1 – mathoverflow.net"