arXiv Open Access 2023

Some Properties of Internal Locale Morphisms Externalised

Joshua Wrigley
Lihat Sumber

Abstrak

We study morphisms of internal locales of Grothendieck toposes externally: treating internal locales and their morphisms as sheaves and natural transformations. We characterise those morphisms of internal locales that induce surjective geometric morphisms and geometric embeddings, demonstrating that both can be computed `pointwise'. We also show that the co-frame operations on the co-frame of internal sublocales can also be computed `pointwise' too.

Topik & Kata Kunci

Penulis (1)

J

Joshua Wrigley

Format Sitasi

Wrigley, J. (2023). Some Properties of Internal Locale Morphisms Externalised. https://arxiv.org/abs/2301.00961

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2023
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓