Oh right, "Lattice" is the word I was looking for. It's been too long. Would tha... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

marquis-chacha on April 20, 2019 | parent | context | favorite | on: Applied Category Theory

Oh right, "Lattice" is the word I was looking for. It's been too long. Would that be considered a subset of category theory, a precursor to it, or another field that it somewhat "unifies"?

smadge on April 20, 2019 [–]

Lattice theory is it’s own field that exists outside of and before category theory. All lattices form a category, though, but not vice versa.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact