The Family Approach to Total Cocompleteness and Toposes

From MaRDI portal
Publication:4750833