Cartesian inclusion: locales and topgses∗
From MaRDI portal
Publication:3961633
DOI10.1080/00927878108822672zbMath0497.18009OpenAlexW2006118832MaRDI QIDQ3961633
Publication date: 1981
Published in: Communications in Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00927878108822672
localestoposinclusion mapsbicategoriescartesian objectscomplete-Heyting-algebra objectsgeneralized topological space objects
Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items
Unnamed Item, Unnamed Item, Exponentiable morphisms, partial products and pullback complements, General function spaces, products and continuous lattices, Glueing spaces without identifying points, Unnamed Item, Unnamed Item, Continuous categories and exponentiable toposes, Unnamed Item, The glueing construction and double categories, Artin glueings of frames as semidirect products, Unnamed Item, Unnamed Item
Cites Work