Injective Hulls In a Locally Finite Topos

Dilke, Felix

数学 > 范畴论

arXiv:1802.00960 (math)

[提交于 2018年2月3日 ]

标题：单射核在局部有限到拓扑学中

标题： Injective Hulls In a Locally Finite Topos

Authors:Felix Dilke

摘要：我们证明在局部有限的到拓中，每个对象都有一个内射的本质扩张，并且这个扩张在同构下是唯一的。该构造是受Bewl软件项目工作的启发，Bewl是一个用于进行到拓理论计算的软件项目。

摘要： We show that in a locally finite topos, every object has an essential extension that is injective, and that this extension is unique up to isomorphism. The construction was motivated by work on Bewl, a software project for doing topos-theoretic calculations.

评论：	4页
主题：	范畴论 (math.CT)
MSC 类：	18B25
引用方式：	arXiv:1802.00960 [math.CT]
	(或者 arXiv:1802.00960v1 [math.CT] 对于此版本)
	https://doi.org/10.48550/arXiv.1802.00960

提交历史

来自： Felix Dilke [查看电子邮件]
[v1] 星期六， 2018 年 2 月 3 日 11:43:22 UTC (25 KB)

全文链接：

获取论文：

查看许可

当前浏览上下文:

math.CT

新的 | 最近的 | 2018-02

切换浏览方式为:

math

参考文献与引用

导出 BibTeX 引用

数学 > 范畴论

标题：单射核在局部有限到拓扑学中

标题： Injective Hulls In a Locally Finite Topos

提交历史

获取论文：

参考文献与引用

收藏

文献和引用工具

与本文相关的代码，数据和媒体

演示

推荐器和搜索工具

arXivLabs：与社区合作伙伴的实验项目

数学 > 范畴论

标题： 单射核在局部有限到拓扑学中 显示英文标题

标题： Injective Hulls In a Locally Finite Topos

提交历史

获取论文：

参考文献与引用

BibTeX 格式的引用

收藏

文献和引用工具

与本文相关的代码，数据和媒体

演示

推荐器和搜索工具

arXivLabs：与社区合作伙伴的实验项目

标题：单射核在局部有限到拓扑学中