scientific article
From MaRDI portal
Publication:3754790
zbMath0618.18001MaRDI QIDQ3754790
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
latticeBoolean algebraHeyting algebraGalois connectionshyperdoctrinesdoctrinescategories of posetsregular monoidal categories
Categorical logic, topoi (03G30) Topoi (18B25) Preorders, orders, domains and lattices (viewed as categories) (18B35) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Functor categories, comma categories (18A25)
Related Items (1)
This page was built for publication:
