Skip to main content
10 events
when toggle format what by license comment
Jul 17, 2023 at 21:42 history became hot network question
Jul 17, 2023 at 17:13 vote accept Linuxmetel
Jul 17, 2023 at 15:50 comment added Peter LeFanu Lumsdaine @NajibIdrissi: That’s a rather fallacious objection: many interesting properties of an object or diagram involve its relationships with other related objects and diagrams. As noted in my answer, OP’s definition is a very reasonable and fairly standard definition of pullback-stability of an individual colimit.
Jul 17, 2023 at 15:46 answer added Peter LeFanu Lumsdaine timeline score: 12
Jul 17, 2023 at 15:38 comment added Najib Idrissi Well, $\mathrm{colim}_{d∈D}\ (G(d) \times_Z Y) \to (\mathrm{colim}_{d∈D}\ G(d))\times_Z Y$ is a different colimit than $\mathrm{colim}_D\ G$. So what you have defined is not a property of $\mathrm{colim}_D\ G$ because it depends on something else, namely, the functor $G(-) \times_Z Y$.
Jul 17, 2023 at 14:12 history edited Linuxmetel CC BY-SA 4.0
added 331 characters in body
Jul 17, 2023 at 13:59 comment added Linuxmetel Thank you for your comment. I thought it was obvious, but I should have written it. I'll write it.
Jul 17, 2023 at 13:51 comment added Zhen Lin Why don't you show us how you think it should be done, then?
S Jul 17, 2023 at 13:40 review First questions
Jul 17, 2023 at 13:44
S Jul 17, 2023 at 13:40 history asked Linuxmetel CC BY-SA 4.0