4 ms·
The examples are more varied and developed than in other treatments I've seen, it's a good library addition. Thanks to Perrone for taking the effort. I'm liking
by jesuslop 7y ago
The examples are more varied and developed than in other treatments I've seen, it's a good library addition. Thanks to Perrone for taking the effort. I'm liking the section relating univeresal contruction with representable functor.