17 Jul
2012
17 Jul
'12
11:40 a.m.
On 7/16/12 1:10 AM, Edward Kmett wrote:
If we are going to introduce another superclass, I would much rather introduce that one, as it has a better theoretical motivation and the additional laws regarding dinatural transformations and the extra structure that follows.
+1. -- Live well, ~wren