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