Skip to main content
Extensional existence
Archive
About me
Research
Teaching
RSS feed
Posts for year 2023
2023-07-01 18:15
Monads: just a monoid in the category of endofunctors!