arXiv:2609.03472 · v2

Override and Update in Restriction Categories

首次提交 2026-09-03 15:29

版本更新 2026-11-10 16:44

雷达观测 2026-11-11 13:08

摘要

We study the override and update operators on partial functions from the perspective of restriction categories. We propose a definition of override restriction categories, in which both of the operators in question exist. We prove a number of results concerning these operators and their relationship to the structure of the ambient restriction category, as well as relating them to the existing literature on the override and update operators. We provide various examples of override restriction categories and in particular show that every classical restriction category is an override restriction category.

作者备注：To appear in the proceedings of CSL 2027 (LIPIcs, Volume 403)