|
Failed to load latest commit information. |
|
images
|
Final version of the slides
|
Jul 8, 2019
|
|
|
.gitignore
|
Ignore vrb files
|
Oct 5, 2018
|
|
|
README.md
|
Final version of the Edinburgh slides
|
Jul 10, 2019
|
|
|
abstract-colloquium-logicum2018.txt
|
Abstract for planned CL2018 talk
|
May 16, 2018
|
|
|
abstract-como2018.tex
|
Abstract for the topos theory conference in Como!
|
May 30, 2018
|
|
|
abstract-filmat2018.tex
|
Beginning of the paper for the FILMAT proceedings
|
Oct 27, 2018
|
|
|
abstract-ihes2015.pdf
|
typo
|
Nov 2, 2015
|
|
|
abstract-ihes2015.tex
|
typo
|
Nov 2, 2015
|
|
|
abstract-unilog2018.tex
|
typo
|
Mar 20, 2018
|
|
|
bibliography.bib
|
typo
|
Nov 3, 2018
|
|
|
draft-mo-answer.txt
|
to do
|
Feb 15, 2018
|
|
|
generic-freeness.txt
|
Finished the section on Grothendieck's generic freeness lemma
|
Mar 23, 2017
|
|
|
kripke-joyal-semantics.pdf
|
Slide containing only the Kripke-Joyal semantics
|
Jun 21, 2014
|
|
|
kripke-joyal-semantics.tex
|
Slide containing only the Kripke-Joyal semantics
|
Jun 21, 2014
|
|
|
notes.pdf
|
regen pdf
|
Oct 22, 2018
|
|
|
notes.tex
|
typo
|
Sep 12, 2019
|
|
|
paper-composition.pdf
|
Stub for joint paper on composition of internal theories
|
Mar 7, 2019
|
|
|
paper-composition.tex
|
Stub for joint paper on composition of internal theories
|
Mar 7, 2019
|
|
|
paper-filmat.tex
|
to do
|
Feb 20, 2019
|
|
|
paper-flabby-objects.bib
|
Final draft
|
Oct 21, 2018
|
|
|
paper-flabby-objects.pdf
|
more typos (thanks to aspell)
|
Oct 22, 2018
|
|
|
paper-flabby-objects.tex
|
A couple of small fixes and additions (thanks to the anonymous referee)
|
Jul 31, 2019
|
|
|
paper-generic-freeness.bib
|
typo
|
Nov 3, 2018
|
|
|
paper-generic-freeness.pdf
|
Fixed minor typos and added Giuseppe Rosolini to the acknowledgments
|
Jun 19, 2018
|
|
|
paper-generic-freeness.tex
|
Remove weird sentence (thanks to the anonymous referee)
|
Mar 26, 2019
|
|
|
paper-macneille-reals.bib
|
Version as uploaded to the arXiv
|
Feb 20, 2019
|
|
|
paper-macneille-reals.pdf
|
Version as uploaded to the arXiv
|
Feb 20, 2019
|
|
|
paper-macneille-reals.tex
|
Version as uploaded to the arXiv
|
Feb 20, 2019
|
|
|
paper-qcoh.bib
|
A couple more references
|
May 5, 2019
|
|
|
paper-qcoh.pdf
|
A couple more references
|
May 5, 2019
|
|
|
paper-qcoh.tex
|
Remark regarding a more minimal formulation
|
May 8, 2019
|
|
|
paper-reflection.bib
|
RRS_2 passes from the metatheory to sheaf models (WIP)
|
May 15, 2019
|
|
|
paper-reflection.pdf
|
typo, to do
|
May 11, 2019
|
|
|
paper-reflection.tex
|
RRS_2 passes from the metatheory to sheaf models (WIP)
|
May 15, 2019
|
|
|
paper-wlog.bib
|
typo
|
Nov 3, 2018
|
|
|
paper-wlog.tex
|
to do
|
Jun 21, 2018
|
|
|
poster.pdf
|
typo
|
Jun 20, 2014
|
|
|
poster.tex
|
Directory reorganization
|
Nov 25, 2015
|
|
|
slides-augsburg2016.pdf
|
Reorganization
|
Jun 1, 2016
|
|
|
slides-augsburg2016.tex
|
use https where possible
|
Oct 15, 2018
|
|
|
slides-bayreuth2018.pdf
|
Version of the slides as they'll go live
|
Sep 15, 2018
|
|
|
slides-bayreuth2018.tex
|
Version of the slides as they'll go live
|
Sep 15, 2018
|
|
|
slides-birmingham2019.pdf
|
Notes finished
|
May 2, 2019
|
|
|
slides-birmingham2019.tex
|
Note slides finished
|
Jul 10, 2019
|
|
|
slides-cambridge2016.pdf
|
typo
|
Jun 1, 2016
|
|
|
slides-cambridge2016.tex
|
use https where possible
|
Oct 15, 2018
|
|
|
slides-como2018.pdf
|
Link to Matthias's thesis
|
Apr 3, 2019
|
|
|
slides-como2018.tex
|
Link to Matthias's thesis
|
Apr 3, 2019
|
|
|
slides-duesseldorf2017.pdf
|
Slides of today's talk
|
Jul 21, 2017
|
|
|
slides-duesseldorf2017.tex
|
use https where possible
|
Oct 15, 2018
|
|
|
slides-edinburgh2019.pdf
|
Final version of the Edinburgh slides
|
Jul 10, 2019
|
|
|
slides-edinburgh2019.tex
|
Final version of the Edinburgh slides
|
Jul 10, 2019
|
|
|
slides-filmat2018.pdf
|
Slides in the version they went live
|
May 30, 2018
|
|
|
slides-filmat2018.tex
|
Beginning on notes slides for the FilMat talk
|
Jun 8, 2018
|
|
|
slides-herrsching2019.tex
|
Slides for Lecture III finished
|
Sep 23, 2019
|
|
|
slides-ihes2015.pdf
|
typo
|
Dec 6, 2015
|
|
|
slides-ihes2015.tex
|
use https where possible
|
Oct 15, 2018
|
|
|
slides-leipzig2018.pdf
|
typo
|
Jul 10, 2018
|
|
|
slides-leipzig2018.tex
|
fight against bitrot
|
Oct 3, 2018
|
|
|
slides-muenchenwiler2018.pdf
|
Slides for the Münchenwiler meeting as they went live
|
Oct 27, 2018
|
|
|
slides-muenchenwiler2018.tex
|
typo
|
Sep 9, 2019
|
|
|
slides-munich2018.pdf
|
typo
|
Apr 11, 2018
|
|
|
slides-munich2018.tex
|
typo
|
Jul 4, 2018
|
|
|
slides-munich2019.pdf
|
Slides for tomorrow's talk in Munich
|
May 10, 2019
|
|
|
slides-munich2019.tex
|
Slides for tomorrow's talk in Munich
|
May 10, 2019
|
|
|
slides-padova2018.pdf
|
Final changes
|
Dec 6, 2018
|
|
|
slides-padova2018.tex
|
Final changes
|
Dec 6, 2018
|
|
|
slides-phd-defense.pdf
|
Slides in the version they went live
|
Oct 17, 2017
|
|
|
slides-phd-defense.tex
|
Slides in the version they went live
|
Oct 17, 2017
|
|
|
slides-pssl101.pdf
|
typo
|
Sep 16, 2017
|
|
|
slides-pssl101.tex
|
use https where possible
|
Oct 15, 2018
|
|
|
slides-pssl103.pdf
|
Minor changes after the talk
|
Apr 9, 2018
|
|
|
slides-pssl103.tex
|
Minor changes after the talk
|
Apr 9, 2018
|
|
|
slides-pssl104.pdf
|
Final version of the PSSL slides with notes
|
Oct 16, 2018
|
|
|
slides-pssl104.tex
|
Final version of the PSSL slides with notes
|
Oct 16, 2018
|
|
|
slides-pssl99.pdf
|
typo
|
Mar 14, 2016
|
|
|
slides-pssl99.tex
|
use https where possible
|
Oct 15, 2018
|
|
|
slides-unilog2018.pdf
|
Rendered slides (downsampled version)
|
Jun 21, 2018
|
|
|
slides-unilog2018.tex
|
fight against bitrot
|
Oct 3, 2018
|
|
|
slides-verona2018.pdf
|
Slides of yesterday's talk
|
Dec 4, 2018
|
|
|
slides-verona2018.tex
|
Slides of yesterday's talk
|
Dec 4, 2018
|
|
|
slides-warwick2017.pdf
|
Slides in the version as they were presented
|
Feb 8, 2017
|
|
|
slides-warwick2017.tex
|
use https where possible
|
Oct 15, 2018
|