Code

Functorial qcqs-schemes#1086

Code

Merged

felixwellen merged 14 commits intoagda:masteragda/cubical:masterfrom mzeuner:FuncQCQSSchemesmzeuner/cubical:FuncQCQSSchemesCopy head branch name to clipboardFeb 26, 2024

+246-71

Commits

Commits on Feb 9, 2024

• (wip) for Zariski coverage on CommRing

  Show description for 57e78b6
  

  MatthiasHu

  authored and

  mzeuner

  committed
  57e78b6

  Copy full SHA for 57e78b6

• pullback stability

  mzeuner

  committed
  d60c65c

  Copy full SHA for d60c65c

• 1 ideal lemma

  mzeuner

  committed
  125338a

  Copy full SHA for 125338a

• only zero case left

  mzeuner

  committed
  d731b3e

  Copy full SHA for d731b3e

• finish zero case

  mzeuner

  committed
  b9449d2

  Copy full SHA for b9449d2

• def of scheme

  mzeuner

  committed
  cbdb9a3

  Copy full SHA for cbdb9a3

• renaming

  mzeuner

  committed
  1d9e885

  Copy full SHA for 1d9e885

• cleanup aff sch

  mzeuner

  committed
  f4f95b6

  Copy full SHA for f4f95b6

Commits on Feb 16, 2024

• fixes after review

  mzeuner

  committed
  c697f13

  Copy full SHA for c697f13

• Merge branch 'master' of github.com:mzeuner/cubical into FuncQCQSSchemes

  mzeuner

  committed
  d59e9d7

  Copy full SHA for d59e9d7

• delete zero case

  mzeuner

  committed
  3119165

  Copy full SHA for 3119165

• some unused imports

  MatthiasHu

  committed
  2ba463a

  Copy full SHA for 2ba463a

Commits on Feb 21, 2024

• explanatory comment

  mzeuner

  committed
  ee063ea

  Copy full SHA for ee063ea

Commits on Feb 24, 2024

• Merge branch 'master' into FuncQCQSSchemes

  MatthiasHu

  committed
  d02f4dc

  Copy full SHA for d02f4dc