Member for 4 years, 11 months
I’m passionate about functional programming, logic, type theory, category theory, and more.
- MathOverflow 749 749 33 silver badges1010 bronze badges
- Stack Overflow 701 701 44 silver badges1010 bronze badges
- Ask Ubuntu 575 575 11 gold badge33 silver badges1414 bronze badges
- TeX - LaTeX 351 351 11 silver badge33 bronze badges
- Vi and Vim 325 325 22 silver badges1111 bronze badges
- View network profile
Top network posts
- 24 Shorthand way for assigning a single field in a record, while copying the rest of the fields?
- 22 Why choose LuaLaTeX over XeLaTeX?
- 18 How can I share my screen with Skype for Linux 5.3?
- 14 How can I make highlighting commands in .vimrc take effect immediately with Vim 7.4?
- 9 Pushouts in the category of adjunctions
- 8 Is there only one natural transformation from the product functor to itself?
- 8 When do powers and ends in functor categories act pointwise?
- View more network posts →