From Internal ∞-Categories to the Foundation of Mathematics
Event details
| Date | 31.03.2025 |
| Hour | 13:45 › 14:45 |
| Speaker | Nima Rasekh, Universität Greifswald |
| Location | |
| Category | Conferences - Seminars |
| Event Language | English |
Internal categories extend the concept of ordinary categories, enabling the application of categorical methods across diverse contexts, from Lie groupoids to condensed categories. A particularly elegant use of internal category theory arises in higher categorical sheaf theory, having resulted in powerful ∞-categorical techniques and results internal to Grothendieck ∞-topoi. In this talk, we seek to generalize several results to more general internal ∞-categories, only to encounter unexpected challenges that surprisingly intertwine ∞-category theory with the foundations of mathematics.
Practical information
- General public
- Free
Organizer
- Virgile Constantin
Contact
- Maroussia Schaffner