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