Фрейд обложка
Эта статья нуждается в дополнительных цитатах для проверки . ( май 2016 г. ) |
В математической дисциплине теории категорий категория Фрейда покрытия или булочки представляет собой конструкцию, которая дает конструкцию, подобную множеству, из данной категории. Единственное требование — чтобы исходная категория имела конечный объект. Категория scone наследует практически любую категориальную конструкцию, которую имеет исходная категория. Scones можно использовать для общего описания доказательств, использующих логические отношения .
Обложка Freyd названа в честь Питера Фрейда . Другое название, «булочка», предполагает, что это похоже на конус , но с пространством Серпинского вместо единичного интервала . [1]
Определение [ править ]
Формально областью категории C с терминальным объектом 1 является категория с запятой. . [1]