Let f be a function from a set A to another set B, we write f : A → B. To be explicit, this means that f is defined on all of A and all the values of f are in B. In set theoretic terms, range(f) ⊆ B.
If you want to change selection, open document below and click on "Move attachment"
pdf
owner:
LustrzanyDotyk - (no access) - (Oxford Logic Guides 52) Steve Awodey-Category Theory-Oxford University Press (2010).pdf, p20
Summary
status | not read | | reprioritisations | |
---|
last reprioritisation on | | | suggested re-reading day | |
---|
started reading on | | | finished reading on | |
---|
Details