@misc(AwodeyHoTT,
 author       = "S. Awodey",
 year         = "2010",
 title        = "Type theory and homotopy",
 note         = "\href {http://arxiv.org/abs/1010.1810}{arXiv:1010.1810}",
)
@article(AB,
 author       = "S. Awodey and L. Birkedal",
 year         = "2003",
 title        = "Elementary axioms for local maps of toposes",
 journal      = "Journal of Pure and Applied Algebra",
 volume       = "177",
 number       = "3",
 pages        = "215--230",
 doi          = "10.1016/S0022-4049(02)00283-9",
)
@article(BD,
 author       = "J. Baez and J. Dolan",
 year         = "1995",
 title        = "Higher-Dimensional Algebra and Topological Quantum Field Theory",
 journal      = "J. Math. Phys.",
 volume       = "36",
 number       = "11",
 pages        = "6073–6105",
 doi          = "10.1063/1.531236",
 note         = "\href {http://arxiv.org/abs/q-alg/9503002}{arXiv:q-alg/9503002}",
)
@article(BHR,
 author       = "J. Baez and E. Hoffnung and L. Rogers",
 year         = "2010",
 title        = "Categorified Symplectic Geometry and the Classical String",
 journal      = "Commun. Math. Phys.",
 volume       = "293",
 number       = "3",
 pages        = "701--725",
 doi          = "10.1007/s00220-009-0951-9",
 note         = "\href {http://arxiv.org/abs/0808.0246}{arXiv:0808.0246}",
)
@incollection(Rosetta,
 author       = "J. Baez and M. Stay",
 year         = "2011",
 title        = "Physics, Topology, Logic and Computation: A {R}osetta Stone",
 editor       = "Bob Coecke",
 booktitle    = "New Structures for Physics",
 series       = "Lecture Notes in Physics",
 volume       = "813",
 publisher    = "Springer",
 pages        = "95--174",
 doi          = "10.1007/978-3-642-12821-9\_2",
 note         = "\href {http://arxiv.org/abs/0903.0340}{arXiv:0903.0340}",
)
@article(SmoothSpaces,
 author       = "J. C. Baez and A. E. Hoffnung",
 year         = "2011",
 title        = "Convenient categories of smooth spaces",
 journal      = "Trans. Amer. Math. Soc.",
 volume       = "363",
 number       = "11",
 pages        = "5789--5825",
 doi          = "10.1090/S0002-9947-2011-05107-X",
 note         = "\href {http://arxiv.org/abs/0807.1704}{arXiv:0807.1704}",
)
@unpublished(BarwickSchommer-Pries,
 author       = "C. Barwick and C. Schommer-Pries",
 title        = "On the Unicity of the Homotopy Theory of Higher Categories",
 note         = "\href {http://arxiv.org/abs/1112.0040}{arXiv:1112.0040}",
)
@article(Bernstein,
 author       = "J. Bernstein",
 year         = "1974",
 title        = "Spontaneous symmetry breaking, gauge theories, the {H}iggs mechanism and all that",
 journal      = "Rev. Mod. Phys.",
 volume       = "46",
 pages        = "7--48",
 doi          = "10.1103/RevModPhys.46.7",
)
@article(Brown,
 author       = "K. Brown",
 year         = "1973",
 title        = "Abstract homotopy theory and generalized sheaf cohomology",
 journal      = "Transactions of the American Mathematical Society",
 volume       = "186",
 pages        = "419--458",
 doi          = "10.1090/S0002-9947-1973-0341469-9",
)
@book(Brylinski,
 author       = "J.-L. Brylinski",
 year         = "1993",
 title        = "Loop Spaces, Characteristic Classes, and Geometric Quantization",
 publisher    = "Birkh{\"a}user",
 doi          = "10.1007/978-0-8176-4731-5",
)
@article(CJKP,
 author       = "A. Carboni and G. Janelidze and G. M. Kelly and R. Par{\'e}",
 year         = "1997",
 title        = "On localization and stabilization for factorization systems",
 journal      = "Appl. Categ. Structures",
 volume       = "5",
 number       = "1",
 pages        = "1--58",
 doi          = "10.1023/A:1008620404444",
)
@article(CHK,
 author       = "C. Cassidy and M. H{\'e}bert and G. M. Kelly",
 year         = "1985",
 title        = "Reflective subcategories, localizations and factorization systems",
 journal      = "J. Austral. Math. Soc. Ser. A",
 volume       = "38",
 number       = "3",
 pages        = "287--329",
 doi          = "10.1017/S1446788700023624",
)
@misc(CERNPressRelease,
 author       = "CERN",
 year         = "2012",
 title        = "CERN experiments observe particle consistent with long-sought Higgs boson",
 howpublished = "\newline \href {http://press-archived.web.cern.ch/press-archived/PressReleases/Releases2012/PR17.12E.html}{press-archived.web.cern.ch/press-archived/PressReleases/Releases2012/PR17.12E.html}",
)
@inproceedings(CD,
 author       = "P. Clairambault and P. Dybjer",
 year         = "2011",
 title        = "The biequivalence of locally cartesian closed categories and {M}artin-{L}\"{o}f type theories",
 booktitle    = "Proceedings of the 10th international conference on Typed lambda calculi and applications",
 series       = "TLCA'11",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "91--106",
 doi          = "10.1007/978-3-642-21691-6\_10",
 url          = "http://dl.acm.org/citation.cfm?id=2021953.2021965",
)
@misc(Coquand,
 author       = "T. Coquand",
 title        = "For{M}ath: Formalisation of Mathematics research project",
 howpublished = "\newline \href {http://wiki.portal.chalmers.se/cse/pmwiki.php/ForMath/ForMath}{{wiki.portal.chalmers.se/cse/pmwiki.php/ForMath/ForMath}}",
)
@book(Deligne,
 author       = "P. Deligne and P. Etingof and D. Freed and L. Jeffrey and D. Kazhdan and J. Morgan and D.R. Morrison and E. Witten",
 year         = "1999",
 title        = "Quantum Fields and Strings, A course for mathematicians",
 publisher    = "Amer. Math. Soc.",
)
@misc(SchreiberErlangen,
 author       = "D. Fiorenza and C. L. Rogers and U. Schreiber",
 year         = "2013",
 title        = "Higher geometric prequantum theory",
 note         = "\href {http://arxiv.org/abs/1304.0236}{arXiv:1304.0236}",
)
@article(FSS,
 author       = "D. Fiorenza and H. Sati and U. Schreiber",
 year         = "2013",
 title        = "Extended higher cup-product {C}hern-{S}imons theories",
 journal      = "Journal of Geometry and Physics",
 volume       = "74",
 pages        = "130--163",
 doi          = "10.1016/j.geomphys.2013.07.011",
 note         = "\href {http://arxiv.org/abs/1207.5449}{arXiv:1207.5449}",
)
@misc(CS,
 author       = "D. Fiorenza and U. Schreiber",
 title        = "$\infty $-{C}hern-{S}imons theory",
 howpublished = "\newline \href {http://ncatlab.org/schreiber/show/infinity-Chern-Simons+theory}{ncatlab.org/schreiber/show/infinity-Chern-Simons+theory}",
)
@article(FSSt,
 author       = "D. Fiorenza and U. Schreiber and J. Stasheff",
 year         = "2012",
 title        = "{\v C}ech cocycles for differential characteristic classes",
 journal      = "Advances in Theoretical and Mathematical Phyiscs",
 volume       = "16",
 number       = "1",
 pages        = "149--250",
 doi          = "10.4310/ATMP.2012.v16.n1.a5",
 note         = "\href {http://arxiv.org/abs/1011.4735}{arXiv:1011.4735}",
)
@incollection(Freed,
 author       = "D. Freed",
 year         = "2002",
 title        = "Dirac charge quantization and generalized differential cohomology",
 booktitle    = "Surveys in Differential Geometry",
 volume       = "7",
 publisher    = "Int. Press",
 pages        = "129--194",
 doi          = "10.4310/SDG.2002.v7.n1.a6",
 note         = "\href {http://arxiv.org/abs/hep-th/0011220}{arXiv:hep-th/0011220}",
)
@book(HT,
 author       = "M. Henneaux and C. Teitelboim",
 year         = "1992",
 title        = "Quantization of gauge systems",
 publisher    = "Princeton University Press",
)
@incollection(Bohrification,
 author       = "C. Heunen and N. P. Landsman and B. Spitters",
 year         = "2011",
 title        = "Bohrification",
 editor       = "H. Halvorson",
 booktitle    = "Deep Beauty",
 publisher    = "Cambridge University Press",
 pages        = "271--313",
 doi          = "10.1017/CBO9780511976971.008",
 note         = "\href {http://arxiv.org/abs/0909.3468}{arXiv:0909.3468}",
)
@article(HopkinsSinger,
 author       = "M. Hopkins and I. Singer",
 year         = "2005",
 title        = "Quadratic Functions in Geometry, Topology, and {M}-Theory",
 journal      = "J. Differential Geom.",
 volume       = "70",
 number       = "3",
 pages        = "329--452",
 note         = "\href {http://arxiv.org/abs/math/0211216}{arXiv:math/0211216}",
)
@article(Kan,
 author       = "I.V. Kanatchikov",
 year         = "2004",
 title        = "Precanonical quantization of {Y}ang-{M}ills fields and the functional {S}chroedinger representation",
 journal      = "Rept. Math. Phys.",
 volume       = "53",
 pages        = "181--193",
 doi          = "10.1016/S0034-4877(04)90011-0",
 note         = "\href {http://arxiv.org/abs/hep-th/0301001}{arXiv:hep-th/0301001}",
)
@unpublished(KLVunivalence,
 author       = "C. Kapulkin and P. L. Lumsdaine and V. Voevodsky",
 year         = "2012",
 title        = "Univalence in simplicial sets",
 note         = "\href {http://arxiv.org/abs/1203.2553}{arXiv:1203.2553}",
)
@book(kock:sdg,
 author       = "A. Kock",
 year         = "1981",
 title        = "Synthetic differential geometry",
 series       = "London Mathematical Society Lecture Note Series",
 volume       = "51",
 publisher    = "Cambridge University Press",
 address      = "Cambridge",
 doi          = "10.1017/CBO9780511550812",
)
@book(lavendhomme:sdg,
 author       = "R. Lavendhomme",
 year         = "1996",
 title        = "Basic concepts of synthetic differential geometry",
 series       = "Kluwer Texts in the Mathematical Sciences",
 volume       = "13",
 publisher    = "Kluwer Academic Publishers Group",
 address      = "Dordrecht",
 doi          = "10.1007/978-1-4757-4588-7\_8",
 note         = "Translated from the 1987 French original, Revised by the author",
)
@article(Lawvere,
 author       = "W. Lawvere",
 year         = "2007",
 title        = "Axiomatic cohesion",
 journal      = "Theory and Applications of Categories",
 volume       = "19",
 number       = "3",
 pages        = "41--49",
 note         = "\href {http://www.tac.mta.ca/tac/volumes/19/3/19-03abs.html}{www.tac.mta.ca/tac/volumes/19/3/19-03abs.html}",
)
@article(Lerman,
 author       = "E. Lerman",
 year         = "2010",
 title        = "Orbifolds as stacks?",
 journal      = "L'Enseign. Math.",
 volume       = "56",
 number       = "3--4",
 pages        = "315--363",
 doi          = "10.4171/LEM/56-3-4",
 note         = "\href {http://arxiv.org/abs/0806.4160}{arXiv:0806.4160}",
)
@book(LurieHTT,
 author       = "J. Lurie",
 year         = "2009",
 title        = "Higher topos theory",
 series       = "Annals of Mathematics Studies",
 volume       = "170",
 publisher    = "Princeton University Press",
 note         = "\href {http://arxiv.org/abs/math/0608040}{arXiv:math.CT/0608040}",
)
@article(LurieTQFT,
 author       = "J. Lurie",
 year         = "2009",
 title        = "On the Classification of Topological Field Theories",
 journal      = "Current Developments in Mathematics",
 volume       = "2008",
 pages        = "129--280",
 doi          = "10.4310/CDM.2008.v2008.n1.a3",
 note         = "\href {http://arxiv.org/abs/0905.0465}{arXiv:0905.0465}",
)
@book(MartinLoef,
 author       = "P. Martin-L{\"o}f",
 year         = "1984",
 title        = "Intuitionistic type theory",
 series       = "Studies in Proof Theory 1",
 publisher    = "Bibliopolis, Naples",
)
@book(GS,
 author       = "M.G{\"o}ckeler and T. Sch{\"u}cker",
 year         = "1987",
 title        = "Differential geometry, gauge theories, and gravity",
 series       = "Cambridge monographs on Mathematical Physics",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511628818",
)
@article(MoerdijkPronk,
 author       = "I. Moerdijk and D. Pronk",
 year         = "1997",
 title        = "Orbifolds, sheaves and groupoids",
 journal      = "K-theory",
 volume       = "12",
 pages        = "3--21",
 doi          = "10.1023/A:1007767628271",
)
@book(SIA,
 author       = "I. Moerdijk and G. E. Reyes",
 year         = "1991",
 title        = "Models for smooth infinitesimal analysis",
 publisher    = "Springer-Verlag",
 address      = "New York",
 doi          = "10.1007/978-1-4757-4143-8",
)
@article(NSS,
 author       = "T. Nikolaus and U. Schreiber and D. Stevenson",
 year         = "2014",
 title        = "Principal $\infty $-bundles -- General theory",
 journal      = "Journal of Homotopy and Related Structures",
 note         = "\href {http://arxiv.org/abs/1207.0248}{arXiv:1207.0248}",
)
@mastersthesis(NuitenThesis,
 author       = "J. Nuiten",
 year         = "2013",
 title        = "Cohomological quantization of local boundary prequantum field theory",
 school       = "University Utrecht",
 address      = "the Netherlands",
 note         = "\href {http://dspace.library.uu.nl/handle/1874/282756}{dspace.library.uu.nl/handle/1874/282756}",
)
@article(RS,
 author       = "L. O‘Raifeartaigh and N. Straumann",
 year         = "2000",
 title        = "Gauge Theory: Historical Origins and Some Modern Developments",
 journal      = "Rev. Mod. Phys.",
 volume       = "72",
 pages        = "1--23",
 doi          = "10.1103/RevModPhys.72.1",
)
@book(hottbook,
 author       = "The Univalent Foundations Program",
 year         = "2013",
 title        = "Homotopy Type Theory: Univalent Foundations of Mathematics",
 publisher    = "\href {http://homotopytypetheory.org/book/}{homotopytypetheory.org/book/}",
)
@phdthesis(CR,
 author       = "C. Rogers",
 year         = "2011",
 title        = "Higher Symplectic Geometry",
 school       = "UC Riverside",
 note         = "\href {http://arxiv.org/abs/1106.4068}{arXiv:1106.4068}",
)
@book(SatiSchreiber,
 author       = "H. Sati and U. Schreiber",
 year         = "2011",
 title        = "Mathematical Foundations of Quantum Field and Perturbative String Theory",
 series       = "Proceedings of symposia in pure mathematics",
 volume       = "83",
 publisher    = "American Mathematical Society",
 doi          = "10.1090/pspum/083",
 note         = "\href {http://arxiv.org/abs/1109.0955}{arXiv:1109.0955}",
)
@article(SSS,
 author       = "H. Sati and U. Schreiber and J. Stacheff",
 year         = "2012",
 title        = "Twisted differential String- and Fivebrane-structures",
 journal      = "Communications in Mathematical Physics",
 volume       = "315",
 number       = "1",
 pages        = "169--213",
 doi          = "10.1007/s00220-012-1510-3",
 note         = "\href {http://arxiv.org/abs/0910.4001}{arXiv:0910.4001}",
)
@misc(SchreiberCohesion,
 author       = "U. Schreiber",
 year         = "2012",
 title        = "Differential cohomology in a cohesive $\infty $-topos",
 note         = "\href {http://arxiv.org/abs/1310.7930}{arXiv:1310.7930}",
)
@misc(SchreiberLectures,
 author       = "U. Schreiber",
 year         = "2012",
 title        = "Twisted smooth cohomology in string theory",
 howpublished = "ESI Lecture series",
 note         = "\newline \href {http://ncatlab.org/nlab/show/twisted+smooth+cohomology+in+string+theory}{ncatlab.org/nlab/show/twisted+smooth+cohomology+in+string+theory}",
)
@misc(CohesiveSites,
 author       = "U. Schreiber",
 title        = "$\infty $-cohesive site",
 howpublished = "\href {http://ncatlab.org/nlab/show/infinity-cohesive+site}{ncatlab.org/nlab/show/infinity-cohesive+site}",
)
@misc(ShulmanCohesion,
 author       = "M. Shulman",
 title        = "Internalizing the External, or The Joys of Codiscreteness",
 howpublished = "\newline \href {http://golem.ph.utexas.edu/category/2011/11/internalizing_the_external_or.html}{golem.ph.utexas.edu/category/2011/11/internalizing\_the\_external\_or.html}",
)
@misc(ShulmanSubfibrations,
 author       = "M. Shulman",
 title        = "Reflective Subfibrations, Factorization Systems, and Stable Units",
 howpublished = "\newline \href {http://golem.ph.utexas.edu/category/2011/12/reflective_subfibrations_facto.html}{golem.ph.utexas.edu/category/2011/12/reflective\_subfibrations\_facto.html}",
)
@misc(CohesiveCoq,
 author       = "M. Shulman",
 year         = "2011",
 title        = "{\tt Coq} code for cohesive homotopy type theory",
 howpublished = "\newline \href {https://github.com/mikeshulman/HoTT/tree/modalities/Coq/Subcategories}{github.com/mikeshulman/HoTT/tree/modalities/Coq/Subcategories}",
)
@misc(ShulmanDirected,
 author       = "M. Shulman",
 year         = "2012",
 title        = "Directed homotopy type theory",
 howpublished = "\newline \href {http://golem.ph.utexas.edu/category/2012/06/directed_homotopy_type_theory.html}{golem.ph.utexas.edu/category/2012/06/directed\_homotopy\_type\_theory.html}",
)
@misc(ShulmanCourse,
 author       = "M. Shulman",
 year         = "2012",
 title        = "Minicourse on homotopy type theory",
 howpublished = "\newline \href {http://www.math.ucsd.edu/~mshulman/hottminicourse2012/}{www.math.ucsd.edu/~mshulman/hottminicourse2012/}",
)
@unpublished(ShulmanUnivalence,
 author       = "M. Shulman",
 year         = "2012",
 title        = "Univalence for inverse diagrams and homotopy canonicity",
 note         = "\href {http://arxiv.org/abs/1203.3253}{arXiv:1203.3253}",
)
@unpublished(ShulmanUnivalence2,
 author       = "M. Shulman",
 year         = "2013",
 title        = "The univalence axiom for elegant {R}eedy presheaves",
 note         = "\href {http://arxiv.org/abs/1307.6248}{arXiv:1307.6248}",
)
@unpublished(ShulmanLumsdaine,
 author       = "M. Shulman and P. L. Lumsdaine",
 title        = "Higher inductive types",
 note         = "In preparation",
)
@misc(Coq,
 author       = "Coq development team",
 title        = "The {C}oq proof assistant",
 howpublished = "\href {http://coq.inria.fr/}{coq.inria.fr/}",
)
@article(Voevodsky,
 author       = "V. Voevodsky",
 year         = "2011",
 title        = "Univalent foundations of mathematics",
 journal      = "Logic, Language, Information and Computation",
 doi          = "10.1007/978-3-642-20920-8\_4",
 note         = "\href {http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html}{www.math.ias.edu/\~{ }vladimir/Site3/Univalent\_Foundations.html}",
)
@unpublished(Wang,
 author       = "J. Wang",
 year         = "2011",
 title        = "The moduli stack of {$G$}-bundles",
 note         = "\href {http://arxiv.org/abs/1104.4828}{arXiv:1104.4828}",
)