Subobject classifier
id:
subobject-classifier-292-17105524
title:
Subobject classifier
text:
In category theory, a subobject classifier is a special object Ω of a category such that, intuitively, the subobjects of any object X in the category correspond to the morphisms from X to Ω. In typical examples, that morphism assigns "true" to the elements of the subobject and "false" to the other elements of X. Therefore, a subobject classifier is also known as a "truth value object" and the concept is widely used in the categorical description of logic. Note however that subobject classifiers
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Subobject_classifier
date created:
date modified:
2021-05-03T11:48:29Z
main entity:
{"identifier":"Q7631737","url":"https://www.wikidata.org/entity/Q7631737"}
image:
fields total:
13
integrity:
13