функтор
Sign in to saveAlso known as covariant functor, contravariant functor
тип отображения между категориями
In the Vinony graph
Within Vinony's link graph, функтор is referenced by 601 other articles, and connects out to universal property, strict 2-category and continuous function.
It is catalogued under the topic Functors.
Its subject is documented across 29 Wikipedia language editions.
Wikidata facts
- Subclass of
- function
- Part of
- category theory
- Image
- Commutative diagram of a functor.svg
Show 6 more facts
- topic's main category
- Category:Functors
- discoverer or inventor
- Saunders Mac Lane
- Commons category
- Functors
- studied by
- category theory
- different from
- function object
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Русский
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании . Впервые функторы начали рассматривать в алгебраической топологии, в которой топологическим пространствам сопоставляются алгебраические объекты (например, фундаментальная группа), а непрерывным отображениям — гомоморфизмы между этими объектами. Впоследствии функторы получили распространение во многих областях математики и используются для того, чтобы связывать между собой различные категории. Термин «функтор» был позаимствован математиками из работ философа Рудольфа Карнапа, при этом у Карнапа слово «функтор» относилось к лингвистическому понятию.
Abstract from DBpedia / Wikipedia · CC BY-SA