sources.bib

@article{Sati,
	doi = {10.1063/1.5007185},
  
	url = {https://doi.org/10.1063%2F1.5007185},
  
	year = 2018,
	month = {6},
  
	publisher = {{AIP} Publishing},
  
	volume = {59},
  
	number = {6},
  
	pages = {062304},
  
	author = {Hisham Sati},
  
	title = {Framed M-branes, corners, and topological invariants},
  
	journal = {Journal of Mathematical Physics}
}

@misc{Sol,
    title = {Wissenschaft der Logik},
    author = {Georg Wilhelm Friedrich Hegel},
    year = {1813},
    Note = {Ausgabe B},
}

@online{nlabsol,
    title = "Science of Logic",
    url  = "https://ncatlab.org/nlab/show/Science+of+Logic",
}

@online{nlabie,
    title = "Intensive or extensive quantity",
    url  = "https://ncatlab.org/nlab/show/intensive+or+extensive+quantity",
}

@online{Nlabintegral,
    title = "Integration+of+differential+forms",
    url  = "https://ncatlab.org/nlab/show/integration+of+differential+forms#InCohesiveHomotopyTypeTheory",
}

@article{Lawvere92,
author = {F. William Lawvere},
editor = {Javier Echeverria and Andoni Ibarra and Thomas Mormann},
doi = {doi:10.1515/9783110870299.14},
url = {https://doi.org/10.1515/9783110870299.14},
title = {Categories of Space and of Quantity},
booktitle = {The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations},
year = {2012},
publisher = {De Gruyter},
pages = {14--30},
lastchecked = {2022-05-25}
}

@article{Law96,
author = {F. William Lawvere},
doi = {10.1007/BF00122250},
url = {https://doi.org/10.1007/BF00122250},
title = {Unity and identity of opposites in calculus and physics},
journal = {Applied Categorical Structures},
}

@misc{dcct,
    title = {Differential Cohomology in a cohesive Topos},
    author = {Urs Schreiber},
    url = {https://ncatlab.org/schreiber/files/dcct170811.pdf}
}

 Cohesive Toposes – Combinatorial and Infinitesimal Cases 

@misc{Coh,
    title = {Cohesive Toposes – Combinatorial and Infinitesimal Cases},
    author = {F. William Lawvere},
    url = {https://github.com/mattearnshaw/lawvere/blob/master/pdfs/2008-cohesive-toposes-combinatorial-and-infinitesimal-cases.pdf},
    year = {2008},
}

@book{Sketches,
    title = {Sketches of an Elephant},
    author = {Peter J. Johnstone},
    year = {2002},
    publisher = {Oxford University Press},
    isbn = {0198534256},
}


@InProceedings{Law91,
author="F. William Lawvere",
editor="Carboni, Aurelio
and Pedicchio, Maria Cristina
and Rosolini, Guiseppe",
title="Some thoughts on the future of category theory",
booktitle="Category Theory",
year="1991",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="1--13",
isbn="978-3-540-46435-8"
}


@article{Loef96,
	journal = {Nordic Journal of Philosophical Logic},
	pages = {11--60},
	year = {1996},
	volume = {1},
	title = {On the Meanings of the Logical Constants and the Justifications of the Logical Laws},
	number = {1},
	author = {Per Martin{-}L\"{o}f},
	publisher = {Scandinavian University Press}
}

@misc{Grass,
    title = {Die Wissenschaft der extensiven Grössen oder die Ausdehnungslehre},
    author = {Hermann Grassmann},
    year = {1844},
    url = {https://www.deutschestextarchiv.de/book/show/grassmann_ausdehnungslehre_1844}
}

@InProceedings{Shu,
author="Daniel R. Licata, Michael Shulman",
editor="Artemov, Sergei
and Nerode, Anil",
title="Adjoint Logic with a 2-Category of Modes",
booktitle="Logical Foundations of Computer Science",
year="2016",
publisher="Springer International Publishing",
address="Cham",
pages="219--235",
isbn="978-3-319-27683-0"
}

@misc{Lein,
      title={Basic Category Theory}, 
      author={Tom Leinster},
      year={2016},
      eprint={1612.09375},
      archivePrefix={arXiv},
      primaryClass={math.CT}
}

@book{CPhil,
    title = {Categories for the Working Philosopher},
    author = {Elaine Landry},
    year = {2017},
    publisher = {Oxford Scholarship Online},
    isbn = {9780198748991},
    doi = {9780198748991.001.0001}
}

@misc{Russ,
    title = {A history of western philosophy},
    author = {Bertrand Russell},
    year = {1967},
    publisher = {Simon and Schuster}
}

@misc{SSS,
  doi = {10.48550/ARXIV.2103.01877},
  
  url = {https://arxiv.org/abs/2103.01877},
  
  author = {Sati, Hisham and Schreiber, Urs},
  
  keywords = {High Energy Physics - Theory (hep-th), Mathematical Physics (math-ph), Algebraic Topology (math.AT), Geometric Topology (math.GT), FOS: Physical sciences, FOS: Physical sciences, FOS: Mathematics, FOS: Mathematics},
  
  title = {M/F-Theory as Mf-Theory},
  
  publisher = {arXiv},
  
  year = {2021},
  
  copyright = {arXiv.org perpetual, non-exclusive license}
}

@misc{vH,
    title = {Unvollkommenes Gedicht über die Ewigkeit},
    author = {Albrecht von Haller},
    year = {1732},
    book = {Versuch Schweizerischer Gedichte},
}

@article{Ad03,
author = {Awodey, Steve},
year = {2004},
month = {02},
pages = {54-64},
title = {An Answer to Hellman's Question: 'Does Category Theory Provide a Framework for Mathematical Structuralism?'},
volume = {12},
journal = {Philosophia Mathematica},
doi = {10.1093/philmat/12.1.54}
}

@misc{SQuant,
  doi = {10.48550/ARXIV.1402.7041},
  
  url = {https://arxiv.org/abs/1402.7041},
  
  author = {Schreiber, Urs},
  
  keywords = {Mathematical Physics (math-ph), High Energy Physics - Theory (hep-th), Algebraic Topology (math.AT), Logic (math.LO), FOS: Physical sciences, FOS: Physical sciences, FOS: Mathematics, FOS: Mathematics, 03-06, 18F99, 19-06, 55-02, 81-02},
  
  title = {Quantization via Linear homotopy types},
  
  publisher = {arXiv},
  
  year = {2014},
  
  copyright = {arXiv.org perpetual, non-exclusive license}
}

@misc{SSOrb,
  doi = {10.48550/ARXIV.2008.01101},
  
  url = {https://arxiv.org/abs/2008.01101},
  
  author = {Sati, Hisham and Schreiber, Urs},
  
  keywords = {Algebraic Topology (math.AT), High Energy Physics - Theory (hep-th), Differential Geometry (math.DG), Geometric Topology (math.GT), FOS: Mathematics, FOS: Mathematics, FOS: Physical sciences, FOS: Physical sciences},
  
  title = {Proper Orbifold Cohomology},
  
  publisher = {arXiv},
  
  year = {2020},
  
  copyright = {arXiv.org perpetual, non-exclusive license}
}

@misc{Stalk,
    
    

    title = {Modern Physics formalized in Modal Homotopy Type Theory},
    
    author = {Schreiber, Urs},

    Note = {expanded notes for a talk at \emph{FOMUS – Foundations of Mathematics}},

    year = {2016}
}

@article{SSh,
	doi = {10.4204/eptcs.158.8},
  
	url = {https://doi.org/10.4204%2Feptcs.158.8},
  
	year = 2014,
	month = {7},
  
	publisher = {Open Publishing Association},
  
	volume = {158},
  
	pages = {109--126},
  
	author = {Urs Schreiber and Michael Shulman},
  
	title = {Quantum Gauge Field Theory in Cohesive Homotopy Type Theory},
  
	journal = {Electronic Proceedings in Theoretical Computer Science}
}

@book{Cor,
    title = {Modal homotopy type theory},
    author = {David Corfield},
    year = {2020},
    publisher = {Oxford Scholarship Online},
    isbn = {9780198853404},
}

@article{Kli,
 ISSN = {00269662},
 URL = {http://www.jstor.org/stable/27901536},
 author = {George L. Kline},
 journal = {The Monist},
 number = {1},
 pages = {34--75},
 publisher = {Oxford University Press},
 title = {Some recent reinterpretations of Hegel's philosophy},
 urldate = {2022-05-30},
 volume = {48},
 year = {1964}
}

@book{Htt,
    title = {Simplicial Homotopy Theory},
    author = {Paul G. Goerss, John F. Jardine},
    year = {1999},
    publisher = {Birkhäuser Basel},
    isbn = {978-3-0348-8707-6},
    doi = {978-3-0348-8707-6},
}

@Book{hott,
  author =    {The {Univalent Foundations Program}},
  title =     {Homotopy Type Theory: Univalent Foundations of Mathematics},
  publisher = {\url{https://homotopytypetheory.org/book}},
  address =   {Institute for Advanced Study},
  year =      2013}
  
@book{Law82,
    title = {Categories in Continuum Physics},
    author = {F. William Lawvere, Stephen H. Schanuel},
    year = {1986},
    publisher = {Springer Berlin},
    isbn = {978-3-540-16096-0},
    series = {Lecture Notes in Mathematics},
    doi = {BFb0076928},
}

Hegel, Georg Wilhelm Friedrich. Encyclopädie Der Philosophischen Wissenschaften Im Grundrisse. Heidelberg: Oßwald, 1827. Print.

  @book{EoS,
    title = {Encyclopaedie Der Philosophischen Wissenschaften Im Grundrisse},
    author = {Georg Wilhelm Friedrich Hegel},
    year = {1987},
}


@misc{Shuhott,
  doi = {10.48550/ARXIV.1703.03007},
  
  url = {https://arxiv.org/abs/1703.03007},
  
  author = {Shulman, Michael},
  
  keywords = {Category Theory (math.CT), Logic (math.LO), FOS: Mathematics, FOS: Mathematics},
  
  title = {Homotopy type theory: the logic of space},
  
  publisher = {arXiv},
  
  year = {2017},
  
  copyright = {arXiv.org perpetual, non-exclusive license}
}

@book{Fichte,
    title = {Grundlage der gesammten Wissenschaftslehre},
    author = {Johann Gottlieb Fichte},
    year = {1794},
}