paper-qcoh.bib

@phdthesis{blechschmidt:phd,
  author = {Blechschmidt, I.},
  title = {Using the internal language of toposes in algebraic geometry},
  year = {2017},
  school = {University of Augsburg},
  url = {https://rawgit.com/iblech/internal-methods/master/notes.pdf}}

@book{caramello:tst,
  author = {Caramello, O.},
  title = {Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic `bridges'},
  publisher = {Oxford University Press},
  year = {2018}}

@article{kock:univ-proj-geometry,
  author = {Kock, A.},
  title = {Universal projective geometry via topos theory},
  journal = {J. Pure Appl. Algebra},
  volume = {9},
  number = {1},
  pages = {1--24},
  year = {1976}}

@inproceedings{reyes:cramer,
  author = {Reyes, G.},
  title = {Cramer's rule in the Zariski topos},
  booktitle = {Applications of sheaves},
  year = {1979},
  editor = {Fourman, M. and Mulvey, C. and Scott, D.},
  series = {Lecture Notes in Math.},
  volume = {753},
  publisher = {Springer},
  pages = {586--594}}

@misc{blechschmidt:generic-freeness,
  author = {Blechschmidt, I.},
  title = {An elementary and constructive proof of Grothendieck's generic freeness lemma},
  year = {2018},
  url = {https://arxiv.org/abs/1807.01231}}

@incollection{tierney:spectrum,
  author = {Tierney, M.},
  title = {On the spectrum of a ringed topos},
  year = {1976},
  booktitle = {Algebra, Topology, and Category Theory. A Collection of Papers in Honor of Samuel Eilenberg},
  publisher = {Academic Press},
  editor = {Heller, A. and Tierney, M.},
  pages = {189--210}}

@inproceedings{wraith:intuitionistic-algebra,
  author = {Wraith, G.},
  title = {Intuitionistic algebra: some recent developments in topos theory},
  booktitle = {Proceedings of the International Congress of Mathematicians (1978, Helsinki)},
  publisher = {Acad. Sci. Fennica, Helsinki},
  year = {1980},
  pages = {331--337}}

@article{bezem-buchholtz-coquand:syntactic-forcing-models,
  author = {Bezem, M. and Buchholtz, U. and Coquand, T.},
  title = {Syntactic forcing models for coherent logic},
  year = {2018},
  journal = {Indagationes Mathematicae},
  volume = {29},
  issue = {6},
  pages = {1441--1464}}

@article{caramello:definability,
  author = {Caramello, O.},
  title = {Universal models and definability},
  journal = {Math. Proc. Cambridge Philos. Soc.},
  volume = {152},
  number = {2},
  pages = {272--302},
  year = {2012}}

@phdthesis{henry:phd,
  author = {Henry, S.},
  year = {2013},
  school = {University of Michigan},
  url = {https://arxiv.org/abs/1305.3254}}

@misc{blechschmidt-hutzler-oldenziel:composition,
  author = {Blechschmidt, I. and Hutzler, M. and Oldenziel, A.},
  title = {Composition of internal theories},
  year = {2019, in preparation}}

@article{blass:topoi-and-computation,
  author = {Blass, A.},
  title = {Topoi and computation},
  year = {1988},
  journal = {Bull. Eur. Assoc. Theoret. Comp. Sci.},
  volume = {36},
  pages = {57--65}}

@inproceedings{blass:existential-fixed-point-logic,
  author = {Blass, A.},
  title = {Geometric invariance of existential fixed-point logic},
  booktitle = {Categories in Computer Science and Logic},
  editor = {Gray, J. and Scedrov, A.},
  series = {Contemp. Math.},
  publisher = {Amer. Math. Soc.},
  volume = {92},
  year = {1989},
  pages = {9--22}}

@article{blass:seven-trees,
  author = {Blass, A.},
  title = {Seven trees in one},
  journal = {J. Pure Appl. Algebra},
  volume = {103},
  pages = {1--21},
  year = {1995}}

@article{vickers:continuity,
  author = {Vickers, S.},
  title = {Continuity and geometric logic},
  volume = {12},
  number = {1},
  year = {2014},
  pages = {14--27},
  journal = {J. Appl. Log.},
  url = {https://www.cs.bham.ac.uk/~sjv/GeoAspects.pdf}}

@article{butz-johnstone:first-order,
  author = {Butz, C. and Johnstone, P.},
  title = {Classifying toposes for first-order theories},
  journal = {Ann. Pure Appl. Logic},
  year = {1998},
  volume = {91},
  number = {1},
  pages = {33--58}}

@book{riehl-verity:elements,
  author = {Riehl, E. and Verity, D.},
  title = {Elements of $\infty$-Category Theory},
  url = {http://www.math.jhu.edu/~eriehl/elements.pdf},
  year = {2019}}

@article{bauer-lumsdaine:bourbaki-witt,
  author = {Bauer, A. and Lumsdaine, P.},
  title = {On the Bourbaki--Witt principle in toposes},
  pages = {87--99},
  volume = {155},
  number = {1},
  year = {2013},
  journal = {Math. Proc. Cambridge Philos. Soc.}}

@inbook{blass:induction,
  author = {Blass, A.},
  title = {Well-ordering and induction in intuitionistic logic and topoi},
  booktitle = {Mathematical Logic and Theoretical Computer Science},
  series = {Lect. Notes Pure Appl. Math.},
  volume = {106},
  year = {1987},
  editor = {Kueker, D. and Lopez-Escobar, E. and Smith, C.},
  publisher = {Marcel Dekker},
  pages = {29--48}}

@book{johnstone:elephant,
  author = {Johnstone, P. T.},
  title = {Sketches of an Elephant: A Topos Theory Compendium},
  year = {2002},
  publisher = {Oxford University Press}}

@misc{vickers:sketches,
  author = {Vickers, S.},
  title = {Sketches for arithmetic universes},
  year = {2016},
  url = {https://arxiv.org/abs/1608.01559}}

@article{maietti:au,
  author = {Maietti, M.},
  title = {Joyal's arithmetic universes as list-arithmetic pretoposes},
  year = {2010},
  journal = {Theory Appl. Categ.},
  volume = {23},
  number = {3},
  pages = {39--83}}

@article{maietti-vickers:induction,
  author = {Maietti, M. and Vickers, S.},
  title = {An induction principle for consequence in arithmetic universes},
  journal = {J. Pure Appl. Algebra},
  volume = {216},
  number = {8--9},
  year = {2012},
  pages = {2049--2067}}

@book{adamek-rosicky:presentable,
  title = {Locally Presentable and Accessible Categories},
  author = {Adámek, J. and Rosicky, J.},
  series = {London Math. Soc. Lecture Note Ser.},
  year = {1994},
  publisher = {Cambridge University Press},
  volume = {189}}