Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
two-valued objects are topos-theoretic analogues of the set $\mathbf{2}$ with two elements in $Set$, and the categorical semantics of the type of booleans. Different from subobject classifiers. Still to do: categorical semantics of binary coproduct types and binary product types using dependent sums and products and two-valued objects.
Anonymous
Tagging this as one of many articles of dubious quality.
Considering that this article was created two years ago around the same time as two-valued type by some anonymous editor, and the two-valued type article essentially has the same content as boolean domain, wouldn’t a better name for the concept expressed in this article be “booleans object” or “boolean domain object” or some variation on that?
Personally I’ve never seen “two-valued type” used for the type in type theory, nor “two-valued object” used for internalizing in a category, outside the nLab. Booleans or boolean domain is standard terminology for the type in type theory.
renaming page to “boolean domain object” since it represents the concept of boolean domain internal to a category
1 to 9 of 9