Monoidoid
430
reputation
2
11
Doing mathematics, in particular category theory and type theory. Interested in most things science.