Injectivity in the quasi-topo of separated presheaves on a complete Heyting algebra
Coulon, Josette; Coulon, Jean-Louis
Portugaliae mathematica (1990)
- Volume: 47, Issue: 3, page 227-241
- ISSN: 0032-5155
Coulon, Josette; Coulon, Jean-Louis
Portugaliae mathematica (1990)