Timeline for Recasting straightening/unstraightening equivalence as $(\infty, 2)$-adjunction
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 12, 2023 at 15:09 | comment | added | Kevin Carlson | That all seems fine, but it doesn’t touch on the adjoint functor theorem question, which is where the size issues really begin to bite. | |
| Aug 10, 2023 at 22:05 | history | edited | Lorenzo Riva | CC BY-SA 4.0 |
added 5 characters in body
|
| Aug 10, 2023 at 21:40 | comment | added | Lorenzo Riva | @KevinArlin I'd like to hear your thoughts on this. Was this what you had in mind? | |
| Aug 10, 2023 at 21:39 | history | answered | Lorenzo Riva | CC BY-SA 4.0 |