Publication:4010273
From MaRDI portal
zbMath0761.18005MaRDI QIDQ4010273
Ulrich Höhle, Jean-Louis Coulon
Publication date: 27 September 1992
frame; classifying maps; commutative unital quantale; partial map classifier; extremal subobjects; category of strong \(M\)-valued sets; weak toposes
06D20: Heyting algebras (lattice-theoretic aspects)
18B99: Special categories
06F05: Ordered semigroups and monoids
Related Items
CATEGORICAL AXIOMS OF NEIGHBORHOOD SYSTEMS, About some categories of \(\Omega\)-valued sets, Monoidal closed categories, weak topoi and generalized logics, Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches