# Commit 2022-02-15 14:39 77ca1ed3

View on Github →feat(order/category/Lattice): The category of lattices (#11968)
Define `Lattice`

, the category of lattices with lattice homs.

feat(order/category/Lattice): The category of lattices (#11968)
Define `Lattice`

, the category of lattices with lattice homs.