@article{Cook2004Universality,
  author  = {Cook, Matthew},
  title   = {Universality in Elementary Cellular Automata},
  journal = {Complex Systems},
  volume  = {15},
  number  = {1},
  pages   = {1--40},
  year    = {2004},
  doi     = {10.25088/complexsystems.15.1.1}
}

@article{EPR1935,
  author  = {A. Einstein and B. Podolsky and N. Rosen},
  title   = {Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?},
  journal = {Physical Review},
  volume  = {47},
  number  = {10},
  pages   = {777--780},
  year    = {1935}
}

@misc{gonzalezprieto2025topologicalkleenefieldtheories,
  author        = {Angel Gonzalez-Prieto and Eva Miranda and Daniel Peralta-Salas},
  title         = {Topological Kleene Field Theories as a model of computation},
  year          = {2025},
  url           = {https://arxiv.org/abs/2503.16100},
  eprint        = {2503.16100},
  archivePrefix = {arXiv},
  primaryClass  = {math.DS}
}

@article{Cardona_2021,
  author    = {Cardona, Robert and Miranda, Eva and Peralta-Salas, Daniel and Presas, Francisco},
  title     = {Constructing Turing complete Euler flows in dimension 3},
  journal   = {Proceedings of the National Academy of Sciences},
  volume    = {118},
  number    = {19},
  pages     = {e2026818118},
  publisher = {Proceedings of the National Academy of Sciences},
  year      = {2021},
  month     = {may},
  doi       = {10.1073/pnas.2026818118},
  issn      = {1091-6490}
}

@article{Coleman1977Nonabelian,
  author  = {S. Coleman},
  title   = {{Nonabelian} plane waves},
  journal = {Physics Letters B},
  volume  = {70},
  number  = {1},
  pages   = {59--60},
  year    = {1977}
}

@article{Witten1988Topological,
  author  = {E. Witten},
  title   = {{Topological Quantum Field Theory}},
  journal = {Communications in Mathematical Physics},
  volume  = {117},
  number  = {3},
  pages   = {353--386},
  year    = {1988}
}

@article{tHooft1979MagneticFlux,
  author  = {'t Hooft, G.},
  title   = {A property of electric and magnetic flux in {nonabelian} gauge theories},
  journal = {Nuclear Physics B},
  volume  = {153},
  pages   = {141--160},
  year    = {1979}
}

@article{YangMills1954,
  author  = {Yang, C. N. and Mills, R. L.},
  title   = {Conservation of Isotopic Spin and Isotopic Gauge Invariance},
  journal = {Physical Review},
  volume  = {96},
  number  = {1},
  pages   = {191--195},
  year    = {1954},
  doi     = {10.1103/PhysRev.96.191}
}

@article{KlinkhamerManton1984Saddle,
  author  = {F. R. Klinkhamer and N. S. Manton},
  title   = {A saddle-point solution in the {Weinberg-Salam} theory},
  journal = {Physical Review D},
  volume  = {30},
  number  = {10},
  pages   = {2212--2220},
  year    = {1984}
}

@article{KraanVanBaal1998Periodic,
  author        = {T. C. Kraan and {van Baal}, P.},
  title         = {Periodic Instantons with {non-trivial Holonomy}},
  journal       = {Nuclear Physics B},
  volume        = {533},
  number        = {1-3},
  pages         = {627--659},
  year          = {1998},
  eprint        = {hep-th/9805168},
  archivePrefix = {arXiv},
  primaryClass  = {hep-th}
}

@book{Morita2017ReversibleComputing,
  author    = {Kenichi Morita},
  title     = {Theory of reversible computing},
  publisher = {Springer},
  year      = {2017},
  doi       = {10.1007/978-4-431-56606-9}
}

@article{BlumEtAl1989Real,
  author  = {Lenore Blum and Mike Shub and Steve Smale},
  title   = {On a Theory of Computation and Complexity Over the Real Numbers: {NP-COMPLETENESS}, Recursive Functions and Universal Machines},
  journal = {Bulletin (New Series) of the American Mathematical Society},
  volume  = {21},
  number  = {1},
  pages   = {},
  year    = {1989},
  month   = {jul}
}

@incollection{JaffeWitten2000YangMillsProblem,
  author    = {Jaffe, Arthur and Witten, Edward},
  title     = {Quantum Yang--Mills Theory},
  booktitle = {The Millennium Prize Problems},
  editor    = {Carlson, James and Jaffe, Arthur and Wiles, Andrew},
  pages     = {129--152},
  publisher = {American Mathematical Society},
  year      = {2006},
  url       = {https://www.claymath.org/wp-content/uploads/2022/06/yangmills.pdf}
}

@book{Kleene1952Metamathematics,
  author    = {Stephen Cole Kleene},
  title     = {Introduction to Metamathematics},
  publisher = {North-Holland},
  address   = {Amsterdam},
  year      = {1952}
}

@article{Tao2018EulerUniversality,
  author  = {Terence Tao},
  title   = {On the universality of the incompressible {Euler} equation on compact manifolds},
  journal = {Discrete and Continuous Dynamical Systems},
  volume  = {38},
  number  = {3},
  pages   = {1553--1565},
  year    = {2018},
  doi     = {10.3934/dcds.2018064}
}

@article{BliokhEtAl2019Topological,
  author  = {Konstantin Y. Bliokh and Daniel Leykam and Max Lein and Franco Nori},
  title   = {{Topological non-Hermitian origin of surface Maxwell waves}},
  journal = {Nature Communications},
  volume  = {10},
  year    = {2019},
  doi     = {10.1038/s41467-019-08397-6},
  eid     = {580}
}

@article{Lurie2008Classification,
  author        = {Jacob Lurie},
  title         = {On the Classification of Topological Field Theories},
  journal       = {Current Developments in Mathematics},
  volume        = {2008},
  pages         = {129--280},
  year          = {2009},
  doi           = {10.4310/CDM.2008.v2008.n1.a3},
  eprint        = {0905.0465},
  archivePrefix = {arXiv},
  primaryClass  = {math.CT}
}

@inbook{Szudzik_2012,
  author    = {Szudzik, Matthew P.},
  title     = {The Computable Universe Hypothesis},
  booktitle = {A Computable Universe},
  pages     = {479--523},
  publisher = {WORLD SCIENTIFIC},
  year      = {2012},
  month     = {oct},
  doi       = {10.1142/9789814374309_0025},
  isbn      = {9789814374309}
}

@article{Donaldson1983GaugeTheory,
  author  = {S. K. Donaldson},
  title   = {{An application of gauge theory to the topology of 4-manifolds}},
  journal = {Journal of Differential Geometry},
  volume  = {18},
  pages   = {279--315},
  year    = {1983}
}

@article{Felleisen1991ExpressivePower,
  author  = {Matthias Felleisen},
  title   = {{On the expressive power of programming languages}},
  journal = {Science of Computer Programming},
  volume  = {17},
  number  = {1-3},
  pages   = {35--75},
  year    = {1991},
  doi     = {10.1016/0167-6423(91)90036-W}
}

@incollection{baez2022gettingnoetherstheorem,
  author    = {Baez, John C.},
  title     = {Getting to the Bottom of Noether's Theorem},
  booktitle = {The Philosophy and Physics of Noether's Theorems},
  editor    = {Read, James and Teh, Nicholas J.},
  pages     = {66--99},
  doi       = {10.1017/9781108665445.005},
  publisher = {Cambridge University Press},
  year      = {2022},
  eprint    = {2006.14741},
  archivePrefix = {arXiv},
  url       = {https://arxiv.org/abs/2006.14741}
}

@article{Atiyah2002Mathematics,
  author  = {M. Atiyah},
  title   = {{Mathematics in the 20th century}},
  journal = {Bulletin of the London Mathematical Society},
  volume  = {34},
  pages   = {1--15},
  year    = {2002}
}

@article{Baez_1995,
  author    = {Baez, John C. and Dolan, James},
  title     = {Higher-dimensional algebra and topological quantum field theory},
  journal   = {Journal of Mathematical Physics},
  volume    = {36},
  number    = {11},
  pages     = {6073--6105},
  publisher = {AIP Publishing},
  year      = {1995},
  month     = {nov},
  doi       = {10.1063/1.531236},
  issn      = {1089-7658}
}

@misc{IntlCentreForTheoreticalPhysics2014Conversation,
  author = {{Int'l Centre for Theoretical Physics}},
  title  = {Conversation: Salam, Sciama, Witten and Budinich},
  year   = {2014},
  month  = {Oct},
  url    = {http://www.youtube.com/watch?v=AmUI2qf9uyo},
  note   = {Accessed: 2025-06-18}
}

@article{Chouaieb2006Helices,
  author  = {Chouaieb, Nadia and Goriely, Alain and Maddocks, John H.},
  title   = {Helices},
  journal = {Proceedings of the National Academy of Sciences},
  volume  = {103},
  number  = {25},
  pages   = {9398--9403},
  year    = {2006},
  doi     = {10.1073/pnas.0508370103},
  url     = {https://www.pnas.org/doi/10.1073/pnas.0508370103}
}

@book{Loria1902Spezielle,
  author    = {Loria, Gino},
  title     = {Spezielle algebraische und transscendente ebene Kurven. Theorie und Geschichte.},
  publisher = {B. G. Teubner},
  address   = {Leipzig},
  year      = {1902}
}

@article{Adachi2009Foliation,
  author  = {Adachi, Toshiaki},
  title   = {Foliation on the Moduli Space of Helices on a Real Space Form},
  journal = {International Mathematical Forum},
  volume  = {4},
  number  = {35},
  pages   = {1699--1707},
  year    = {2009}
}

@misc{fong2015decoratedcospans,
  author        = {Brendan Fong},
  title         = {Decorated Cospans},
  year          = {2015},
  url           = {https://arxiv.org/abs/1502.00872},
  eprint        = {1502.00872},
  archivePrefix = {arXiv},
  primaryClass  = {math.CT}
}

@article{Penner1987Decorated,
  author  = {Penner, R. C.},
  title   = {The decorated {Teichm{\"u}ller} space of punctured surfaces},
  journal = {Communications in Mathematical Physics},
  volume  = {113},
  pages   = {299--339},
  year    = {1987},
  month   = {June},
  doi     = {10.1007/BF01223515}
}

@article{PenroseMacCallum1973Twistor,
  author  = {Penrose, R. and MacCallum, M. A. H.},
  title   = {Twistor theory: An approach to the quantisation of fields and space-time},
  journal = {Physics Reports},
  volume  = {6},
  number  = {4},
  pages   = {241--315},
  year    = {1973},
  doi     = {10.1016/0370-1573(73)90008-2}
}

@book{deBoor1978Splines,
  author    = {de Boor, Carl},
  title     = {A Practical Guide to Splines},
  series    = {Applied Mathematical Sciences},
  volume    = {27},
  edition   = {1},
  publisher = {Springer-Verlag},
  address   = {New York, NY},
  year      = {1978},
  doi       = {10.1007/978-1-4612-6333-3}
}

@article{KastrupCanonicalLagrangian,
  author    = {Kastrup, H. A.},
  title     = {Canonical theories of Lagrangian dynamical systems in physics},
  journal   = {Physics Reports},
  volume    = {101},
  number    = {1-2},
  pages     = {151},
  publisher = {North-Holland},
  year      = {1983}
}

@misc{brusspup2013water,
  author       = {brusspup},
  title        = {Amazing Water and Sound Experiment \#2},
  year         = {2013},
  url          = {http://www.youtube.com/watch?v=uENITui5_jU},
  howpublished = {YouTube},
  note         = {Accessed: 2025-07-01}
}

@article{barandes2023stochasticquantumcorrespondence,
  author        = {Barandes, Jacob A.},
  title         = {The Stochastic-Quantum Correspondence},
  journal       = {Philosophy of Physics},
  volume        = {3},
  number        = {1},
  pages         = {8},
  year          = {2025},
  doi           = {10.31389/pop.186},
  eprint        = {2302.10778},
  archivePrefix = {arXiv},
  primaryClass  = {quant-ph}
}

@misc{woit2022notestwistormathbfp1,
  author        = {Peter Woit},
  title         = {Notes on the Twistor $\mathbf P^1$},
  year          = {2022},
  url           = {https://arxiv.org/abs/2202.02657},
  eprint        = {2202.02657},
  archivePrefix = {arXiv},
  primaryClass  = {math-ph}
}

@article{Thompson2020Protein,
  author  = {Thompson, TB and Chaggar, P and Kuhl, E and Goriely, A and Alzheimer's Disease Neuroimaging Initiative},
  title   = {Protein-protein interactions in neurodegenerative diseases: A conspiracy theory},
  journal = {PLoS Computational Biology},
  volume  = {16},
  number  = {10},
  pages   = {e1008267},
  year    = {2020},
  month   = {Oct},
  day     = {13},
  doi     = {10.1371/journal.pcbi.1008267},
  pmid    = {33048932},
  pmcid   = {PMC7584458}
}

@misc{LurieHA,
  author = {Lurie, Jacob},
  title  = {Higher Algebra},
  year   = {2017},
  note   = {Available at \url{https://www.math.ias.edu/~lurie/papers/HA.pdf}}
}

@article{Floer1988Morse,
  author  = {Floer, Andreas},
  title   = {Morse theory for Lagrangian intersections},
  journal = {Journal of Differential Geometry},
  volume  = {28},
  number  = {3},
  pages   = {513--547},
  year    = {1988},
  doi     = {10.4310/jdg/1214442477}
}

@book{Baez1992Algebraic,
  author    = {Baez, John C. and Segal, Irving E. and Zhou, Zhengfang},
  title     = {Introduction to Algebraic and Constructive Quantum Field Theory},
  publisher = {Princeton University Press},
  address   = {Princeton, NJ},
  year      = {1992}
}

@article{Bousso2002,
  author    = {Bousso, Raphael},
  title     = {The holographic principle},
  journal   = {Rev. Mod. Phys.},
  volume    = {74},
  number    = {3},
  pages     = {825--874},
  publisher = {American Physical Society},
  year      = {2002},
  month     = {Aug},
  doi       = {10.1103/RevModPhys.74.825},
  url       = {https://link.aps.org/doi/10.1103/RevModPhys.74.825},
  numpages  = {0}
}

@article{Jacobson_1995,
  author    = {Jacobson, Ted},
  title     = {Thermodynamics of Spacetime: The Einstein Equation of State},
  journal   = {Physical Review Letters},
  volume    = {75},
  number    = {7},
  pages     = {1260--1263},
  publisher = {American Physical Society (APS)},
  year      = {1995},
  month     = {aug},
  doi       = {10.1103/physrevlett.75.1260},
  issn      = {1079-7114}
}

@article{Manton_2019,
  author    = {Manton, N. S.},
  title     = {The inevitability of sphalerons in field theory},
  journal   = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences},
  volume    = {377},
  number    = {2161},
  pages     = {20180327},
  publisher = {The Royal Society},
  year      = {2019},
  month     = {nov},
  doi       = {10.1098/rsta.2018.0327},
  issn      = {1471-2962}
}

@article{coquand1988calculus,
  author    = {Coquand, Thierry and Huet, G{\'e}rard},
  title     = {The calculus of constructions},
  journal   = {Journal of Symbolic Computation},
  volume    = {6},
  number    = {2},
  pages     = {113--129},
  publisher = {Elsevier},
  year      = {1988}
}

@article{Arkani-Hamed2013,
  author        = {Arkani-Hamed, Nima and Trnka, Jaroslav},
  title         = {The Amplituhedron},
  journal       = {Journal of High Energy Physics},
  volume        = {2014},
  number        = {10},
  pages         = {30},
  year          = {2014},
  doi           = {10.1007/JHEP10(2014)030},
  eprint        = {1312.2007},
  archivePrefix = {arXiv}
}

@article{Bell1964,
  author  = {Bell, John S.},
  title   = {On the {E}instein {P}odolsky {R}osen paradox},
  journal = {Physics Physique Fizika},
  volume  = {1},
  number  = {3},
  pages   = {195--200},
  year    = {1964}
}

@misc{schuller2020constructivegravity,
  author        = {Frederic P. Schuller},
  title         = {Constructive Gravity: Foundations and Applications},
  year          = {2020},
  url           = {https://arxiv.org/abs/2003.09726},
  eprint        = {2003.09726},
  archivePrefix = {arXiv},
  primaryClass  = {gr-qc}
}

@misc{baez2006highergaugetheory,
  author        = {John C. Baez and Urs Schreiber},
  title         = {Higher Gauge Theory},
  year          = {2006},
  url           = {https://arxiv.org/abs/math/0511710},
  eprint        = {math/0511710},
  archivePrefix = {arXiv},
  primaryClass  = {math.DG}
}

@book{FerrandezIzquierdo:2025,
  author    = {Ferr{\'a}ndez Izquierdo, Angel},
  title     = {Helices},
  series    = {RSME Springer Series},
  publisher = {Springer Cham},
  year      = {2025},
  doi       = {10.1007/978-3-032-09663-0},
  isbn      = {978-3-032-09662-3},
  note      = {Edition 1}
}

@article{Pusey:2012,
  author        = {Pusey, Matthew F. and Barrett, Jonathan and Rudolph, Terry},
  title         = {On the reality of the quantum state},
  journal       = {Nature Physics},
  volume        = {8},
  number        = {6},
  pages         = {475--478},
  publisher     = {Nature Publishing Group},
  year          = {2012},
  doi           = {10.1038/nphys2309},
  eprint        = {1111.3328},
  archivePrefix = {arXiv}
}

@book{Adlam2025Constructive,
  author    = {Adlam, Emily and Linnemann, Niels and Read, James},
  title     = {Constructive Axiomatics for Spacetime Physics},
  publisher = {Oxford University Press},
  address   = {Oxford, United Kingdom},
  year      = {2025},
  doi       = {10.1093/9780198922391.001.0001},
  url       = {https://global.oup.com/academic/product/constructive-axiomatics-for-spacetime-physics-9780198922377},
  isbn      = {9780198922377}
}

@article{Gisin_2019,
  author    = {Gisin, Nicolas},
  title     = {Real numbers are the hidden variables of classical mechanics},
  journal   = {Quantum Studies: Mathematics and Foundations},
  volume    = {7},
  number    = {2},
  pages     = {197--201},
  publisher = {Springer Science and Business Media LLC},
  year      = {2019},
  month     = {oct},
  doi       = {10.1007/s40509-019-00211-8},
  issn      = {2196-5617}
}

@book{Goriely2017Growth,
  author    = {Goriely, Alain},
  title     = {The Mathematics and Mechanics of Biological Growth},
  series    = {Interdisciplinary Applied Mathematics},
  volume    = {45},
  publisher = {Springer},
  address   = {New York},
  year      = {2017},
  doi       = {10.1007/978-0-387-87710-5},
  isbn      = {978-0-387-87709-9}
}

@article{StarostinVanDerHeijden2007Mobius,
  author  = {Starostin, E. L. and van der Heijden, G. H. M.},
  title   = {The shape of a {M}{\"o}bius strip},
  journal = {Nature Materials},
  volume  = {6},
  number  = {8},
  pages   = {563--567},
  year    = {2007},
  month   = {Aug},
  doi     = {10.1038/nmat1929}
}

@article{Manolescu2016Pin2SWFHTriangulation,
  author        = {Ciprian Manolescu},
  title         = {Pin(2)-equivariant Seiberg--Witten Floer homology and the triangulation conjecture},
  journal       = {Journal of the American Mathematical Society},
  volume        = {29},
  number        = {1},
  pages         = {147--176},
  year          = {2016},
  eprint        = {1303.2354},
  archivePrefix = {arXiv},
  primaryClass  = {math.GT}
}

@misc{costa2018liegroupoidsclassicalfield,
  author        = {Bruno T. Costa and Michael Forger and Luiz Henrique P. Pêgas},
  title         = {Lie Groupoids in Classical Field Theory I: Noether's Theorem},
  year          = {2018},
  url           = {https://arxiv.org/abs/1508.04632},
  eprint        = {1508.04632},
  archivePrefix = {arXiv},
  primaryClass  = {math-ph}
}

@misc{kapustin2007electricmagneticdualitygeometriclanglands,
  author        = {Anton Kapustin and Edward Witten},
  title         = {Electric-Magnetic Duality And The Geometric Langlands Program},
  year          = {2007},
  url           = {https://arxiv.org/abs/hep-th/0604151},
  eprint        = {hep-th/0604151},
  archivePrefix = {arXiv},
  primaryClass  = {hep-th}
}

@misc{kantamneni2025languagemodelsusetrigonometry,
  author        = {Subhash Kantamneni and Max Tegmark},
  title         = {Language Models Use Trigonometry to Do Addition},
  year          = {2025},
  url           = {https://arxiv.org/abs/2502.00873},
  eprint        = {2502.00873},
  archivePrefix = {arXiv},
  primaryClass  = {cs.AI}
}

@misc{schreiber2013differentialcohomologycohesiveinfinitytopos,
  author        = {Urs Schreiber},
  title         = {Differential cohomology in a cohesive infinity-topos},
  year          = {2013},
  url           = {https://arxiv.org/abs/1310.7930},
  eprint        = {1310.7930},
  archivePrefix = {arXiv},
  primaryClass  = {math-ph}
}

@inbook{Baez_2010,
  author    = {Baez, J. and Stay, M.},
  title     = {Physics, Topology, Logic and Computation: A Rosetta Stone},
  booktitle = {New Structures for Physics},
  pages     = {95--172},
  publisher = {Springer Berlin Heidelberg},
  year      = {2010},
  doi       = {10.1007/978-3-642-12821-9_2},
  isbn      = {9783642128219},
  issn      = {1616-6361}
}

@book{Penrose1989Emperor,
  author    = {Penrose, Roger},
  title     = {The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics},
  publisher = {Oxford University Press},
  address   = {Oxford, UK},
  year      = {1989},
  isbn      = {9780198519737},
  note      = {Foreword by Martin Gardner}
}

@article{Freed2012Cobordism,
  author        = {Freed, Daniel S.},
  title         = {The Cobordism Hypothesis},
  journal       = {arXiv preprint},
  year          = {2012},
  eprint        = {1210.5100},
  archivePrefix = {arXiv},
  primaryClass  = {math.AT},
  note          = {Expository; arXiv:1210.5100}
}

@article{FreidelSpeziale2012BFGravity,
  author        = {Freidel, Laurent and Speziale, Simone},
  title         = {On the relations between gravity and BF theories},
  journal       = {SIGMA},
  volume        = {8},
  pages         = {032},
  year          = {2012},
  doi           = {10.3842/SIGMA.2012.032},
  eprint        = {1201.4247},
  archivePrefix = {arXiv},
  primaryClass  = {gr-qc}
}

@article{Plebanski1977Separation,
  author  = {Pleba{\'n}ski, Jerzy F.},
  title   = {On the separation of Einsteinian substructures},
  journal = {Journal of Mathematical Physics},
  volume  = {18},
  number  = {12},
  pages   = {2511--2520},
  year    = {1977},
  doi     = {10.1063/1.523215}
}

@article{Dijkgraaf1990Topological,
  author    = {Dijkgraaf, Robbert and Witten, Edward},
  title     = {Topological Gauge Theories and Group Cohomology},
  journal   = {Communications in Mathematical Physics},
  volume    = {129},
  number    = {2},
  pages     = {393--429},
  publisher = {Springer},
  year      = {1990},
  doi       = {10.1007/BF02096988}
}

@article{Seiberg1994Monopoles,
  author  = {Seiberg, Nathan and Witten, Edward},
  title   = {Monopoles, duality and chiral symmetry breaking in {N}=2 supersymmetric {Y}ang--{M}ills theory},
  journal = {Nuclear Physics B},
  volume  = {431},
  number  = {3},
  pages   = {484--550},
  year    = {1994},
  doi     = {10.1016/0550-3213(94)90214-3}
}

@article{Atiyah1963Index,
  author  = {Atiyah, Michael F. and Singer, Isadore M.},
  title   = {The index of elliptic operators on compact manifolds},
  journal = {Bulletin of the American Mathematical Society},
  volume  = {69},
  number  = {3},
  pages   = {422--433},
  year    = {1963},
  doi     = {10.1090/S0002-9904-1963-10957-X}
}

@book{Geiges-Contact,
  author    = {Hansj{\"o}rg Geiges},
  title     = {An Introduction to Contact Topology},
  series    = {Cambridge Studies in Advanced Mathematics},
  volume    = {109},
  publisher = {Cambridge University Press},
  year      = {2008}
}

@book{McDuffSalamon-SymplTop,
  author    = {Dusa McDuff and Dietmar Salamon},
  title     = {Introduction to Symplectic Topology},
  edition   = {3},
  publisher = {Oxford University Press},
  year      = {2017}
}

@incollection{EliashbergGiventalHofer-SFT,
  author    = {Yakov Eliashberg and Alexander Givental and Helmut Hofer},
  editor    = {Noga Alon and Jean Bourgain and Alain Connes and Mikhael Gromov and Vitali Milman},
  title     = {Introduction to Symplectic Field Theory},
  booktitle = {Visions in Mathematics},
  pages     = {560--673},
  publisher = {Birkh{\"a}user / Springer},
  year      = {2000},
  doi       = {10.1007/978-3-0346-0425-3_4}
}

@article{aharonov1959significance,
  author    = {Aharonov, Yakir and Bohm, David},
  title     = {Significance of Electromagnetic Potentials in the Quantum Theory},
  journal   = {Physical Review},
  volume    = {115},
  number    = {3},
  pages     = {485--491},
  publisher = {American Physical Society},
  year      = {1959},
  doi       = {10.1103/PhysRev.115.485}
}

@book{Kock2006SDG,
  author    = {Anders Kock},
  title     = {Synthetic Differential Geometry},
  edition   = {2},
  publisher = {Cambridge University Press},
  year      = {2006}
}

@article{Spencer1969Overdetermined,
  author  = {Donald C. Spencer},
  title   = {Overdetermined systems of linear partial differential equations},
  journal = {Bulletin of the American Mathematical Society},
  volume  = {75},
  number  = {2},
  pages   = {179--239},
  year    = {1969}
}

@incollection{baez2006quantum,
  author    = {Baez, John C.},
  editor    = {French, Steven and Rickles, Dean and Saatsi, Juha},
  title     = {Quantum Quandaries: A Category-Theoretic Perspective},
  booktitle = {The Structural Foundations of Quantum Gravity},
  pages     = {240--265},
  publisher = {Oxford University Press},
  year      = {2006},
  doi       = {10.1093/acprof:oso/9780199269693.003.0008}
}

@book{Connes1994NCG,
  author    = {Alain Connes},
  title     = {Noncommutative Geometry},
  publisher = {Academic Press},
  year      = {1994}
}

@article{AyalaFrancis2019Primer,
  author        = {David Ayala and John Francis},
  title         = {A factorization homology primer},
  journal       = {arXiv preprint},
  year          = {2019},
  eprint        = {1903.10961},
  archivePrefix = {arXiv},
  primaryClass  = {math.AT},
  note          = {arXiv:1903.10961}
}

@misc{waas2025presentingtopologicalstratifiedhomotopy,
  author        = {Lukas Waas},
  title         = {Presenting the topological stratified homotopy hypothesis},
  year          = {2025},
  url           = {https://arxiv.org/abs/2403.07686},
  eprint        = {2403.07686},
  archivePrefix = {arXiv},
  primaryClass  = {math.AT}
}

@book{Kuramoto1984,
  author    = {Yoshiki Kuramoto},
  title     = {Chemical Oscillations, Waves, and Turbulence},
  series    = {Springer Series in Synergetics},
  volume    = {19},
  publisher = {Springer},
  address   = {Berlin, Heidelberg},
  year      = {1984},
  doi       = {10.1007/978-3-642-69689-3}
}

@article{Acebron2005,
  author  = {Juan A. Acebr{\'o}n and Luis L. Bonilla and Conrad J. P{\'e}rez Vicente and F{\'e}lix Ritort and Renato Spigler},
  title   = {The Kuramoto model: A simple paradigm for synchronization phenomena},
  journal = {Reviews of Modern Physics},
  volume  = {77},
  number  = {1},
  pages   = {137--185},
  year    = {2005},
  doi     = {10.1103/RevModPhys.77.137}
}

@book{Arnold-ClassMech,
  author    = {V. I. Arnold},
  title     = {Mathematical Methods of Classical Mechanics},
  edition   = {2},
  publisher = {Springer},
  year      = {1989}
}

@article{Noether1918,
  author  = {Emmy Noether},
  title   = {Invariante Variationsprobleme},
  journal = {Nachrichten von der Gesellschaft der Wissenschaften zu G{\"o}ttingen, Mathematisch-Physikalische Klasse},
  pages   = {235--257},
  year    = {1918}
}

@article{AtiyahTQFT,
  author  = {Atiyah, Michael F.},
  title   = {Topological Quantum Field Theories},
  journal = {Publications Math{\'e}matiques de l'Institut des Hautes {\'E}tudes Scientifiques},
  volume  = {68},
  pages   = {175--186},
  year    = {1988},
  doi     = {10.1007/BF02698547}
}

@article{Rice1953Classes,
  author    = {Rice, H. G.},
  title     = {Classes of recursively enumerable sets and their decision problems},
  journal   = {Transactions of the American Mathematical Society},
  volume    = {74},
  number    = {2},
  pages     = {358--366},
  publisher = {American Mathematical Society},
  year      = {1953},
  month     = {Mar},
  doi       = {10.1090/s0002-9947-1953-0053041-6},
  url       = {https://www.jstor.org/stable/1990888}
}

@article{Chen_2019,
  author    = {Chen, Yuntian and Zhang, Ruo-Yang and Xiong, Zhongfei and Hang, Zhi Hong and Li, Jensen and Shen, Jian Qi and Chan, C. T.},
  title     = {Non-Abelian gauge field optics},
  journal   = {Nature Communications},
  volume    = {10},
  number    = {1},
  publisher = {Springer Science and Business Media LLC},
  year      = {2019},
  month     = {jul},
  doi       = {10.1038/s41467-019-10974-8},
  issn      = {2041-1723}
}

@article{Goldman_2014,
  author    = {Goldman, N and Juzeliunas, G and Ohberg, P and Spielman, I B},
  title     = {Light-induced gauge fields for ultracold atoms},
  journal   = {Reports on Progress in Physics},
  volume    = {77},
  number    = {12},
  pages     = {126401},
  publisher = {IOP Publishing},
  year      = {2014},
  month     = {nov},
  doi       = {10.1088/0034-4885/77/12/126401},
  issn      = {1361-6633}
}

@incollection{picard2019calabi,
  author    = {Picard, S{\'e}bastien},
  editor    = {Angella, Daniele and Arosio, Leandro and Di Nezza, Eleonora},
  title     = {Calabi--Yau Manifolds with Torsion and Geometric Flows},
  booktitle = {Complex Non-K{\"a}hler Geometry: Cetraro, Italy 2018},
  series    = {Lecture Notes in Mathematics},
  volume    = {2246},
  pages     = {57--120},
  publisher = {Springer International Publishing},
  year      = {2019},
  doi       = {10.1007/978-3-030-25883-2_2}
}

@article{Barros1997Lancret,
  author  = {Barros, Manuel},
  title   = {General Helices and a Theorem of Lancret},
  journal = {Proceedings of the American Mathematical Society},
  volume  = {125},
  number  = {5},
  pages   = {1503--1509},
  year    = {1997},
  doi     = {10.1090/S0002-9939-97-03692-7}
}

@book{Saunders1989JetBundles,
  author    = {Saunders, David J.},
  title     = {The Geometry of Jet Bundles},
  series    = {London Mathematical Society Lecture Note Series},
  volume    = {142},
  publisher = {Cambridge University Press},
  year      = {1989},
  doi       = {10.1017/CBO9780511526411}
}

@article{EbinMarsden1970Diffeomorphisms,
  author  = {Ebin, David G. and Marsden, Jerrold},
  title   = {Groups of Diffeomorphisms and the Motion of an Incompressible Fluid},
  journal = {Annals of Mathematics},
  series  = {2},
  volume  = {92},
  number  = {1},
  pages   = {102--163},
  year    = {1970},
  doi     = {10.2307/1970699}
}

@misc{Metzler2003Stacks,
  author        = {Metzler, David},
  title         = {Topological and Smooth Stacks},
  year          = {2003},
  eprint        = {math/0306176},
  archivePrefix = {arXiv}
}

@article{Atiyah1957,
  author  = {Atiyah, M. F.},
  title   = {Complex analytic connections in fibre bundles},
  journal = {Transactions of the American Mathematical Society},
  volume  = {85},
  number  = {1},
  pages   = {181--207},
  year    = {1957}
}

@article{Weinstein1996Groupoids,
  author  = {Weinstein, Alan},
  title   = {Groupoids: Unifying Internal and External Symmetry},
  journal = {Notices of the American Mathematical Society},
  volume  = {43},
  pages   = {744--752},
  year    = {1996},
  note    = {Also available as arXiv:math/9602220}
}

@article{CrainicFernandes2003,
  author  = {Crainic, Marius and Fernandes, Rui Loja},
  title   = {Integrability of Lie brackets},
  journal = {Annals of Mathematics},
  volume  = {157},
  number  = {2},
  pages   = {575--620},
  year    = {2003}
}

@article{van_Baal_1996,
  author    = {van Baal, Pierre},
  title     = {Instanton moduli for T3 {$\times$} R},
  journal   = {Nuclear Physics B - Proceedings Supplements},
  volume    = {49},
  number    = {1--3},
  pages     = {238--249},
  publisher = {Elsevier BV},
  year      = {1996},
  month     = {jun},
  doi       = {10.1016/0920-5632(96)00340-4},
  issn      = {0920-5632}
}

@article{Mathieu_2008,
  author    = {Mathieu, Vincent and Buisseret, Fabien and Semay, Claude},
  title     = {Gluons in glueballs: Spin or helicity?},
  journal   = {Physical Review D},
  volume    = {77},
  number    = {11},
  publisher = {American Physical Society (APS)},
  year      = {2008},
  month     = {jun},
  doi       = {10.1103/physrevd.77.114022},
  issn      = {1550-2368}
}

@article{Bern_2017,
  author    = {Bern, Zvi and Edison, Alex and Kosower, David and Parra-Martinez, Julio},
  title     = {Curvature-squared multiplets, evanescent effects, and the U(1) anomaly in supergravity},
  journal   = {Physical Review D},
  volume    = {96},
  number    = {6},
  publisher = {American Physical Society (APS)},
  year      = {2017},
  month     = {sep},
  doi       = {10.1103/physrevd.96.066004},
  issn      = {2470-0029}
}

@article{Holstein_2006,
  author    = {Holstein, Barry R.},
  title     = {Graviton physics},
  journal   = {American Journal of Physics},
  volume    = {74},
  number    = {11},
  pages     = {1002--1011},
  publisher = {American Association of Physics Teachers (AAPT)},
  year      = {2006},
  month     = {nov},
  doi       = {10.1119/1.2338547},
  issn      = {1943-2909}
}

@article{Todorova_Nov__2014,
  author    = {Todorova-Nová, Šárka},
  title     = {Quantization of the QCD string with a helical structure},
  journal   = {Physical Review D},
  volume    = {89},
  number    = {1},
  publisher = {American Physical Society (APS)},
  year      = {2014},
  month     = {jan},
  doi       = {10.1103/physrevd.89.015002},
  issn      = {1550-2368}
}

@article{ATIYAH1990119,
  author  = {M.F. Atiyah and L. Jeffrey},
  title   = {Topological Lagrangians and cohomology},
  journal = {Journal of Geometry and Physics},
  volume  = {7},
  number  = {1},
  pages   = {119-136},
  year    = {1990},
  doi     = {10.1016/0393-0440(90)90023-V},
  url     = {https://www.sciencedirect.com/science/article/pii/039304409090023V},
  issn    = {0393-0440}
}

@misc{Kaminsky2026EVT,
  author = {Kaminsky, M. Benjamin},
  title  = {Expressiveness, Verifiability, Tractability: Toward a Computational Thermodynamics},
  year   = {2026},
  month  = {March},
  doi    = {10.5281/zenodo.19217011},
  note   = {Provided mostly for reviewers/readers needing context; access at https://doi.org/10.5281/zenodo.19217011}
}

@article{yau1978ricci,
  author  = {Yau, Shing-Tung},
  title   = {On the {R}icci curvature of a compact {K}\"ahler manifold and the complex {M}onge-{A}mp\`ere equation, {I}},
  journal = {Communications on Pure and Applied Mathematics},
  volume  = {31},
  number  = {3},
  pages   = {339--411},
  year    = {1978},
  doi     = {10.1002/cpa.3160310304}
}

@article{OsterwalderSchrader1973,
  author  = {Osterwalder, Konrad and Schrader, Robert},
  title   = {Axioms for Euclidean Green's Functions},
  journal = {Communications in Mathematical Physics},
  volume  = {31},
  number  = {2},
  pages   = {83--112},
  year    = {1973},
  doi     = {10.1007/BF01645738}
}

@unpublished{moore2014physical,
  author = {Moore, Gregory},
  title  = {Physical Mathematics and the Future},
  year   = {2014},
  note   = {Written version of a talk given at Strings 2014, Princeton University. Available at \url{https://www.physics.rutgers.edu/~gmoore/PhysicalMathematicsAndFuture.pdf}}
}

@article{wald1995qftcurved,
  author        = {Wald, Robert M.},
  title         = {Quantum Field Theory in Curved Spacetime},
  journal       = {arXiv preprint},
  year          = {1995},
  eprint        = {gr-qc/9509057},
  archivePrefix = {arXiv},
  note          = {arXiv:gr-qc/9509057}
}

@article{PADMANABHAN_2010,
  author    = {PADMANABHAN, T.},
  title     = {EQUIPARTITION OF ENERGY IN THE HORIZON DEGREES OF FREEDOM AND THE EMERGENCE OF GRAVITY},
  journal   = {Modern Physics Letters A},
  volume    = {25},
  number    = {14},
  pages     = {1129--1136},
  publisher = {World Scientific Pub Co Pte Lt},
  year      = {2010},
  month     = {May},
  doi       = {10.1142/s021773231003313x},
  issn      = {1793-6632}
}

@article{SchaferNameki2024ICTPLectures,
  author        = {Sch{\"a}fer-Nameki, Sakura},
  title         = {{ICTP Lectures on (Non-)Invertible Generalized Symmetries}},
  journal       = {Physics Reports},
  volume        = {1063},
  pages         = {1--55},
  year          = {2024},
  doi           = {10.1016/j.physrep.2024.01.007},
  eprint        = {2305.18296},
  archivePrefix = {arXiv},
  primaryClass  = {hep-th}
}

@incollection{Freed2000DiracChargeQuantization,
  author        = {Freed, Daniel S.},
  title         = {Dirac Charge Quantization and Generalized Differential Cohomology},
  booktitle     = {Surveys in Differential Geometry},
  volume        = {7},
  pages         = {129--194},
  year          = {2002},
  doi           = {10.4310/SDG.2002.v7.n1.a6},
  eprint        = {hep-th/0011220},
  archivePrefix = {arXiv}
}

@book{Polyakov1987GaugeFieldsAndStrings,
  author    = {Polyakov, A. M.},
  title     = {{Gauge Fields and Strings}},
  series    = {Contemporary Concepts in Physics},
  volume    = {3},
  publisher = {Harwood Academic Publishers},
  year      = {1987},
  doi       = {10.1201/9780203755082},
  isbn      = {9783718603930}
}

@article{PhysRevD.10.2445,
  author    = {Wilson, Kenneth G.},
  title     = {Confinement of quarks},
  journal   = {Phys. Rev. D},
  volume    = {10},
  number    = {8},
  pages     = {2445--2459},
  publisher = {American Physical Society},
  year      = {1974},
  month     = {Oct},
  doi       = {10.1103/PhysRevD.10.2445},
  url       = {https://link.aps.org/doi/10.1103/PhysRevD.10.2445},
  numpages  = {0}
}

@article{LudewigStoffel2021,
  author        = {Ludewig, Matthias and Stoffel, Augusto},
  title         = {A Framework for Geometric Field Theories and their Classification in Dimension One},
  journal       = {SIGMA},
  volume        = {17},
  pages         = {072},
  year          = {2021},
  doi           = {10.3842/SIGMA.2021.072},
  eprint        = {2001.05721},
  archivePrefix = {arXiv},
  primaryClass  = {math.DG}
}

@article{GradyPavlov2021,
  author        = {Grady, Daniel and Pavlov, Dmitri},
  title         = {The Geometric Cobordism Hypothesis},
  journal       = {arXiv preprint},
  year          = {2021},
  eprint        = {2111.01095},
  archivePrefix = {arXiv},
  primaryClass  = {math.AT},
  note          = {arXiv:2111.01095}
}

@article{HarriganSpekkens2010,
  author        = {Harrigan, Nicholas and Spekkens, Robert W.},
  title         = {Einstein, Incompleteness, and the Epistemic View of Quantum States},
  journal       = {Foundations of Physics},
  volume        = {40},
  number        = {2},
  pages         = {125--157},
  year          = {2010},
  doi           = {10.1007/s10701-009-9347-0},
  eprint        = {0706.2661},
  archivePrefix = {arXiv},
  primaryClass  = {quant-ph}
}

@article{Spekkens2007Toy,
  author        = {Spekkens, Robert W.},
  title         = {Evidence for the Epistemic View of Quantum States: A Toy Theory},
  journal       = {Physical Review A},
  volume        = {75},
  pages         = {032110},
  year          = {2007},
  doi           = {10.1103/PhysRevA.75.032110},
  eprint        = {quant-ph/0401052},
  archivePrefix = {arXiv}
}

@article{Girard1987LinearLogic,
  author  = {Jean-Yves Girard},
  title   = {Linear Logic},
  journal = {Theoretical Computer Science},
  volume  = {50},
  number  = {1},
  pages   = {1--101},
  year    = {1987}
}

@inproceedings{PlotkinPretnar2009Handlers,
  author    = {Gordon Plotkin and Matija Pretnar},
  title     = {Handlers of Algebraic Effects},
  booktitle = {Programming Languages and Systems},
  series    = {Lecture Notes in Computer Science},
  volume    = {5502},
  pages     = {80--94},
  publisher = {Springer},
  year      = {2009}
}

@article{Moggi1991Notions,
  author  = {Eugenio Moggi},
  title   = {Notions of Computation and Monads},
  journal = {Information and Computation},
  volume  = {93},
  number  = {1},
  pages   = {55--92},
  year    = {1991}
}

@book{MartinLof1984,
  author    = {Per Martin-L{\"o}f},
  title     = {Intuitionistic Type Theory},
  publisher = {Bibliopolis},
  year      = {1984}
}

@misc{grothendieck2021pursuingstacks,
  author        = {Alexander Grothendieck},
  title         = {Pursuing Stacks},
  year          = {2021},
  url           = {https://arxiv.org/abs/2111.01000},
  eprint        = {2111.01000},
  archivePrefix = {arXiv},
  primaryClass  = {math.CT}
}

@article{Uhlenbeck1982Connections,
  author  = {Karen K. Uhlenbeck},
  title   = {Connections with {$L^p$} Bounds on Curvature},
  journal = {Communications in Mathematical Physics},
  volume  = {83},
  number  = {1},
  pages   = {31--42},
  year    = {1982}
}

@article{ADHM1978,
  author  = {Michael F. Atiyah and Vladimir G. Drinfeld and Nigel J. Hitchin and Yuri I. Manin},
  title   = {Construction of Instantons},
  journal = {Physics Letters A},
  volume  = {65},
  number  = {3},
  pages   = {185--187},
  year    = {1978}
}

@article{Belavin1975BPST,
  author  = {Belavin, A. A. and Polyakov, A. M. and Schwartz, A. S. and Tyupkin, Yu. S.},
  title   = {Pseudoparticle Solutions of the Yang-Mills Equations},
  journal = {Physics Letters B},
  volume  = {59},
  number  = {1},
  pages   = {85--87},
  year    = {1975},
  doi     = {10.1016/0370-2693(75)90163-X}
}

@book{BoTu82,
  author    = {Bott, Raoul and Tu, Loring W.},
  title     = {Differential Forms in Algebraic Topology},
  series    = {Graduate Texts in Mathematics},
  volume    = {82},
  publisher = {Springer},
  year      = {1982},
  doi       = {10.1007/978-1-4757-3951-0}
}

@article{Pradines1966,
  author  = {Pradines, Jean},
  title   = {Th{\'e}orie de Lie pour les groupo{\"i}des diff{\'e}rentiables:
             relations entre propri{\'e}t{\'e}s locales et globales},
  journal = {C. R. Acad. Sci. Paris S{\'e}r. A-B},
  volume  = {263},
  pages   = {A907--A910},
  year    = {1966}
}

@inproceedings{Ehresmann1959,
  author    = {Ehresmann, Charles},
  title     = {Cat{\'e}gories topologiques et cat{\'e}gories diff{\'e}rentiables},
  booktitle = {Colloque de G{\'e}om{\'e}trie Diff{\'e}rentielle Globale},
  pages     = {137},
  publisher = {Centre Belge de Recherches Math{\'e}matiques},
  address   = {Bruxelles},
  year      = {1959}
}

@misc{Lurie2011DAGXI,
  author = {Lurie, Jacob},
  title  = {Derived Algebraic Geometry XI: Descent Theorems},
  year   = {2011},
  month  = {sep},
  url    = {https://www.math.ias.edu/~lurie/papers/DAG-XI.pdf},
  note   = {Preprint, September 28, 2011}
}

@article{ChernSimons1974,
  author  = {Chern, Shiing-Shen and Simons, James},
  title   = {Characteristic Forms and Geometric Invariants},
  journal = {Annals of Mathematics},
  volume  = {99},
  number  = {1},
  pages   = {48--69},
  year    = {1974},
  doi     = {10.2307/1971013}
}

@inproceedings{SMOLIN_2004,
  author    = {SMOLIN, LEE},
  title     = {AN INVITATION TO LOOP QUANTUM GRAVITY},
  booktitle = {Quantum Theory and Symmetries},
  pages     = {655--682},
  publisher = {WORLD SCIENTIFIC},
  year      = {2004},
  month     = {Oct},
  doi       = {10.1142/9789812702340_0078}
}

@article{Bishop1975Frames,
  author  = {Bishop, Richard L.},
  title   = {There Is More than One Way to Frame a Curve},
  journal = {The American Mathematical Monthly},
  volume  = {82},
  number  = {3},
  pages   = {246--251},
  year    = {1975},
  doi     = {10.1080/00029890.1975.11993807}
}

@book{Gray2004Tubes,
  author    = {Gray, Alfred},
  title     = {Tubes},
  series    = {Progress in Mathematics},
  volume    = {221},
  edition   = {2},
  publisher = {Birkh{"a}user},
  address   = {Basel},
  year      = {2004},
  doi       = {10.1007/978-3-0348-7966-8}
}

@manual{GAP4,
  title        = {{GAP -- Groups, Algorithms, and Programming}},
  organization = {{The GAP Group}},
  url          = {https://www.gap-system.org},
  note         = {Version 4},
  key          = {GAP}
}

@book{NielsenChuang2010,
  author    = {Nielsen, Michael A. and Chuang, Isaac L.},
  title     = {Quantum Computation and Quantum Information},
  edition   = {10th Anniversary},
  publisher = {Cambridge University Press},
  year      = {2010},
  doi       = {10.1017/CBO9780511976667},
  isbn      = {9781107002173}
}

@article{Post1921ManyValued,
  author  = {Post, Emil L.},
  title   = {Introduction to a General Theory of Elementary Propositions},
  journal = {American Journal of Mathematics},
  volume  = {43},
  number  = {3},
  pages   = {163--185},
  year    = {1921},
  doi     = {10.2307/2370324}
}

@article{Zadeh1965FuzzySets,
  author  = {Zadeh, Lotfi A.},
  title   = {Fuzzy Sets},
  journal = {Information and Control},
  volume  = {8},
  number  = {3},
  pages   = {338--353},
  year    = {1965},
  doi     = {10.1016/S0019-9958(65)90241-X}
}

@article{Kogut1979LatticeGauge,
  author  = {Kogut, John B.},
  title   = {An Introduction to Lattice Gauge Theory and Spin Systems},
  journal = {Reviews of Modern Physics},
  volume  = {51},
  number  = {4},
  pages   = {659--713},
  year    = {1979},
  doi     = {10.1103/RevModPhys.51.659}
}

@book{Mackenzie2005LieGroupoids,
  author    = {Mackenzie, Kirill C. H.},
  title     = {General Theory of Lie Groupoids and Lie Algebroids},
  series    = {London Mathematical Society Lecture Note Series},
  volume    = {213},
  publisher = {Cambridge University Press},
  year      = {2005},
  doi       = {10.1017/CBO9781107325883}
}

@article{Barrett1991Holonomy,
  author  = {Barrett, John W.},
  title   = {Holonomy and Path Structures in General Relativity and Yang--Mills Theory},
  journal = {International Journal of Theoretical Physics},
  volume  = {30},
  number  = {9},
  pages   = {1171--1215},
  year    = {1991},
  doi     = {10.1007/BF00671007}
}

@article{SchreiberWaldorf2009Connections,
  author        = {Schreiber, Urs and Waldorf, Konrad},
  title         = {Connections on Non-Abelian Gerbes and their Holonomy},
  journal       = {Theory and Applications of Categories},
  volume        = {28},
  pages         = {476--540},
  year          = {2013},
  eprint        = {0808.1923},
  archivePrefix = {arXiv},
  primaryClass  = {math.DG}
}

@incollection{Penrose1971AngularMomentum,
  author    = {Penrose, Roger},
  editor    = {Bastin, Ted},
  title     = {Angular Momentum: An Approach to Combinatorial Space-Time},
  booktitle = {Quantum Theory and Beyond},
  pages     = {151--180},
  publisher = {Cambridge University Press},
  address   = {Cambridge},
  year      = {1971}
}

@article{RovelliSmolin1995SpinNetworks,
  author        = {Rovelli, Carlo and Smolin, Lee},
  title         = {Spin Networks and Quantum Gravity},
  journal       = {Physical Review D},
  volume        = {52},
  number        = {10},
  pages         = {5743--5759},
  year          = {1995},
  doi           = {10.1103/PhysRevD.52.5743},
  eprint        = {gr-qc/9505006},
  archivePrefix = {arXiv}
}

@article{Baez1998SpinFoam,
  author        = {Baez, John C.},
  title         = {Spin Foam Models},
  journal       = {Classical and Quantum Gravity},
  volume        = {15},
  number        = {7},
  pages         = {1827--1858},
  year          = {1998},
  doi           = {10.1088/0264-9381/15/7/004},
  eprint        = {gr-qc/9709052},
  archivePrefix = {arXiv}
}

@article{Berry1984QuantalPhase,
  author  = {Berry, Michael V.},
  title   = {Quantal Phase Factors Accompanying Adiabatic Changes},
  journal = {Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences},
  volume  = {392},
  number  = {1802},
  pages   = {45--57},
  year    = {1984},
  doi     = {10.1098/rspa.1984.0023}
}

@article{WilczekZee1984Appearance,
  author  = {Wilczek, Frank and Zee, A.},
  title   = {Appearance of Gauge Structure in Simple Dynamical Systems},
  journal = {Physical Review Letters},
  volume  = {52},
  number  = {24},
  pages   = {2111--2114},
  year    = {1984},
  doi     = {10.1103/PhysRevLett.52.2111}
}

@book{Weihrauch2000ComputableAnalysis,
  author    = {Weihrauch, Klaus},
  title     = {Computable Analysis: An Introduction},
  series    = {Texts in Theoretical Computer Science},
  publisher = {Springer},
  address   = {Berlin},
  year      = {2000},
  doi       = {10.1007/978-3-642-56999-9}
}

@book{MacLaneMoerdijk1992Sheaves,
  author    = {Mac Lane, Saunders and Moerdijk, Ieke},
  title     = {Sheaves in Geometry and Logic: A First Introduction to Topos Theory},
  series    = {Universitext},
  publisher = {Springer},
  address   = {New York},
  year      = {1992},
  doi       = {10.1007/978-1-4612-0927-0}
}

@article{AlvarezGaumeWitten1984GravitationalAnomalies,
  author  = {{Alvarez-Gaum{'e}}, Luis and Witten, Edward},
  title   = {Gravitational Anomalies},
  journal = {Nuclear Physics B},
  volume  = {234},
  number  = {2},
  pages   = {269--330},
  year    = {1984},
  doi     = {10.1016/0550-3213(84)90066-X}
}

@incollection{Freed2014Anomalies,
  author        = {Freed, Daniel S.},
  title         = {Anomalies and Invertible Field Theories},
  booktitle     = {String-Math 2013},
  series        = {Proceedings of Symposia in Pure Mathematics},
  volume        = {88},
  pages         = {25--45},
  publisher     = {American Mathematical Society},
  year          = {2014},
  eprint        = {1404.7224},
  archivePrefix = {arXiv},
  primaryClass  = {hep-th}
}

@inproceedings{SiekTaha2006GradualTyping,
  author    = {Siek, Jeremy G. and Taha, Walid},
  title     = {Gradual Typing for Functional Languages},
  booktitle = {Scheme and Functional Programming Workshop},
  pages     = {81--92},
  year      = {2006}
}

@inproceedings{TobinHochstadtFelleisen2006Interlanguage,
  author    = {Tobin-Hochstadt, Sam and Felleisen, Matthias},
  title     = {Interlanguage Migration: From Scripts to Programs},
  booktitle = {Companion to the 21st ACM SIGPLAN Symposium on Object-Oriented Programming Systems, Languages, and Applications},
  series    = {OOPSLA '06},
  pages     = {964--974},
  publisher = {Association for Computing Machinery},
  address   = {New York, NY},
  year      = {2006},
  doi       = {10.1145/1176617.1176755}
}

@inproceedings{TahaSheard1997MultiStage,
  author    = {Taha, Walid and Sheard, Tim},
  title     = {Multi-Stage Programming with Explicit Annotations},
  booktitle = {Proceedings of the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation},
  series    = {PEPM '97},
  pages     = {203--217},
  publisher = {Association for Computing Machinery},
  address   = {New York, NY},
  year      = {1997},
  doi       = {10.1145/258994.259019}
}

@article{CourantFriedrichsLewy1928,
  author  = {Courant, Richard and Friedrichs, Kurt and Lewy, Hans},
  title   = {{\"U}ber die partiellen Differenzengleichungen der mathematischen Physik},
  journal = {Mathematische Annalen},
  volume  = {100},
  pages   = {32--74},
  year    = {1928},
  doi     = {10.1007/BF01448839}
}

@article{CubittPerezGarciaWolf2015SpectralGap,
  author        = {Cubitt, Toby S. and Perez-Garcia, David and Wolf, Michael M.},
  title         = {Undecidability of the Spectral Gap},
  journal       = {Nature},
  volume        = {528},
  number        = {7581},
  pages         = {207--211},
  year          = {2015},
  doi           = {10.1038/nature16059},
  eprint        = {1502.04135},
  archivePrefix = {arXiv},
  primaryClass  = {quant-ph}
}

@article{Bennett1973LogicalReversibility,
  author  = {Bennett, Charles H.},
  title   = {Logical Reversibility of Computation},
  journal = {IBM Journal of Research and Development},
  volume  = {17},
  number  = {6},
  pages   = {525--532},
  year    = {1973},
  doi     = {10.1147/rd.176.0525}
}

@article{FredkinToffoli1982ConservativeLogic,
  author  = {Fredkin, Edward and Toffoli, Tommaso},
  title   = {Conservative Logic},
  journal = {International Journal of Theoretical Physics},
  volume  = {21},
  number  = {3--4},
  pages   = {219--253},
  year    = {1982},
  doi     = {10.1007/BF01857727}
}

@article{BlauThompson1991BF,
  author  = {Blau, Matthias and Thompson, George},
  title   = {Topological Gauge Theories of Antisymmetric Tensor Fields},
  journal = {Annals of Physics},
  volume  = {205},
  number  = {1},
  pages   = {130--172},
  year    = {1991},
  doi     = {10.1016/0003-4916(91)90240-9}
}

@article{Yetter1993TQFT,
  author  = {Yetter, David N.},
  title   = {Topological Quantum Field Theories Associated to Finite Groups and Crossed G-Sets},
  journal = {Journal of Knot Theory and Its Ramifications},
  volume  = {1},
  number  = {1},
  pages   = {1--20},
  year    = {1992},
  doi     = {10.1142/S0218216592000024}
}

@article{Madelung1927Quantentheorie,
  author  = {Madelung, Erwin},
  title   = {Quantentheorie in hydrodynamischer Form},
  journal = {Zeitschrift f{\"u}r Physik},
  volume  = {40},
  number  = {3--4},
  pages   = {322--326},
  year    = {1927},
  doi     = {10.1007/BF01400372}
}

@article{Bohm1952HiddenVariablesI,
  author  = {Bohm, David},
  title   = {A Suggested Interpretation of the Quantum Theory in Terms of ``Hidden'' Variables. I},
  journal = {Physical Review},
  volume  = {85},
  number  = {2},
  pages   = {166--179},
  year    = {1952},
  doi     = {10.1103/PhysRev.85.166}
}

@article{Bohm1952HiddenVariablesII,
  author  = {Bohm, David},
  title   = {A Suggested Interpretation of the Quantum Theory in Terms of ``Hidden'' Variables. II},
  journal = {Physical Review},
  volume  = {85},
  number  = {2},
  pages   = {180--193},
  year    = {1952},
  doi     = {10.1103/PhysRev.85.180}
}

@article{DurrGoldsteinZanghi1992QuantumEquilibrium,
  author  = {D{\"u}rr, Detlef and Goldstein, Sheldon and Zangh{\`i}, Nino},
  title   = {Quantum Equilibrium and the Origin of Absolute Uncertainty},
  journal = {Journal of Statistical Physics},
  volume  = {67},
  number  = {5--6},
  pages   = {843--907},
  year    = {1992},
  doi     = {10.1007/BF01049004}
}

@article{Tomonaga1946RelativisticQuantumMechanics,
  author  = {Tomonaga, Sin-itiro},
  title   = {On a Relativistically Invariant Formulation of the Quantum Theory of Wave Fields},
  journal = {Progress of Theoretical Physics},
  volume  = {1},
  number  = {2},
  pages   = {27--42},
  year    = {1946},
  doi     = {10.1143/PTP.1.27}
}

@article{Schwinger1948QuantumElectrodynamics,
  author  = {Schwinger, Julian},
  title   = {Quantum Electrodynamics. I. A Covariant Formulation},
  journal = {Physical Review},
  volume  = {74},
  number  = {10},
  pages   = {1439--1461},
  year    = {1948},
  doi     = {10.1103/PhysRev.74.1439}
}

@article{KochenSpecker1967,
  author  = {Kochen, Simon and Specker, Ernst P.},
  title   = {The Problem of Hidden Variables in Quantum Mechanics},
  journal = {Journal of Mathematics and Mechanics},
  volume  = {17},
  number  = {1},
  pages   = {59--87},
  year    = {1967}
}

@book{LawsonMichelsohn1989SpinGeometry,
  author    = {Lawson, H. Blaine and Michelsohn, Marie-Louise},
  title     = {Spin Geometry},
  series    = {Princeton Mathematical Series},
  volume    = {38},
  publisher = {Princeton University Press},
  year      = {1989}
}

@inproceedings{Wadler1990LinearTypes,
  author    = {Wadler, Philip},
  title     = {Linear Types Can Change the World!},
  booktitle = {Programming Concepts and Methods},
  editor    = {Broy, Manfred and Jones, Cliff B.},
  publisher = {North-Holland},
  year      = {1990},
  url       = {https://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html}
}

@book{GlimmJaffe1987QuantumPhysics,
  author    = {Glimm, James and Jaffe, Arthur},
  title     = {Quantum Physics: A Functional Integral Point of View},
  edition   = {2},
  publisher = {Springer},
  year      = {1987},
  doi       = {10.1007/978-1-4612-4728-9}
}

@article{HsinKobayashi2026Automorphism,
author        = {Hsin, Po-Shen and Kobayashi, Ryohei},
title         = {Automorphism in Gauge Theories: Higher Symmetries and Transversal Non-Clifford Logical Gates},
journal       = {SciPost Physics},
volume        = {20},
number        = {6},
pages         = {159},
year          = {2026},
doi           = {10.21468/SciPostPhys.20.6.159},
eprint        = {2511.15783},
archivePrefix = {arXiv},
primaryClass  = {cond-mat.str-el}
}

@misc{martellini1996bfformalismyangmillstheory,
      title={The BF Formalism for Yang-Mills Theory and the `t Hooft Algebra}, 
      author={Maurizio Martellini and Mauro Zeni},
      year={1996},
      eprint={hep-th/9610090},
      archivePrefix={arXiv},
      primaryClass={hep-th},
      url={https://arxiv.org/abs/hep-th/9610090}, 
}

@article{HKLR87,
  author  = {Hitchin, Nigel J. and Karlhede, Anders and
             Lindstr{\"o}m, Ulf and Ro{\v c}ek, Martin},
  title   = {Hyper-K{\"a}hler Metrics and Supersymmetry},
  journal = {Communications in Mathematical Physics},
  volume  = {108},
  number  = {4},
  pages   = {535--589},
  year    = {1987},
  doi     = {10.1007/BF01214418}
}

@article{Hitchin87SelfDuality,
  author  = {Hitchin, Nigel J.},
  title   = {The Self-Duality Equations on a Riemann Surface},
  journal = {Proceedings of the London Mathematical Society},
  series  = {3},
  volume  = {55},
  number  = {1},
  pages   = {59--126},
  year    = {1987},
  doi     = {10.1112/plms/s3-55.1.59}
}

@article{Hitchin87StableBundles,
  author  = {Hitchin, Nigel J.},
  title   = {Stable Bundles and Integrable Systems},
  journal = {Duke Mathematical Journal},
  volume  = {54},
  number  = {1},
  pages   = {91--114},
  year    = {1987},
  doi     = {10.1215/S0012-7094-87-05408-1}
}

@article{GMN10WallCrossing,
  author        = {Gaiotto, Davide and Moore, Gregory W. and
                   Neitzke, Andrew},
  title         = {Four-Dimensional Wall-Crossing via
                   Three-Dimensional Field Theory},
  journal       = {Communications in Mathematical Physics},
  volume        = {299},
  number        = {1},
  pages         = {163--224},
  year          = {2010},
  doi           = {10.1007/s00220-010-1071-2},
  eprint        = {0807.4723},
  archivePrefix = {arXiv},
  primaryClass  = {hep-th}
}

@article{GMN13HitchinWKB,
  author        = {Gaiotto, Davide and Moore, Gregory W. and
                   Neitzke, Andrew},
  title         = {Wall-Crossing, Hitchin Systems, and the
                   {WKB} Approximation},
  journal       = {Advances in Mathematics},
  volume        = {234},
  pages         = {239--403},
  year          = {2013},
  doi           = {10.1016/j.aim.2012.09.027},
  eprint        = {0907.3987},
  archivePrefix = {arXiv},
  primaryClass  = {hep-th}
}

@article{HK64,
  author  = {Haag, Rudolf and Kastler, Daniel},
  title   = {An Algebraic Approach to Quantum Field Theory},
  journal = {Journal of Mathematical Physics},
  volume  = {5},
  number  = {7},
  pages   = {848--861},
  year    = {1964},
  doi     = {10.1063/1.1704187}
}

@book{CG17,
  author    = {Costello, Kevin and Gwilliam, Owen},
  title     = {Factorization Algebras in Quantum Field Theory},
  subtitle  = {Volume 1},
  series    = {New Mathematical Monographs},
  volume    = {31},
  publisher = {Cambridge University Press},
  year      = {2017},
  doi       = {10.1017/9781316678626}
}

@article{BRS76,
  author  = {Becchi, Carlo and Rouet, Alain and Stora, Raymond},
  title   = {Renormalization of Gauge Theories},
  journal = {Annals of Physics},
  volume  = {98},
  number  = {2},
  pages   = {287--321},
  year    = {1976},
  doi     = {10.1016/0003-4916(76)90156-1}
}

@article{BV81,
  author  = {Batalin, Igor A. and Vilkovisky, Grigori A.},
  title   = {Gauge Algebra and Quantization},
  journal = {Physics Letters B},
  volume  = {102},
  number  = {1},
  pages   = {27--31},
  year    = {1981},
  doi     = {10.1016/0370-2693(81)90205-7}
}

@book{Oeckl2005DiscreteGaugeTheory,
  author    = {Oeckl, Robert},
  title     = {Discrete Gauge Theory: From Lattices to {TQFT}},
  publisher = {Imperial College Press},
  address   = {London},
  year      = {2005},
  isbn      = {978-1-86094-579-3}
}

@article{AmbroseSinger1953,
  author  = {Ambrose, Warren and Singer, Isadore M.},
  title   = {A Theorem on Holonomy},
  journal = {Transactions of the American Mathematical Society},
  volume  = {75},
  number  = {3},
  pages   = {428--443},
  year    = {1953},
  doi     = {10.1090/S0002-9947-1953-0063739-1}
}

@misc{CERN2026CompositeParticles,
  author       = {Harris, Rory},
  title        = {{LHCb} discovers the final missing member of a doubly charmed particle family},
  organization = {CERN},
  date         = {2026-06-18},
  year         = {2026},
  howpublished = {CERN News},
  url          = {https://home.cern/lhcb-discovers-the-final-missing-member-of-a-doubly-charmed-particle-family/},
  urldate      = {2026-08-06}
}

@article{WuYang1975,
  author  = {Wu, Tai Tsun and Yang, Chen Ning},
  title   = {Concept of Nonintegrable Phase Factors and Global Formulation of Gauge Fields},
  journal = {Physical Review D},
  volume  = {12},
  number  = {12},
  pages   = {3845--3857},
  year    = {1975},
  doi     = {10.1103/PhysRevD.12.3845}
}

@article{Pauli1940SpinStatistics,
  author  = {Pauli, Wolfgang},
  title   = {The Connection Between Spin and Statistics},
  journal = {Physical Review},
  volume  = {58},
  pages   = {716--722},
  year    = {1940},
  doi     = {10.1103/PhysRev.58.716}
}

@article{Ward1950,
  author  = {Ward, J. C.},
  title   = {An Identity in Quantum Electrodynamics},
  journal = {Physical Review},
  volume  = {78},
  pages   = {182},
  year    = {1950},
  doi     = {10.1103/PhysRev.78.182}
}

@article{Taylor1971,
  author  = {Taylor, J. C.},
  title   = {Ward Identities and Charge Renormalization of the
             Yang--Mills Field},
  journal = {Nuclear Physics B},
  volume  = {33},
  number  = {2},
  pages   = {436--444},
  year    = {1971},
  doi     = {10.1016/0550-3213(71)90297-5}
}

@incollection{kostant1970quantization,
  author    = {Kostant, Bertram},
  title     = {Quantization and Unitary Representations},
  booktitle = {Lectures in Modern Analysis and Applications III},
  editor    = {Taam, C. T.},
  series    = {Lecture Notes in Mathematics},
  volume    = {170},
  pages     = {87--208},
  publisher = {Springer},
  address   = {Berlin, Heidelberg},
  year      = {1970},
  doi       = {10.1007/BFb0079068}
}

@book{souriau1970structure,
  author    = {Souriau, Jean-Marie},
  title     = {Structure des syst{\`e}mes dynamiques},
  series    = {Ma{\^i}trises de math{\'e}matiques},
  publisher = {Dunod},
  address   = {Paris},
  year      = {1970}
}

@article{fiorenzaRogersSchreiber2016,
  author        = {Fiorenza, Domenico and Rogers, Christopher L. and Schreiber, Urs},
  title         = {Higher {$U(1)$}-Gerbe Connections in Geometric Prequantization},
  journal       = {Reviews in Mathematical Physics},
  volume        = {28},
  number        = {06},
  pages         = {1650012},
  year          = {2016},
  doi           = {10.1142/S0129055X16500124},
  eprint        = {1304.0236},
  archivePrefix = {arXiv},
  primaryClass  = {math-ph}
}

@misc{schreiber2016higherprequantum,
  author        = {Schreiber, Urs},
  title         = {Higher Prequantum Geometry},
  year          = {2016},
  eprint        = {1601.05956},
  archivePrefix = {arXiv},
  primaryClass  = {math-ph}
}

@article{Goldschmidt1967,
  author  = {Goldschmidt, Hubert},
  title   = {Integrability Criteria for Systems of Nonlinear Partial
             Differential Equations},
  journal = {Journal of Differential Geometry},
  volume  = {1},
  number  = {3--4},
  pages   = {269--307},
  year    = {1967},
  doi     = {10.4310/jdg/1214428094}
}

@misc{KhavkineSchreiber2017,
  author        = {Khavkine, Igor and Schreiber, Urs},
  title         = {Synthetic Geometry of Differential Equations:
                   I. Jets and Comonad Structure},
  year          = {2017},
  eprint        = {1701.06238},
  howpublished = {arXiv preprint arXiv:1701.06238},
  archivePrefix = {arXiv},
  primaryClass  = {math.DG}
}

@article{GaiottoKapustinSeibergWillett2015,
  author  = {Gaiotto, Davide and Kapustin, Anton and
             Seiberg, Nathan and Willett, Brian},
  title   = {Generalized Global Symmetries},
  journal = {Journal of High Energy Physics},
  volume  = {2015},
  number  = {2},
  pages   = {172},
  year    = {2015},
  doi     = {10.1007/JHEP02(2015)172},
  eprint  = {1412.5148},
  archivePrefix = {arXiv},
  primaryClass  = {hep-th}
}

@article{Seiberg1995Duality,
  author  = {Seiberg, Nathan},
  title   = {Electric--Magnetic Duality in Supersymmetric
             Non-Abelian Gauge Theories},
  journal = {Nuclear Physics B},
  volume  = {435},
  number  = {1--2},
  pages   = {129--146},
  year    = {1995},
  doi     = {10.1016/0550-3213(94)00023-8},
  eprint  = {hep-th/9411149},
  archivePrefix = {arXiv}
}

@article{Val91,
  author  = {Valentini, Antony},
  title   = {Signal-Locality, Uncertainty, and the Subquantum \(H\)-Theorem. I},
  journal = {Physics Letters A},
  volume  = {156},
  number  = {1--2},
  pages   = {5--11},
  year    = {1991},
  doi     = {10.1016/0375-9601(91)90116-P}
}

@article{VW05,
  author  = {Valentini, Antony and Westman, Hans},
  title   = {Dynamical Origin of Quantum Probabilities},
  journal = {Proceedings of the Royal Society A:
             Mathematical, Physical and Engineering Sciences},
  volume  = {461},
  number  = {2053},
  pages   = {253--272},
  year    = {2005},
  doi     = {10.1098/rspa.2004.1394}
}

@misc{Schreiber2014LinearHomotopy,
  author        = {Schreiber, Urs},
  title         = {Quantization via Linear Homotopy Types},
  year          = {2014},
  eprint        = {1402.7041},
  howpublished = {arXiv preprint arXiv:1402.7041},
  archivePrefix = {arXiv},
  primaryClass  = {math-ph}
}

@article{cattaneo1998fourdimensional,
  author  = {Cattaneo, Alberto S. and Cotta-Ramusino, Paolo and Fucito, Francesco
             and Martellini, Maurizio and Rinaldi, Maurizio and Tanzini, Alessandro
             and Zeni, Mauro},
  title   = {Four-Dimensional Yang--Mills Theory as a Deformation of Topological BF Theory},
  journal = {Communications in Mathematical Physics},
  volume  = {197},
  pages   = {571--621},
  year    = {1998}
}

@article{freidel1999spinfoamclassicalaction,
  author  = {Freidel, Laurent and Krasnov, Kirill},
  title   = {Spin Foam Models and the Classical Action Principle},
  journal = {Advances in Theoretical and Mathematical Physics},
  volume  = {2},
  pages   = {1183--1247},
  year    = {1999}
}

@article{cattaneo2014classicalbv,
  author  = {Cattaneo, Alberto S. and Mnev, Pavel and Reshetikhin, Nicolai},
  title   = {Classical BV Theories on Manifolds with Boundary},
  journal = {Communications in Mathematical Physics},
  volume  = {332},
  pages   = {535--603},
  year    = {2014}
}

@article{castelasimao2023bvequivalence,
  author  = {Castela Sim{\~a}o, F. M. and Cattaneo, Alberto S. and Schiavina, Michele},
  title   = {BV Equivalence with Boundary},
  journal = {Letters in Mathematical Physics},
  volume  = {113},
  number  = {25},
  year    = {2023}
}

@article{WangWen2020,
  author  = {Wang, Juven and Wen, Xiao-Gang},
  title   = {A Non-Perturbative Definition of the Standard Models},
  journal = {Physical Review Research},
  volume  = {2},
  pages   = {023356},
  year    = {2020},
  doi     = {10.1103/PhysRevResearch.2.023356},
  eprint  = {1809.11171},
  archivePrefix = {arXiv},
  primaryClass  = {hep-th}
}

@incollection{CohenJonesSegal1995,
  author    = {Cohen, Ralph L. and Jones, John D. S. and Segal, Graeme B.},
  title     = {Floer's Infinite-Dimensional Morse Theory and Homotopy Theory},
  booktitle = {The Floer Memorial Volume},
  series    = {Progress in Mathematics},
  volume    = {133},
  pages     = {297--325},
  publisher = {Birkh{\"a}user},
  year      = {1995},
  doi       = {10.1007/978-3-0348-9217-9_13}
}

@article{Cohen2019Floer,
  author  = {Cohen, Ralph L.},
  title   = {Floer Homotopy Theory, Revisited},
  journal = {arXiv preprint arXiv:1901.08694},
  year    = {2019}
}

@article{Manolescu2003,
  author  = {Manolescu, Ciprian},
  title   = {Seiberg--Witten--Floer Stable Homotopy Type of Three-Manifolds with $b_1=0$},
  journal = {Geometry \& Topology},
  volume  = {7},
  pages   = {889--932},
  year    = {2003},
  doi     = {10.2140/gt.2003.7.889}
}

@article{AbouzaidBlumberg2024,
  author  = {Abouzaid, Mohammed and Blumberg, Andrew J.},
  title   = {Foundation of Floer Homotopy Theory I: Flow Categories},
  journal = {arXiv preprint arXiv:2404.03193},
  year    = {2024}
}

@article{Blatter1994,
  author  = {Blatter, G. and Feigel'man, M. V. and
             Geshkenbein, V. B. and Larkin, A. I. and
             Vinokur, V. M.},
  title   = {Vortices in High-Temperature Superconductors},
  journal = {Reviews of Modern Physics},
  volume  = {66},
  pages   = {1125--1388},
  year    = {1994},
  doi     = {10.1103/RevModPhys.66.1125}
}

@article{Nagaosa2013,
  author  = {Nagaosa, Naoto and Tokura, Yoshinori},
  title   = {Topological Properties and Dynamics of
             Magnetic Skyrmions},
  journal = {Nature Nanotechnology},
  volume  = {8},
  pages   = {899--911},
  year    = {2013},
  doi     = {10.1038/nnano.2013.243}
}

@article{LevinWen2005,
  author  = {Levin, Michael A. and Wen, Xiao-Gang},
  title   = {String-Net Condensation: A Physical Mechanism
             for Topological Phases},
  journal = {Physical Review B},
  volume  = {71},
  pages   = {045110},
  year    = {2005},
  doi     = {10.1103/PhysRevB.71.045110}
}

@article{GrossWilczek1973Ultraviolet,
  author  = {Gross, David J. and Wilczek, Frank},
  title   = {Ultraviolet Behavior of Non-Abelian Gauge Theories},
  journal = {Physical Review Letters},
  volume  = {30},
  number  = {26},
  pages   = {1343--1346},
  year    = {1973},
  doi     = {10.1103/PhysRevLett.30.1343}
}

@misc{isham1992canonicalquantumgravityproblem,
      title={Canonical Quantum Gravity and the Problem of Time}, 
      author={Chris J. Isham},
      year={1992},
      eprint={gr-qc/9210011},
      archivePrefix={arXiv},
      primaryClass={gr-qc},
      url={https://arxiv.org/abs/gr-qc/9210011}, 
}

@article{LeeWald1990LocalSymmetries,
  author  = {Lee, Joohan and Wald, Robert M.},
  title   = {Local symmetries and constraints},
  journal = {Journal of Mathematical Physics},
  volume  = {31},
  number  = {3},
  pages   = {725--743},
  year    = {1990},
  doi     = {10.1063/1.528801}
}

@article{Sedlacek1982YangMills,
  author  = {Sedlacek, Steven},
  title   = {A Direct Method for Minimizing the
             Yang--Mills Functional over 4-Manifolds},
  journal = {Communications in Mathematical Physics},
  volume  = {86},
  pages   = {515--527},
  year    = {1982}
}

@article{AspinwallGreeneMorrison1993,
  author  = {Aspinwall, Paul S. and Greene, Brian R.
             and Morrison, David R.},
  title   = {Multiple Mirror Manifolds and Topology
             Change in String Theory},
  journal = {Physics Letters B},
  volume  = {303},
  pages   = {249--259},
  year    = {1993},
  doi     = {10.1016/0370-2693(93)91428-P}
}

@article{AspinwallGreeneMorrison1994,
  author  = {Aspinwall, Paul S. and Greene, Brian R.
             and Morrison, David R.},
  title   = {Calabi--Yau Moduli Space, Mirror Manifolds
             and Spacetime Topology Change in String Theory},
  journal = {Nuclear Physics B},
  volume  = {416},
  pages   = {414--480},
  year    = {1994},
  doi     = {10.1016/0550-3213(94)90321-2}
}