Subcategories defined by implications banaschewski_herrlich_1976Houston Journal of Mathematics · 1976