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