Hacker News new | ask | show | jobs
by danharaj 2184 days ago
The rabbit hole goes deep here. Formal concept analysis is essentially the study of certain galois connections on lattices derived from relations on sets. You can generalize relations to profunctors on categories and galois connections to adjunctions.

https://link.springer.com/chapter/10.1007%2F978-3-642-29892-...

https://golem.ph.utexas.edu/category/2013/08/the_nucleus_of_...

Tai-Danae Bradley works with these ideas applied to probability distributions on a product space. The same formal ideas developed in this linear algebraic context lead to a very rich theory.

https://johncarlosbaez.wordpress.com/2020/05/07/formal-conce...