Both kinds of course are valuable. The first is like teaching ETCS via the general notion of category, more or less as in Lawvere and Rosebrugh’s book Sets for Mathematics. The second is like my ...
Some results have been hidden because they may be inaccessible to you