Mathematics

Monoidoid
450
reputation
  • Würzburg, Deutschland
  • Member since January 26 2017
  • 27 profile views
  • Last seen Dec 30 '25 at 08:19

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