felixwellen synthetic-geometry issues

felixwellen / synthetic-geometry

Synthetic geometry. Probably mostly algebraic geometry.

MIT License

23 stars 4 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Boundedness quest

#36 MatthiasHu closed 9 months ago
0
Rename std-qc-open-prop to contains-invertible-prop

#35 felixwellen opened 1 year ago
10
Gitignore Emacs auto-save, backup and lock files

#34 bafain closed 1 year ago
0
Formalize the Segre-Embedding

#33 felixwellen opened 1 year ago
0
adjust to cubical library (_∘a_ is not a syntax declaration any more)

#32 MatthiasHu closed 1 year ago
0
Define 'D(f)'

#31 felixwellen opened 1 year ago
1
Update to current knowledge

#30 felixwellen closed 1 year ago
0
Change 'n+1' to '1+n' for better definitional behaviour

#29 felixwellen closed 1 year ago
0
Open module to make ```∘a``` work

#28 felixwellen closed 1 year ago
0
Constancy of functions on P^n

#27 MatthiasHu opened 1 year ago
2
Line through points in P^n

#26 MatthiasHu closed 1 year ago
1
Update README.md

#25 felixwellen closed 1 year ago
0
Formalize the Veronese map

#24 MatthiasHu opened 1 year ago
0
Flat modality

#23 felixwellen opened 2 years ago
1
adjust to splitting of FPAlgebra in cubical

#22 MatthiasHu closed 2 years ago
0
A^1 does not satisfy plain choice

#21 MatthiasHu opened 2 years ago
3
Rename 'k' to 'R'

#20 felixwellen opened 2 years ago
0
Move consequences of sqc

#19 MatthiasHu closed 2 years ago
0
Prove weak Nullstellensatz

#18 MatthiasHu opened 2 years ago
0
show that the intersection of k[X^-1] and k[X] in k[X][X^-1] is only k

#17 MatthiasHu opened 2 years ago
3
Show that functions on P^n are constant.

#16 MatthiasHu opened 2 years ago
0
Exhibit P^1 as a pushout

#15 MatthiasHu closed 2 years ago
4
qc-opens are double negation stable

#14 MatthiasHu closed 2 years ago
0
Two definitions: affine schemes, coupled spaces

#13 felixwellen closed 2 years ago
0
Move proof that embeddings are equivalences onto their image

#12 felixwellen closed 2 years ago
1
Define qc-scheme

#11 felixwellen closed 2 years ago
2
Projective space is a scheme

#10 felixwellen closed 2 years ago
1
U_i = A^n

#9 MatthiasHu closed 2 years ago
3
The U_i cover P^n.

#8 MatthiasHu closed 2 years ago
0
Simplify simple-qc-open-prop

#7 MatthiasHu closed 2 years ago
1
Generalized field property

#6 MatthiasHu closed 2 years ago
0
Define projective space

#5 felixwellen closed 2 years ago
0
WIP: Enough points

#4 felixwellen opened 2 years ago
0
fix syntax highlighting on github

#3 felixwellen closed 2 years ago
0
Field property

#2 MatthiasHu closed 2 years ago
1
Define the synthetic spectrum

#1 felixwellen closed 2 years ago
0