Triposes as a Generalization of Localic Geometric Morphisms

Autor:	Jonas Frey, Thomas Streicher
Rok vydání:	2020
Předmět:	Pure mathematics Mathematics (miscellaneous) Morphism Mathematics::Algebraic Geometry Generalization Mathematics::Category Theory FOS: Mathematics Mathematics - Category Theory Category Theory (math.CT) Computer Science Applications Mathematics
DOI:	10.48550/arxiv.2005.06019
Popis:	We discuss how triposes may be understood as generalizations of localic geometric morphisms. Comment: We have added a remark on the correct notion of morphism between regular triposes and why they are closed under composition
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf8ca38eb788d851e049774729f8fd5e Zobrazit plný text záznamu