HeytAlg): The category of Heyting algebras (#16250)

Commit

3 years ago

feat(order/category/HeytAlg): The category of Heyting algebras (#16250) Define `HeytAlg`, the category of Heyting algebras with Heyting morphisms.

Author

YaelDillies

Parents