3 ms·
You can be as abstract or concrete as you want. For example you can embed set theory inside a category (see Lawvere, Rosebrugh: Sets for Mathematics or https://
by fspeech 8y ago
You can be as abstract or concrete as you want. For example you can embed set theory inside a category (see Lawvere, Rosebrugh: Sets for Mathematics or https://ncatlab.org/nlab/show/ETCS https://ncatlab.org/nlab/show/ETCS). The main thing is that your subject under study has a monoidal structure (basically operations that compose associatively and have units).