关于 Tripos 到 Topos 构造的注记：外延性、概括、商与 Cauchy 完备对象
范畴论
2014-02-25 v2 逻辑
摘要
我们通过四种自由构造描述了 Tripos 到 Topos 的构造。我们证明了这些构造组合起来，构成了从 tripos 范畴与逻辑态射到 topos 范畴与逻辑函子的一个自由构造。随后，我们展示了其他类似的构造，即 Frey 在\cite{frey}中给出的构造以及 Carboni 在\cite{carbons}中的构造，均为该构造的实例。
引用
@article{arxiv.1401.7867,
title = {Remarks on the Tripos To Topos Construction: extensionality, comprehensions, quotients and cauchy-complete objects},
author = {Fabio Pasquali},
journal= {arXiv preprint arXiv:1401.7867},
year = {2014}
}