Timeline for Existence and explicit descriptions for left and right Kan extensions and lifts in bicategories of spans
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 23 at 18:19 | history | edited | Emily | CC BY-SA 4.0 |
added 231 characters in body
|
| Jan 4 at 19:34 | history | edited | Emily | CC BY-SA 4.0 |
added 386 characters in body
|
| Dec 19, 2023 at 14:39 | history | edited | Emily | CC BY-SA 4.0 |
added 895 characters in body
|
| Dec 19, 2023 at 5:01 | history | edited | Emily | CC BY-SA 4.0 |
edited body
|
| Dec 19, 2023 at 1:45 | history | edited | Emily | CC BY-SA 4.0 |
nevermind the approach in the "Note" doesn't work, as the diagrams between pullbacks involving $f^*$, $\Pi_f$, etc. don't commute, so there's no induced maps via the pullback $2$-functor
|
| Dec 18, 2023 at 20:01 | history | asked | Emily | CC BY-SA 4.0 |