Skip to content

Issues: felixwellen/synthetic-zariski

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

18 Open 12 Closed
18 Open 12 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Name of the structure sheaf
#36 opened Jul 11, 2024 by felixwellen
The name 'weakly quasi-coherent'
#35 opened Jul 8, 2024 by felixwellen
1
Do basic open propositions have choice?
#34 opened Jun 13, 2024 by felixwellen
1
Use of cohesive and/or fractured structures in synthetic algebraic geometry
#33 opened Apr 23, 2024 by xuanruiqi
14
Dimension of flat morphisms/schemes
#32 opened Mar 21, 2024 by mnieper
Discussion on renamings
#29 opened Mar 16, 2024 by felixwellen
16
Document discussion on open problems in SAG
#28 opened Mar 15, 2024 by felixwellen
Rename f^* to f^{-1}
#26 opened Mar 12, 2024 by felixwellen
8
What are external sets, internally?
#25 opened Mar 12, 2024 by dwarn
3
What is the correct condition corresponding externally to "X is a scheme over a field"?
#19 opened Feb 20, 2024 by xuanruiqi
13
Is B(formally etale GL1) an A1-local type?
#17 opened Feb 6, 2024 by felixwellen
1
Are Z-torsors on A1 trivial?
#16 opened Feb 6, 2024 by felixwellen
2
Synthetic Proj construction?
#15 opened Jan 19, 2024 by xuanruiqi
10
Should (quasi-) projective schemes be closed under dependent sums?
#12 opened Oct 9, 2023 by felixwellen
2
Stable references
#11 opened Oct 9, 2023 by felixwellen
Locally-basic open subtypes have cohomology stable push forward
#10 opened Oct 6, 2023 by felixwellen
Define flatness
#8 opened Oct 2, 2023 by MatthiasHu
23
Maps from projective schemes to R
#6 opened Sep 19, 2023 by felixwellen
11
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.