潜在纤射：偏映射范畴的纤射
范畴论
2020-10-30 v1
摘要
潜在纤射（latent fibrations）是通常纤射概念的一种适应性改造，适用于偏映射范畴（由限制范畴所表述）。本文开启了潜在纤射基本理论的构建，并探讨了若干关键例子。潜在纤射涵盖了多种多样的例子，其中一些是标准纤射的偏版本，另一些则特属于偏映射范畴（尤其是那些在计算环境中出现的范畴）。本文辨识了具有各种特殊性质的潜在纤射：特别地，超连通潜在纤射被证明支持纤射对偶的构造；这一点对于反向微分编程以及更一般地透镜理论而言十分重要。
引用
@article{arxiv.2010.15182,
title = {Latent Fibrations: Fibrations for Categories of Partial Maps},
author = {Robin Cockett and Geoff Cruttwell and Jonathan Gallagher and Dorette Pronk},
journal= {arXiv preprint arXiv:2010.15182},
year = {2020}
}
备注
65 pages, submitted to "Theory and Applications of Categories"