On a fibrational construction for optics, lenses, and Dialectica categories
Rattachement africain : us, gb. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
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. Comment: v3: 18 pp. Project results from the American Mathematical Society's Math Research Community on Applied Category Theory 2022. v4: Final version for proceedings of MFPS 2024. Updated author affiliation. v5: Corrected author typo, added MPIM report no and DOI
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- On a fibrational construction for optics, lenses, and Dialectica categories
- Date Crossref
- 11/12/2024
- Éditeur
- Centre pour la Communication Scientifique Directe (CCSD)
- Type
- journal-article
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude, et il ne compte pas comme une seconde source scientifique indépendante.
Où se fait cette recherche
-
Florida State University Department of Mathematics pays non établi dans la noticeUniversité ou école supérieure
-
Oak Ridge National Laboratory Quantum Computational Science Group pays non établi dans la noticeStructure de recherche
-
University of Strathclyde Mathematically Structured Programming pays non établi dans la noticeUniversité ou école supérieure
-
Chapman University pays non établi dans la noticeUniversité ou école supérieure
-
Quantum Science Center pays non établi dans la noticeStructure de recherche
-
Fowler School of Engineering & Center of Excellence in Computation pays non établi dans la noticeUniversité ou école supérieure
Department of Mathematics — Florida State University, Quantum Computational Science Group — Oak Ridge National Laboratory et Mathematically Structured Programming — University of Strathclyde, avec 3 autres affiliations.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.