Matteo Capucci ; Bruno Gavranović ; Abdullah Malik ; Francisco Rios ; Jonathan Weinberger
-
On a fibrational construction for optics, lenses, and Dialectica
categories
entics:14638 -
Electronic Notes in Theoretical Informatics and Computer Science,
December 11, 2024,
Volume 4 - Proceedings of MFPS XL
-
https://doi.org/10.46298/entics.14638
On a fibrational construction for optics, lenses, and Dialectica
categoriesArticle
Authors: Matteo Capucci ; Bruno Gavranović ; Abdullah Malik ; Francisco Rios ; Jonathan Weinberger
Categories of lenses/optics and Dialectica categories are both comprised of
bidirectional morphisms of basically the same form. In this work we show how
they can be considered a special case of an overarching fibrational
construction, generalizing Hofstra's construction of Dialectica fibrations and
Spivak's construction of generalized lenses. This construction turns a tower of
Grothendieck fibrations into another tower of fibrations by iteratively
twisting each of the components, using the opposite fibration construction.