New answers tagged

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 ...
user avatar
  • 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$ (...
user avatar
  • 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 ...
user avatar
  • 8,720

Top 50 recent answers are included