Commit 2022-10-08 03:03 51cbe888
View on Github →feat(order/category/HeytAlg): The category of Heyting algebras (#16250)
Define HeytAlg
, the category of Heyting algebras with Heyting morphisms.
feat(order/category/HeytAlg): The category of Heyting algebras (#16250)
Define HeytAlg
, the category of Heyting algebras with Heyting morphisms.