تقرير
A categorical formulation of Kraus' paradox
| العنوان: | A categorical formulation of Kraus' paradox |
|---|---|
| المؤلفون: | Swan, Andrew W. |
| سنة النشر: | 2024 |
| المجموعة: | Computer Science Mathematics |
| مصطلحات موضوعية: | Mathematics - Category Theory, Computer Science - Logic in Computer Science, Mathematics - Logic |
| الوصف: | We give a categorical formulation of Kraus' "magic trick" for recovering information from truncated types. Rather than type theory, we work in Van den Berg-Moerdijk path categories with a univalent universe, and rather than propositional truncation we work with arbitrary cofibrations, which includes truncation as a special case. We show, using Kraus' argument that any cofibration with homogeneous domain is a monomorphism. We give some simple concrete examples in groupoids to illustrate the interaction between homogeneous types, cofibrations and univalent fibrations. |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2403.17961 |
| رقم الأكسشن: | edsarx.2403.17961 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |