AN ELEMENTARY CHARACTERIZATION OF STABLY PRECOHESIVE GEOMETRIC MORPHISMS AS PARTICULAR PRECOHESIVE GEOMETRIC MORPHISMS

被引：0

作者：

Streicher, Thomas

机构：

来源：

THEORY AND APPLICATIONS OF CATEGORIES | 2025年 / 43卷

关键词：

toposes; geometric morphisms; locally connected; hyperconnected; local;

D O I：

暂无

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We consider various characterizations of stably precohesive geometric morphisms which are elementary in the sense that they avoid reference to concepts of relative category theory.

引用

页数：17

共 18 条

[1] MORPHISMS OF GEOMETRIC STRUCTURES
GRUSHKO, PY
MATHEMATICAL NOTES, 1977, 22 (5-6) : 844 - 849
[2] A Representation Theorem for Geometric Morphisms
Townsend, Christopher F.
APPLIED CATEGORICAL STRUCTURES, 2010, 18 (06) : 573 - 583
[3] GEOMETRIC MORPHISMS OF REALIZABILITY TOPOSES
Johnstone, Peter
THEORY AND APPLICATIONS OF CATEGORIES, 2013, 28 : 241 - 249
[4] A Representation Theorem for Geometric Morphisms
Christopher F. Townsend
Applied Categorical Structures, 2010, 18 : 573 - 583
[5] Specifications as spans of geometric morphisms
Plewe, T
ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING, 1996, : 97 - 108
[6] Triposes as a generalization of localic geometric morphisms
Frey, Jonas
Streicher, Thomas
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2021, 31 (09) : 1024 - 1033
[7] MORE ON GEOMETRIC MORPHISMS BETWEEN REALIZABILITY TOPOSES
Faber, Eric
van Oosten, Jaap
THEORY AND APPLICATIONS OF CATEGORIES, 2014, 29 : 874 - 895
[8] Principal bundles as Frobenius adjunctions with application to geometric morphisms
Townsend, Christopher
MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 2015, 159 (03) : 433 - 444
[9] Representing Geometric Morphisms Using Power Locale Monads
Christopher F. Townsend
Applied Categorical Structures, 2013, 21 : 15 - 47
[10] Representing Geometric Morphisms Using Power Locale Monads
Townsend, Christopher F.
APPLIED CATEGORICAL STRUCTURES, 2013, 21 (01) : 15 - 47

← 1 2 →