4 ms·

You should check out "Conceptual mathematics" and then "sets for mathematics", both written by lawvere. They are the amazing