Post #1506843

@cbaberle It makes me think of the work of Sasha Rosenberg https://newprairiepress.org/ebooks/1/ on noncommutative algebraic geometry, whereby you embed schemes in this framework by taking their symmetric monoidal category of quasicoherent sheaves. Others (Toën and Vaquié) have done "schemes over an general symmetric monoidal category" is a similar way, see eg https://mathoverflow.net/questions/89475/connections-between-various-generalized-algebraic-geometries-toen-vaqui%C3%A9-durov @jcreed @johncarlosbaez @thosgood @dwarn