Hacker News Reader

Ugh, I'm cringing a little that they consider adjunctions 'advanced mathematics'. Adjunctions are ubiquitous even in elementary math. For example, in linear algebra whenever one writes down a matrix to represent a operator in some basis, this is using the tensor-hom adjunctions for modules.

Just out of curiosity, do you actually use adjunctions? If so I would be really happy to know more about it.

It was very intentional.