Compactness as a type of injectivity

Banaschewski, 1970, Injectivity and essential extensions in equational classes of algebras, 131 Feferman, 1964, Some applications of the notions of forcing and generic set, Fund. Math., 56, 325, 10.4064/fm-56-3-325-345 Fröhlich, 1964, Das Halbordnungssystem der topologischen Räume auf einer Menge, Math. Ann., 156, 79, 10.1007/BF01359926 Halpern, 1971, The Boolean prime ideal theorem does not imply the axiom of choice, Vol. XIII, 83 Kelley, 1960, The Tychonoff Product Theorem implies the axiom of choice, Fund. Math., 37, 75, 10.4064/fm-37-1-75-76 Łos, 1955, Effectiveness of the representation theory for Boolean algebras, Fund. Math., 41, 49, 10.4064/fm-41-1-49-56 Maranda, 1964, Injective structures, Trans. Am. Math. Soc., 110, 98, 10.1090/S0002-9947-1964-0163937-X