Injectivity in the Topos of Complete Heyting Algebra Valued Sets
From MaRDI portal
Publication:3328712
DOI10.4153/CJM-1984-034-4zbMath0541.18003WikidataQ123359823 ScholiaQ123359823MaRDI QIDQ3328712
Publication date: 1984
Published in: Canadian Journal of Mathematics (Search for Journal in Brave)
topostopos of sheavesinjective hullscomplete Heyting algebraamplenessdefinitenessdescription of injectives
Categorical logic, topoi (03G30) Heyting algebras (lattice-theoretic aspects) (06D20) Topoi (18B25) Projectives and injectives (category-theoretic aspects) (18G05) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items
Unnamed Item, On a generalization of equilogical spaces, Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches, (Fuzzy) fixed point property in L-underdeterminate sets, Unnamed Item, Is the category JTF a topos?, Categorical studies of fuzzy sets, Diagonals between \(\mathcal{Q}\)-distributors, Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem, Quantale-valued dissimilarity, Unnamed Item, A survey of fuzzy set and topos theory, Groupoid sheaves as quantale sheaves, Connectedness and local connectedness in fuzzy topological spaces and Heyting-algebra-valued sets, Foundations of fuzzy sets, A cardinality theory for vaguely defined objects -- Problems of inequalities and applications, Generalized cardinal numbers and operations on them, About some categories of \(\Omega\)-valued sets
