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 ...
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$ (...
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 ...
Top 50 recent answers are included
Related Tags
limits-and-colimits × 279ct.category-theory × 168
reference-request × 31
at.algebraic-topology × 29
fa.functional-analysis × 23
higher-category-theory × 22
homotopy-theory × 21
ag.algebraic-geometry × 18
gn.general-topology × 18
homological-algebra × 14
banach-spaces × 11
enriched-category-theory × 11
locally-convex-spaces × 10
gr.group-theory × 9
ac.commutative-algebra × 9
infinity-categories × 9
monads × 9
model-categories × 8
2-categories × 8
oa.operator-algebras × 7
c-star-algebras × 7
schemes × 7
modules × 6
monoidal-categories × 6
topological-vector-spaces × 6