Предварительный пучок (теория категорий)
- Статья обсуждает понятие расширения Йонеды в теории категорий.
- Расширение Йонеды позволяет определить левосопряженный функтор к некоторому функтору.
- Конструкция C → C^ является функториальным, определяя функтор C^ → D^ для каждого функтора C → D.
- Предпучок пространств в ∞-категории C является контравариантным функтором от C к ∞-категории пространств.
- Понятие расширения Йонеды используется в формулировке ∞-категории леммы Йонеды.
Полный текст статьи: