{"id":"https://openalex.org/W4405286732","doi":"https://doi.org/10.46298/entics.14638","title":"On a fibrational construction for optics, lenses, and Dialectica categories","display_name":"On a fibrational construction for optics, lenses, and Dialectica categories","publication_year":2024,"publication_date":"2024-12-11","ids":{"openalex":"https://openalex.org/W4405286732","doi":"https://doi.org/10.46298/entics.14638"},"language":"en","primary_location":{"id":"doi:10.46298/entics.14638","is_oa":true,"landing_page_url":"https://doi.org/10.46298/entics.14638","pdf_url":"https://entics.episciences.org/14638/pdf","source":{"id":"https://openalex.org/S4387287474","display_name":"Electronic Notes in Theoretical Informatics and Computer Science","issn_l":"2969-2431","issn":["2969-2431"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Informatics and Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://entics.episciences.org/14638/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017661221","display_name":"Matteo Capucci","orcid":null},"institutions":[{"id":"https://openalex.org/I103163165","display_name":"Florida State University","ror":"https://ror.org/05g3dte14","country_code":"US","type":"education","lineage":["https://openalex.org/I103163165"]},{"id":"https://openalex.org/I1289243028","display_name":"Oak Ridge National Laboratory","ror":"https://ror.org/01qz5mb56","country_code":"US","type":"facility","lineage":["https://openalex.org/I1289243028","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I4210159294"]},{"id":"https://openalex.org/I181647926","display_name":"University of Strathclyde","ror":"https://ror.org/00n3w3b69","country_code":"GB","type":"education","lineage":["https://openalex.org/I181647926"]},{"id":"https://openalex.org/I185071736","display_name":"Chapman University","ror":"https://ror.org/0452jzg20","country_code":"US","type":"education","lineage":["https://openalex.org/I185071736"]},{"id":"https://openalex.org/I4210151696","display_name":"Quantum Science Center","ror":"https://ror.org/04q95ej23","country_code":"US","type":"facility","lineage":["https://openalex.org/I4210151696"]}],"countries":["GB","US"],"is_corresponding":true,"raw_author_name":"Matteo Capucci","raw_affiliation_strings":["Mathematically Structured Programming, University of Strathclyde, Glasgow, UK","Department of Mathematics, Florida State University, Tallahassee, FL, USA","Fowler School of Engineering & Center of Excellence in Computation, Algebra, and Topology (CECAT), Chapman University, Orange, CA, USA","Quantum Computational Science Group, Oak Ridge National Laboratory, Oak Ridge, TN, USA"],"affiliations":[{"raw_affiliation_string":"Mathematically Structured Programming, University of Strathclyde, Glasgow, UK","institution_ids":["https://openalex.org/I181647926"]},{"raw_affiliation_string":"Department of Mathematics, Florida State University, Tallahassee, FL, USA","institution_ids":["https://openalex.org/I103163165"]},{"raw_affiliation_string":"Fowler School of Engineering & Center of Excellence in Computation, Algebra, and Topology (CECAT), Chapman University, Orange, CA, USA","institution_ids":["https://openalex.org/I185071736"]},{"raw_affiliation_string":"Quantum Computational Science Group, Oak Ridge National Laboratory, Oak Ridge, TN, USA","institution_ids":["https://openalex.org/I4210151696","https://openalex.org/I1289243028"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041889305","display_name":"Bruno Gavranovi\u0107","orcid":"https://orcid.org/0000-0002-6069-5727"},"institutions":[{"id":"https://openalex.org/I103163165","display_name":"Florida State University","ror":"https://ror.org/05g3dte14","country_code":"US","type":"education","lineage":["https://openalex.org/I103163165"]},{"id":"https://openalex.org/I1289243028","display_name":"Oak Ridge National Laboratory","ror":"https://ror.org/01qz5mb56","country_code":"US","type":"facility","lineage":["https://openalex.org/I1289243028","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I4210159294"]},{"id":"https://openalex.org/I181647926","display_name":"University of Strathclyde","ror":"https://ror.org/00n3w3b69","country_code":"GB","type":"education","lineage":["https://openalex.org/I181647926"]},{"id":"https://openalex.org/I185071736","display_name":"Chapman University","ror":"https://ror.org/0452jzg20","country_code":"US","type":"education","lineage":["https://openalex.org/I185071736"]},{"id":"https://openalex.org/I4210151696","display_name":"Quantum Science Center","ror":"https://ror.org/04q95ej23","country_code":"US","type":"facility","lineage":["https://openalex.org/I4210151696"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Bruno Gavranovi\u0107","raw_affiliation_strings":["Fowler School of Engineering & Center of Excellence in Computation, Algebra, and Topology (CECAT), Chapman University, Orange, CA, USA","Mathematically Structured Programming, University of Strathclyde, Glasgow, UK","Department of Mathematics, Florida State University, Tallahassee, FL, USA","Quantum Computational Science Group, Oak Ridge National Laboratory, Oak Ridge, TN, USA"],"affiliations":[{"raw_affiliation_string":"Fowler School of Engineering & Center of Excellence in Computation, Algebra, and Topology (CECAT), Chapman University, Orange, CA, USA","institution_ids":["https://openalex.org/I185071736"]},{"raw_affiliation_string":"Mathematically Structured Programming, University of Strathclyde, Glasgow, UK","institution_ids":["https://openalex.org/I181647926"]},{"raw_affiliation_string":"Department of Mathematics, Florida State University, Tallahassee, FL, USA","institution_ids":["https://openalex.org/I103163165"]},{"raw_affiliation_string":"Quantum Computational Science Group, Oak Ridge National Laboratory, Oak Ridge, TN, USA","institution_ids":["https://openalex.org/I4210151696","https://openalex.org/I1289243028"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110968153","display_name":"Abdullah Malik","orcid":null},"institutions":[{"id":"https://openalex.org/I103163165","display_name":"Florida State University","ror":"https://ror.org/05g3dte14","country_code":"US","type":"education","lineage":["https://openalex.org/I103163165"]},{"id":"https://openalex.org/I1289243028","display_name":"Oak Ridge National Laboratory","ror":"https://ror.org/01qz5mb56","country_code":"US","type":"facility","lineage":["https://openalex.org/I1289243028","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I4210159294"]},{"id":"https://openalex.org/I181647926","display_name":"University of Strathclyde","ror":"https://ror.org/00n3w3b69","country_code":"GB","type":"education","lineage":["https://openalex.org/I181647926"]},{"id":"https://openalex.org/I185071736","display_name":"Chapman University","ror":"https://ror.org/0452jzg20","country_code":"US","type":"education","lineage":["https://openalex.org/I185071736"]},{"id":"https://openalex.org/I4210151696","display_name":"Quantum Science Center","ror":"https://ror.org/04q95ej23","country_code":"US","type":"facility","lineage":["https://openalex.org/I4210151696"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Abdullah Malik","raw_affiliation_strings":["Department of Mathematics, Florida State University, Tallahassee, FL, USA","Fowler School of Engineering & Center of Excellence in Computation, Algebra, and Topology (CECAT), Chapman University, Orange, CA, USA","Quantum Computational Science Group, Oak Ridge National Laboratory, Oak Ridge, TN, USA","Mathematically Structured Programming, University of Strathclyde, Glasgow, UK"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Florida State University, Tallahassee, FL, USA","institution_ids":["https://openalex.org/I103163165"]},{"raw_affiliation_string":"Fowler School of Engineering & Center of Excellence in Computation, Algebra, and Topology (CECAT), Chapman University, Orange, CA, USA","institution_ids":["https://openalex.org/I185071736"]},{"raw_affiliation_string":"Quantum Computational Science Group, Oak Ridge National Laboratory, Oak Ridge, TN, USA","institution_ids":["https://openalex.org/I4210151696","https://openalex.org/I1289243028"]},{"raw_affiliation_string":"Mathematically Structured Programming, University of Strathclyde, Glasgow, UK","institution_ids":["https://openalex.org/I181647926"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112180436","display_name":"Francisco Rios","orcid":null},"institutions":[{"id":"https://openalex.org/I103163165","display_name":"Florida State University","ror":"https://ror.org/05g3dte14","country_code":"US","type":"education","lineage":["https://openalex.org/I103163165"]},{"id":"https://openalex.org/I1289243028","display_name":"Oak Ridge National Laboratory","ror":"https://ror.org/01qz5mb56","country_code":"US","type":"facility","lineage":["https://openalex.org/I1289243028","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I4210159294"]},{"id":"https://openalex.org/I181647926","display_name":"University of Strathclyde","ror":"https://ror.org/00n3w3b69","country_code":"GB","type":"education","lineage":["https://openalex.org/I181647926"]},{"id":"https://openalex.org/I185071736","display_name":"Chapman University","ror":"https://ror.org/0452jzg20","country_code":"US","type":"education","lineage":["https://openalex.org/I185071736"]},{"id":"https://openalex.org/I4210151696","display_name":"Quantum Science Center","ror":"https://ror.org/04q95ej23","country_code":"US","type":"facility","lineage":["https://openalex.org/I4210151696"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Francisco Rios","raw_affiliation_strings":["Quantum Computational Science Group, Oak Ridge National Laboratory, Oak Ridge, TN, USA","Mathematically Structured Programming, University of Strathclyde, Glasgow, UK","Department of Mathematics, Florida State University, Tallahassee, FL, USA","Fowler School of Engineering & Center of Excellence in Computation, Algebra, and Topology (CECAT), Chapman University, Orange, CA, USA"],"affiliations":[{"raw_affiliation_string":"Quantum Computational Science Group, Oak Ridge National Laboratory, Oak Ridge, TN, USA","institution_ids":["https://openalex.org/I4210151696","https://openalex.org/I1289243028"]},{"raw_affiliation_string":"Mathematically Structured Programming, University of Strathclyde, Glasgow, UK","institution_ids":["https://openalex.org/I181647926"]},{"raw_affiliation_string":"Department of Mathematics, Florida State University, Tallahassee, FL, USA","institution_ids":["https://openalex.org/I103163165"]},{"raw_affiliation_string":"Fowler School of Engineering & Center of Excellence in Computation, Algebra, and Topology (CECAT), Chapman University, Orange, CA, USA","institution_ids":["https://openalex.org/I185071736"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007834352","display_name":"Jonathan Weinberger","orcid":null},"institutions":[{"id":"https://openalex.org/I103163165","display_name":"Florida State University","ror":"https://ror.org/05g3dte14","country_code":"US","type":"education","lineage":["https://openalex.org/I103163165"]},{"id":"https://openalex.org/I1289243028","display_name":"Oak Ridge National Laboratory","ror":"https://ror.org/01qz5mb56","country_code":"US","type":"facility","lineage":["https://openalex.org/I1289243028","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I4210159294"]},{"id":"https://openalex.org/I181647926","display_name":"University of Strathclyde","ror":"https://ror.org/00n3w3b69","country_code":"GB","type":"education","lineage":["https://openalex.org/I181647926"]},{"id":"https://openalex.org/I185071736","display_name":"Chapman University","ror":"https://ror.org/0452jzg20","country_code":"US","type":"education","lineage":["https://openalex.org/I185071736"]},{"id":"https://openalex.org/I4210151696","display_name":"Quantum Science Center","ror":"https://ror.org/04q95ej23","country_code":"US","type":"facility","lineage":["https://openalex.org/I4210151696"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Jonathan Weinberger","raw_affiliation_strings":["Fowler School of Engineering & Center of Excellence in Computation, Algebra, and Topology (CECAT), Chapman University, Orange, CA, USA","Department of Mathematics, Florida State University, Tallahassee, FL, USA","Mathematically Structured Programming, University of Strathclyde, Glasgow, UK","Quantum Computational Science Group, Oak Ridge National Laboratory, Oak Ridge, TN, USA"],"affiliations":[{"raw_affiliation_string":"Fowler School of Engineering & Center of Excellence in Computation, Algebra, and Topology (CECAT), Chapman University, Orange, CA, USA","institution_ids":["https://openalex.org/I185071736"]},{"raw_affiliation_string":"Department of Mathematics, Florida State University, Tallahassee, FL, USA","institution_ids":["https://openalex.org/I103163165"]},{"raw_affiliation_string":"Mathematically Structured Programming, University of Strathclyde, Glasgow, UK","institution_ids":["https://openalex.org/I181647926"]},{"raw_affiliation_string":"Quantum Computational Science Group, Oak Ridge National Laboratory, Oak Ridge, TN, USA","institution_ids":["https://openalex.org/I4210151696","https://openalex.org/I1289243028"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5017661221"],"corresponding_institution_ids":["https://openalex.org/I103163165","https://openalex.org/I1289243028","https://openalex.org/I181647926","https://openalex.org/I185071736","https://openalex.org/I4210151696"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.37018018,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 4 - Proceedings of...","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9764000177383423,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9764000177383423,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11703","display_name":"Rings, Modules, and Algebras","score":0.9718000292778015,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9212999939918518,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.6138368844985962},{"id":"https://openalex.org/keywords/tower","display_name":"Tower","score":0.5983800292015076},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4890221059322357},{"id":"https://openalex.org/keywords/fibration","display_name":"Fibration","score":0.475301593542099},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3451964557170868},{"id":"https://openalex.org/keywords/theoretical-physics","display_name":"Theoretical physics","score":0.32120755314826965},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.25778770446777344},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14927738904953003}],"concepts":[{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.6138368844985962},{"id":"https://openalex.org/C2777831296","wikidata":"https://www.wikidata.org/wiki/Q12518","display_name":"Tower","level":2,"score":0.5983800292015076},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4890221059322357},{"id":"https://openalex.org/C54486226","wikidata":"https://www.wikidata.org/wiki/Q493941","display_name":"Fibration","level":3,"score":0.475301593542099},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3451964557170868},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.32120755314826965},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.25778770446777344},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14927738904953003},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.0},{"id":"https://openalex.org/C147176958","wikidata":"https://www.wikidata.org/wiki/Q77590","display_name":"Civil engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.46298/entics.14638","is_oa":true,"landing_page_url":"https://doi.org/10.46298/entics.14638","pdf_url":"https://entics.episciences.org/14638/pdf","source":{"id":"https://openalex.org/S4387287474","display_name":"Electronic Notes in Theoretical Informatics and Computer Science","issn_l":"2969-2431","issn":["2969-2431"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Informatics and Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.46298/entics.14638","is_oa":true,"landing_page_url":"https://doi.org/10.46298/entics.14638","pdf_url":"https://entics.episciences.org/14638/pdf","source":{"id":"https://openalex.org/S4387287474","display_name":"Electronic Notes in Theoretical Informatics and Computer Science","issn_l":"2969-2431","issn":["2969-2431"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Informatics and Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.699999988079071,"display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G1243439379","display_name":null,"funder_award_id":"1641020","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2916627489","display_name":null,"funder_award_id":"W911NF-20-1-0082","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G3218742755","display_name":null,"funder_award_id":"DMS 1916439","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5367701446","display_name":null,"funder_award_id":"W911NF-20-1-0082","funder_id":"https://openalex.org/F4320333591","funder_display_name":"Multidisciplinary University Research Initiative"},{"id":"https://openalex.org/G558891856","display_name":null,"funder_award_id":"1916439","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G616689113","display_name":null,"funder_award_id":"W911NF-20-1-0082","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7452299184","display_name":null,"funder_award_id":"W911NF","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G7727778866","display_name":null,"funder_award_id":"DMS 1641020","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8998121839","display_name":null,"funder_award_id":"911NF","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320310145","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95"},{"id":"https://openalex.org/F4320333591","display_name":"Multidisciplinary University Research Initiative","ror":null},{"id":"https://openalex.org/F4320334626","display_name":"Medical Research Council","ror":"https://ror.org/03x94j517"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4405286732.pdf","grobid_xml":"https://content.openalex.org/works/W4405286732.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W956923639","https://openalex.org/W1964572513","https://openalex.org/W1998040359","https://openalex.org/W2000616678","https://openalex.org/W2022837260","https://openalex.org/W2970135757","https://openalex.org/W2990129438","https://openalex.org/W3001712757","https://openalex.org/W3160160563","https://openalex.org/W4224861246","https://openalex.org/W4226181466","https://openalex.org/W4297618282","https://openalex.org/W4298395705","https://openalex.org/W4303038770","https://openalex.org/W4385342938","https://openalex.org/W4385349650","https://openalex.org/W4389363163"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2059741426","https://openalex.org/W1546401445","https://openalex.org/W2963535804","https://openalex.org/W3208219096","https://openalex.org/W2105326178","https://openalex.org/W4319915928","https://openalex.org/W2144842424","https://openalex.org/W1579033279","https://openalex.org/W4321148397"],"abstract_inverted_index":{"Categories":[0],"of":[1,9,12,30,38,44,52,58,64,96],"lenses/optics":[2],"and":[3,41,110],"Dialectica":[4,39],"categories":[5],"are":[6],"both":[7],"comprised":[8],"bidirectional":[10],"morphisms":[11],"basically":[13],"the":[14,65,68,79],"same":[15],"form.":[16],"In":[17],"this":[18],"work":[19],"we":[20],"show":[21],"how":[22],"they":[23],"can":[24],"be":[25],"considered":[26],"a":[27,50],"special":[28],"case":[29],"an":[31],"overarching":[32],"fibrational":[33],"construction,":[34],"generalizing":[35],"Hofstra's":[36],"construction":[37,43,48],"fibrations":[40,54,59],"Spivak's":[42],"generalized":[45],"lenses.":[46],"This":[47],"turns":[49],"tower":[51,57],"Grothendieck":[53],"into":[55],"another":[56],"by":[60],"iteratively":[61],"twisting":[62],"each":[63],"components,":[66],"using":[67],"opposite":[69],"fibration":[70],"construction.":[71],"Comment:":[72],"v3:":[73],"18":[74],"pp.":[75],"Project":[76],"results":[77],"from":[78],"American":[80],"Mathematical":[81],"Society's":[82],"Math":[83],"Research":[84],"Community":[85],"on":[86],"Applied":[87],"Category":[88],"Theory":[89],"2022.":[90],"v4:":[91],"Final":[92],"version":[93],"for":[94],"proceedings":[95],"MFPS":[97],"2024.":[98],"Updated":[99],"author":[100,104],"affiliation.":[101],"v5:":[102],"Corrected":[103],"typo,":[105],"added":[106],"MPIM":[107],"report":[108],"no":[109],"DOI":[111]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}