Категория (математика)

• Категория – это множество объектов с морфизмами, связывающими объекты. 
• Морфизмы могут быть мономорфизмами, эпиморфизмами, биморфизмами, опровержениями и разделами. 
• Типы категорий включают предаддитивные, аддитивные и абелевые категории. 
• Категории множеств, абелевых групп и топологических пространств являются полными. 
• Декартовы замкнутые категории могут быть использованы для представления логической теории, например, топос.