10:5110:51, 19 December 2023diffhist+22
William Lawvere
→Work: Link to Killam (alt source: https://digitaleditions.library.dal.ca/livesofdalv2/chapter/testing-limits-the-cohn-the-killam-the-life-sciences-the-radicals-1968-1972/)
10:2510:25, 9 May 2012diffhist+25
Allegory (mathematics)
better to say "sets and relations" rather than "Rel", since it is clearer, and also since Rel(C) is used on this page for Rel relative to C, and so this one is called Rel(Set).
09:2509:25, 23 December 2009diffhist+133
Denotational semantics
Better place for this text? It is not clear to me why exceptions deserve special mention in the lead. (This section on imperative programming still needs some work, eg background and context, though.)
10:5110:51, 19 December 2023diffhist+22
William Lawvere
→Work: Link to Killam (alt source: https://digitaleditions.library.dal.ca/livesofdalv2/chapter/testing-limits-the-cohn-the-killam-the-life-sciences-the-radicals-1968-1972/)
10:2510:25, 9 May 2012diffhist+25
Allegory (mathematics)
better to say "sets and relations" rather than "Rel", since it is clearer, and also since Rel(C) is used on this page for Rel relative to C, and so this one is called Rel(Set).
09:2509:25, 23 December 2009diffhist+133
Denotational semantics
Better place for this text? It is not clear to me why exceptions deserve special mention in the lead. (This section on imperative programming still needs some work, eg background and context, though.)