(…)
In set theory, the value of a function at an element is the element .
More generally, in type theory the value of a function on a term of type is the term of type .
(…)
The image of a function on a subset is the value at of the function , which in turn is the value at of the covariant power set functor on the category Set of sets.
See also:
Created on May 8, 2022 at 08:19:51. See the history of this page for a list of all contributions to it.