felixwellen/synthetic-zariski

Issues

• Name of the structure sheaf

  #36 opened 3 months ago by felixwellen
  0

• The name 'weakly quasi-coherent'

  #35 opened 3 months ago by felixwellen
  1

• Do basic open propositions have choice?

  #34 opened 3 months ago by felixwellen
  1

• Automorphisms of affine and projective space

  #4 opened 4 months ago by felixwellen
  3

• Quasi-projective schemes are A1-equivalent to affine schemes

  #9 opened 4 months ago by felixwellen
  3

• Better definition for reduced schemes

  #27 opened 4 months ago by felixwellen
  1

• Use of cohesive and/or fractured structures in synthetic algebraic geometry

  #33 opened 5 months ago by xuanruiqi
  14

• Is there a flat-modality in A1-homotopy theory?

  #18 opened 7 months ago by felixwellen
  4

• Discussion on renamings

  #29 opened 6 months ago by felixwellen
  16

• Dimension of flat morphisms/schemes

  #32 opened 6 months ago by mnieper
  0

• Locally-basic open subtypes have cohomology stable push forward

  #10 opened a year ago by felixwellen
  0

• Document discussion on open problems in SAG

  #28 opened 6 months ago by felixwellen
  0

• Rename f^* to f^{-1}

  #26 opened 7 months ago by felixwellen
  8

• What are external sets, internally?

  #25 opened 7 months ago by dwarn
  3

• Replace "finite type" with "of finite presentation"

  #14 opened 7 months ago by felixwellen
  11

• Synthetic Proj construction?

  #15 opened 8 months ago by xuanruiqi
  10

• Finite affine schemes are projective

  #5 opened 7 months ago by felixwellen
  4

• CITATION.cff

  #22 opened 7 months ago by mnieper
  6

• Remove cache warning

  #21 opened 7 months ago by felixwellen
  2

• Basic opens of the affine parts...

  #23 opened 7 months ago by mnieper
  2

• What is the correct condition corresponding externally to "X is a scheme over a field"?

  #19 opened 7 months ago by xuanruiqi
  13

• Is B(formally etale GL1) an A1-local type?

  #17 opened 8 months ago by felixwellen
  1

• Are Z-torsors on A1 trivial?

  #16 opened 8 months ago by felixwellen
  2

• A1-shape of the universe is contractible

  #3 opened 8 months ago by felixwellen
  2

• Should (quasi-) projective schemes be closed under dependent sums?

  #12 opened a year ago by felixwellen
  2

• Define flatness

  #8 opened a year ago by MatthiasHu
  23

• Stable references

  #11 opened a year ago by felixwellen
  0

• Is it ok to say 'characteristic 0'?

  #7 opened a year ago by felixwellen
  3

• Maps from projective schemes to R

  #6 opened a year ago by felixwellen
  11

• write macro for axioms

  #1 opened 2 years ago by felixwellen
  1