Commits · master · Matthias Hutzler / master-thesis · GitLab

Sign in or sign up before continuing. Don't have an account yet? Register now to get started.

Jul 08, 2019
- more typos and a small clarification · 57753375
  Matthias Hutzler authored Jul 08, 2019
  
  57753375
Jun 26, 2019
- a few more typos · f7231ac2
  Matthias Hutzler authored Jun 26, 2019
  
  f7231ac2
Mar 26, 2019
- some typos in big-infinitesimal.tex · 404b4b2c
  Matthias Hutzler authored Mar 26, 2019
  
  404b4b2c
Sep 14, 2018
- missing bib entry added, minor improvements · 4ef859cd
  Matthias Hutzler authored Sep 14, 2018
  
  4ef859cd
Sep 13, 2018
- a few small improvements (thanks to Ingo Blechschmidt) · 2b9f5cab
  Matthias Hutzler authored Sep 13, 2018
  
  2b9f5cab
- Merge branch 'handed-in' · d23dae98
  Matthias Hutzler authored Sep 13, 2018
  
  d23dae98
- last-minute corrections · f048760d
  Matthias Hutzler authored Sep 13, 2018
  
  f048760d
- actually commit introduction... · 271d79d1
  Matthias Hutzler authored Sep 13, 2018
  
  271d79d1
- finished · e857ade0
  Matthias Hutzler authored Sep 13, 2018
  
  e857ade0
- big infinitesimal topos classifies loc-K-Alg-R-NilQuot · f45ccbbc
  Matthias Hutzler authored Sep 13, 2018
  
  f45ccbbc
- big-infinitesimal.tex actually commited, much rigidity for big infinitesimal · a6995cb5
  Matthias Hutzler authored Sep 13, 2018
  
  a6995cb5
- big infinitesimal started · ab83f7c9
  Matthias Hutzler authored Sep 13, 2018
  
  ab83f7c9
- compact models finished · 88d5754d
  Matthias Hutzler authored Sep 13, 2018
  
  88d5754d
Sep 12, 2018
- some more compact models · 3241c4f4
  Matthias Hutzler authored Sep 12, 2018
  
  3241c4f4
- colomits in K-Alg-R-Alg(Set) · 5cf2f2e1
  Matthias Hutzler authored Sep 12, 2018
  
  5cf2f2e1
- K-Alg-K-NilQuot vs K-AlgNilQuot · 4928a5a1
  Matthias Hutzler authored Sep 12, 2018
  
  4928a5a1
- simple big infinitesimal finished · df707133
  Matthias Hutzler authored Sep 12, 2018
  
  df707133
- simplified -> simple · 6ea743d2
  Matthias Hutzler authored Sep 12, 2018
  
  6ea743d2
- simplified big infinitesimal nearly finished · 9bbc0492
  Matthias Hutzler authored Sep 12, 2018
  
  9bbc0492
Sep 11, 2018
- up to INF* = K-Alg-R-NilQuot_c^op · fd08a426
  Matthias Hutzler authored Sep 11, 2018
  
  fd08a426
- many small improvements (thanks to Ingo Blechschmidt) · 46f88b89
  Matthias Hutzler authored Sep 11, 2018
  
  46f88b89
- definition big infinitesimal topos · e5b83cc0
  Matthias Hutzler authored Sep 11, 2018
  
  e5b83cc0
- illustration presented models, big Zariski topos finished · 8493708b
  Matthias Hutzler authored Sep 11, 2018
  
  8493708b
- big Zariski topos nearly finished · 2161f1ed
  Matthias Hutzler authored Sep 11, 2018
  
  2161f1ed
- some theories are of cartesian · 3b754c98
  Matthias Hutzler authored Sep 11, 2018
  
  3b754c98
- topology for quotient of theory of presheaf type · 0f6420e2
  Matthias Hutzler authored Sep 11, 2018
  
  0f6420e2
Sep 10, 2018
- lemma redundant locality · 657b769a
  Matthias Hutzler authored Sep 10, 2018
  
  657b769a
- finitely presenTED models · eaef781a
  Matthias Hutzler authored Sep 10, 2018
  
  eaef781a
- theories of presheaf type · 7e5d02ae
  Matthias Hutzler authored Sep 10, 2018
  
  7e5d02ae
- split into one file for each section · 703e2f77
  Matthias Hutzler authored Sep 10, 2018
  
  703e2f77
- small cleanups and additions · 8ef30160
  Matthias Hutzler authored Sep 10, 2018
  
  8ef30160
- small motivation for Comparison Lemma · 0544d635
  Matthias Hutzler authored Sep 10, 2018
  
  0544d635
- two small Zariski topology proofs · 5d7fcdda
  Matthias Hutzler authored Sep 10, 2018
  
  5d7fcdda
- definition presheaf type and 'Morita equivalence' without hyphen · b04427de
  Matthias Hutzler authored Sep 10, 2018
  
  b04427de
- Morita-equivalences for theories of rings and K-Alg[-K-]Quot · f95710a8
  Matthias Hutzler authored Sep 10, 2018
  
  f95710a8
Sep 09, 2018
- classifying toposes and Morita-equivalence · a954925a
  Matthias Hutzler authored Sep 09, 2018
  
  a954925a
- soundness, algebraic and cartesian theories · a42613d2
  Matthias Hutzler authored Sep 09, 2018
  
  a42613d2
- definition of geometric theory, nondefinition of interpretation/model · 57865315
  Matthias Hutzler authored Sep 09, 2018
  
  57865315
- definitions of theories · b4fab47a
  Matthias Hutzler authored Sep 09, 2018
  
  b4fab47a
Sep 08, 2018
- definition theory of rings · 2ba4ab54
  Matthias Hutzler authored Sep 08, 2018
  
  2ba4ab54