Алгебраический кобордизм

• Алгебраический кобордизм является аналогом комплексного кобордизма для гладких квазипроективных схем над полем. 
• Теория ориентированных когомологий в категории гладких квазипроективных схем Sm состоит из контравариантного функтора A* и прямых отображений f *. 
• Эти карты должны удовлетворять условиям, аналогичным тем, которым удовлетворяет сложный кобордизм. 
• Над полем характеристики 0 алгебраический кобордизм является универсальной теорией ориентированных когомологий для гладких многообразий. 
• Существует уникальный морфизм теорий ориентированных когомологий от алгебраического кобордизма до любой другой теории ориентированных когомологий.