Timeline for Lax co/limit as evaluation on terminal/initial
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 20, 2017 at 21:04 | comment | added | fosco | Ah, the nLab page solved the terminology issue that you raised (or that I misinterpreted until today). The lax co/limit of $f : X \to Y$, seen as a diagram $\Delta[1] \to\cal A$, is the comma of $f$ and the identity (which is the way I interpreted your answer at first sight). So, thanks again! | |
| Feb 20, 2017 at 11:53 | comment | added | Mike Shulman | No, the lax limit of a cospan is different from the comma object; it involves two nonidentity 2-cells, whereas the comma object involves only one. | |
| Feb 20, 2017 at 11:05 | comment | added | fosco | I agreed the first time I read this, but then I thought: isn't the comma object the lax limit of a cospan? | |
| Feb 20, 2017 at 10:47 | vote | accept | fosco | ||
| Feb 20, 2017 at 8:43 | history | answered | Mike Shulman | CC BY-SA 3.0 |