Конкретная категория

• Категория — это множество объектов с набором морфизмов между ними. 
• Конкретизация категории — это представление ее объектов и морфизмов в виде множества. 
• Забывчивый функтор — это функтор, который отображает категорию в множество. 
• Примеры категорий, которые не поддаются конкретизации, включают hTop и малые категории и классы естественной эквивалентности функторов. 
• В теории категорий часто заменяют набор категорий другой категорией, называемой базовой категорией. 
• Конкретную категорию над множеством иногда называют конструкцией.