Hacker News new | ask | show | jobs
by tobbe2064 2902 days ago
Just out of curiosity, do you actually use adjunctions? If so I would be really happy to know more about it.