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