Monoidoid

101
reputation
2

Doing mathematics, in particular category theory and type theory. Interested in most things science.