Ололо, википедики пизданулись. Цитирую:
Ф́унктор — это особый тип отображений между категориями </wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%BA%D0%B0%D1%82%D0%B5%D0%B3%D0 %BE%D1%80%D0%B8%D0%B9>, сохраняющих структуру. Их можно рассматривать как морфизмы в «категории» категорий. Такая «категория» будет являться категорией в обычном смысле только если её объекты — малые категории </wiki/%D0%9C%D0%B0%D0%BB%D0%B0%D1%8F_%D0%BA%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1 %80%D0%B8%D1%8F>, в противном случае совокупность её объектов не является классом </wiki/%D0%9A%D0%BB%D0%B0%D1%81%D1%81_(%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D 1%82%D0%B8%D0%BA%D0%B0)>. Однако, можно ввести расширение понятия класса — конгломерат, который можно условно представить как «класс классов». Конгломерат относится к классу так же, как класс — ко множеству. Это позволяет рассматривать квазикатегории, совокупности объектов и морфизмов в которых являются конгломератами, а в остальном их определения и свойства аналогичны таковым для категорий.
--
Да ёб вашу мать, ну как человек с улицы это поймет?
Я-то, конечно, осознаю, что ничего сверхъестественного тут нет, но вики же обычно используют, чтобы получить короткую справку о чём-то. Ну и что поймет из этой статьи школьник, посланный в гугл?
10 comments
recommend
bookmark
subscribe
Ему должно хватить "категории категорий"?
Ну да, ну да…
Если они пытаются сказать, что функтор — функция высшего порядка, то вполне.
Но вообще, вплетение теории категорий не к месту — не есть хорошо.
Хотя, если школьник полезет читать про функтор — пусть и теорию категорий почитает, чего уж там.
Правда, потом из таких школьников вырастают дедфуды :-\
Нет, дедфуд же не так вырос. Из таких школьников обычно получаются "НУ Я ИСПОЛЬЗОВАЛ ТАМ ЧОТО ЧО ЭТО Я НЕ ЗНАЮ".
Бггг. Типа индусы?
#ohsgin
TAK NADO…
Ок, убедил.
было бы удивительно, если бы они пытались сказать именно это. функция высшего порядка (на языке категорий) — это экспоненциал (вернее, экспоненциал — это формализация понятия функционального пространства, ну да не суть важно)
а функтор — это морфизм в категории малых категорий. или просто морфизм категорий, если нас интересует только внутренняя структура
а ты, кстати, скорее всего имеешь в виду функционал — хотя это, вообще говоря, тоже неверно
этот текст плох только отсутствием развёрнутой аргументации. сравни со статьёй на nLab, например:
http://ncatlab.org/nlab/show/functor