Hacker News new | ask | show | jobs
by VirusNewbie 1326 days ago
Wouldn’t adjointness be distinctly not “symmetry”, given it relies on a forgetful functor?
1 comments

The beauty is that under certain circumstances you can infer the lost things lost due to the forgetfulness of the forgetful function.