I’m passionate about functional programming, logic, type theory, category theory, and more.
Member for 3 years, 3 months
2 profile views
Last seen Apr 11 '17 at 0:54
- MathOverflow 709 709 33 silver badges1010 bronze badges
- Stack Overflow 533 533 33 silver badges1010 bronze badges
- Ask Ubuntu 515 515 11 gold badge33 silver badges1212 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?
- 17 How can I share my screen with Skype for Linux 5.3?
- 12 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 When do powers and ends in functor categories act pointwise?
- 7 Does each monotonic endofunctor on the category of sets and relations preserve conversion?
- View more network posts →