期刊
LOGICA UNIVERSALIS
卷 -, 期 -, 页码 -出版社
SPRINGER BASEL AG
DOI: 10.1007/s11787-023-00343-x
关键词
Topos; Finite colimits; Internal language; Type theory; Logic
类别
This article describes how finite colimits can be described using the internal language of a topos, provided the topos allows countably infinite colimits. The article points out the differences between set theory and the internal language, and provides solutions to these differences.
We describe how finite colimits can be described using the internal lanuage, also known as the Mitchell-Benabou language, of a topos, provided the topos admits countably infinite colimits. This description is based on the set theoretic definitions of colimits and coequalisers, however the translation is not direct due to the differences between set theory and the internal language, these differences are described as internal versus external. Solutions to the hurdles which thus arise are given.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据