拓扑斯
范畴论概念
拓扑斯是范畴论中的概念。
简介
拓扑斯的命名来源于拓扑，因为拓扑结构本质上被其集层的拓扑斯所描述。
定义
拓扑斯为满足下列条件的范畴E：
(1)E的所有有限投射极限存在；
(2)E有子对象分类子；
(3)E为笛卡儿闭范畴。
性质
拓扑斯的所有有限归纳极限存在。
例子
集范畴Set是拓扑斯。
预层范畴是拓扑斯。
参考资料
最新修订时间：2024-05-21 13:11
条目作者
小编
目录
概述
简介
定义
性质
例子
参考资料

Copyright©2024 闽ICP备2024072939号-1