Lattice): The category of lattices (#11968)

Commit

3 years ago

feat(order/category/Lattice): The category of lattices (#11968) Define `Lattice`, the category of lattices with lattice homs.

Author

YaelDillies

Parents