В математической теории категорий , эскиз категории D , вместе с набором конусов , предназначенных быть ограничением и набором cocones предназначены для копределы. Модель эскиза в категории C является функтор
который принимает каждый указанный конус до предельного конуса в С и каждый указанного cocone к копределу cocone в C . Морфизмы моделей - естественные преобразования . Наброски - это общий способ определения структур на объектах категории, образующий теоретико-категориальный аналог логической концепции теории и ее моделей . Они позволяют разносортированные модели и модели в любой категории.
Эскизы были изобретены в 1968 году Чарльзом Эресманном с использованием другого, но эквивалентного определения. В исследовательской литературе есть и другие определения.
Ссылки [ править ]
- Адамек, Иржи; Росицки, Иржи (1994), Локально представимые и доступные категории , Серия лекций Лондонского математического общества, 189 , Кембридж: Издательство Кембриджского университета, DOI : 10.1017 / CBO9780511600579 , ISBN 0-521-42261-2, Руководство по ремонту 1294136.
- Барр, Майкл ; Уэллс, Чарльз (2005), Toposes, Triples and Theories , Reprints in Theory and Applications of Categories, 12 (исправленное издание), MR 2178101.
- Borceux, Francis (1994), Справочник по категориальной алгебре. 2. Категории и структуры , Энциклопедия математики и ее приложений, 51 , Кембридж: Издательство Кембриджского университета, ISBN 0-521-44179-X, MR 1313497.
- Эресманн, Чарльз (1968), "Esquisses et types des структур algébriques", Bul. Inst. Политехн. Яссы , Новая серия, 14 (18) (фас. 1-2): 1–14, MR 0238918.
- Джонстон, Питер Т. (2002), Эскизы слона: сборник теории топосов. Vol. 2 , Oxford Logic Guides, 44 , Oxford: The Clarendon Press, Oxford University Press, ISBN 0-19-851598-7, Руководство по ремонту 2063092.
- Маккай, Михаил ; Паре, Роберт (1989), Доступные категории: Основы теории категориальных моделей , Современная математика, 104 , Провиденс, Род-Айленд: Американское математическое общество, ISBN 0-8218-5111-X, Руководство по ремонту 1031717.
Внешние ссылки [ править ]
- Эскизы: Схема со ссылками (обновлено в 2009 г.).
- эскиз в nLab