Can I read Logical Structure on Inverse Functor Categories on EtoBox?

Logical Structure on Inverse Functor Categories by Fiore, Marcelo; Kapulkin, Chris; Li, Yufeng is a scholarly article available to read on EtoBox.

What is Logical Structure on Inverse Functor Categories about?

Inspired by recent work on the categorical semantics of dependent type theories, we investigate the following question: When is logical structure (crucially, dependent-product and subobject-classifier structure) induced from a category to categories of diagrams in it? Our work offers several answers, providing a variety of conditions on both the category itself and the indexing category of diagrams. Additionally, motivated by homotopical considerations, we investigate the case when the indexing category is equipped with a class of weak equivalences and study conditions under which the localization map induces a structure-preserving functor between presheaf categories.

Author

Fiore, Marcelo; Kapulkin, Chris; Li, Yufeng

Published

2024

Language

EN