ind-scheme
C61765
concept
An ind-scheme is a functor that can be expressed as a filtered colimit of schemes with closed immersion transition maps, generalizing schemes to potentially infinite-dimensional geometric objects.
Instances (1)
| Instance | Via concept surface |
|---|---|
| Beilinson–Drinfeld Grassmannian | — |