Теорема о формальных функциях
- Теорема о канонической карте связывает канонические карты и канонические отображения между схемами.
- Каноническая карта позволяет определить каноническое отображение между схемами.
- Теорема о канонической карте приводит к теореме существования Гротендика, которая алгебраизирует категорию когерентных пучков на схеме.
- В доказательстве используется альтернативное определение канонического отображения.
- С помощью канонической карты можно получить состав двух карт, который является одной и той же картой.
Полный текст статьи: