классификатор подобъектов
Sign in to savein category theory
Wikidata facts
- Instance of
- object of a category
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0
Article · Русский
В теории категорий, классификатор подобъектов — специальный объект Ω категории; интуитивно, подобъекты X соответствуют морфизмам из X в Ω. Способ, которым он «классифицирует» объекты можно описать как присвоение некоторым элементам X значения «истина».
Abstract from DBpedia / Wikipedia · CC BY-SA