Timeline for A question about possibly $\infty$-category or functors
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 27, 2021 at 16:41 | comment | added | Ho Man-Ho | @DmitriPavlov Thank you for solving my question. Probably you have written your answer in the language that I can understand. | |
| Aug 27, 2021 at 16:37 | vote | accept | Ho Man-Ho | ||
| Aug 27, 2021 at 16:18 | comment | added | Dmitri Pavlov | @DenisNardin: The OP only mentioned (∞,1)-categories, not ∞-categories, and in the context of a paper he was reading. Ordinary Grothendieck fibrations are sufficient for encoding vector bundles with connection. But in terms of actual efficiency and ease of use, in my experience the site of cartesian manifolds always wins. | |
| Aug 27, 2021 at 16:14 | history | edited | Dmitri Pavlov | CC BY-SA 4.0 |
added 136 characters in body
|
| Aug 27, 2021 at 16:10 | comment | added | Denis Nardin | I would argue that the most natural approach to defining $\operatorname{Vect}_\nabla$ is to construct the cartesian fibration it classifies. I understand it might not feel as elementary, but if we're using ∞-categories anyway... | |
| Aug 27, 2021 at 16:07 | history | answered | Dmitri Pavlov | CC BY-SA 4.0 |