scientific article
zbMath0529.18003MaRDI QIDQ3310798
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
productlocaleinternal injectivitypullbackGrothendieck toposnatural number objectbounded morphismexistence of enough injective Abelian groupslocal injectivityAbelian groups in elementary toposdualism of topos theorygroup-valued sheafinjective effacementinternal coproductleft G-modulessheaves of Abelian groupstopos of set-valued sheaves
Categorical logic, topoi (03G30) Topoi (18B25) Projectives and injectives (category-theoretic aspects) (18G05) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Homological and categorical methods for abelian groups (20K40) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Axiom of choice and related propositions (03E25) Foundations, relations to logic and deductive systems (18A15)
This page was built for publication:
