New answers tagged limits-and-colimits
0
votes
Change of coordinates for coends
Here is my attempt at a partial answer:
First, a recollection about colimits along coCartesian fibrations: Let $p: X\to Y$ be a coCartesian fibration, and $f: X\to D$ a functor to a cocomplete ...
- 8,720
3
votes
Accepted
Change of coordinates for coends
$\require{AMScd}$First of all, I suspect that "$p$ has set fibers and it is surjective" means that it is a discrete fibration. In that case, $p$ corresponds to a functor $G_p : C \to Set$ (...
- 11.5k
4
votes
Accepted
Question about the proof of Kerodon tag 030V (Proposition 7.3.7.1)
I think you are right that the cube is not a levelwise equivalence - I saw you already put a comment on the Kerodon page so you should get an answer soon.
Here's how I would fix the proof: call your ...
- 8,720
Top 50 recent answers are included