Related papers: Blue schemes, semiring schemes, and relative schem…

In this note, we compare the two approaches to semiring schemes as topological spaces with a structure sheaf and as a functor of points. We explain and prove the following two results: (1) the topological space can be recovered from the…

We show the equivalence between Deitmar's and Toen-Vaquie's notions of schemes over F_1 (the 'field with one element'), establishing a symmetry with the classical case of schemes, seen either as spaces with a structure sheaf, or functors of…

In this paper, we introduce the category of blueprints, which is a category of algebraic objects that include both commutative (semi)rings and commutative monoids. This generalization allows a simultaneous treatment of ideals resp.\…

Over the past two decades several different approaches to defining a geometry over ${\mathbb F}_1$ have been proposed. In this paper, relying on To\"en and Vaqui\'e's formalism, we investigate a new category…

Locality is implemented in an arbitrary category using Grothendieck topologies. We explore how different Grothendieck topologies on one category can be related, and, more general, how functors between categories can preserve them. As…

For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…

It is well-known that the category of presheaf functors is complete and cocomplete, and that the Yoneda embedding into the presheaf category preserves products. However, the Yoneda embedding does not preserve coproducts. It is perhaps less…

A new category of algebro-geometric objects is defined. This construction is a vast generalization of existing F1-theories, as it contains the the theory of monoid schemes on the one hand and classical algebraic theory, e.g. Grothendieck…

A quasi-schemoid is a small category whose morphisms are colored with appropriate combinatorial data. In this note, Mitchell's embedding theorem for a tame schemoid is established. The result allows us to give a cofibrantly generated model…

In this paper, we present a generalization of Grothendieck pretopologies -- suited for semicartesian categories with equalizers $C$ -- leading to a closed monoidal category of sheaves, instead of closed cartesian category. This is proved…

In this paper we explore a family of type isomorphisms in System F whose validity corresponds, semantically, to some form of the Yoneda isomorphism from category theory. These isomorphisms hold under theories of equivalence stronger than…

The Ziegler spectrum for categories enriched in closed symmetric monoidal Grothendieck categories is defined and studied in this paper. It recovers the classical Ziegler spectrum of a ring. As an application, the Ziegler spectrum as well as…

Studying toric varieties from a scheme-theoretical point of view leads to toric schemes, i.e. "toric varieties over arbitrary base rings". It is shown how the base ring affects the geometry of a toric scheme. Moreover, generalisations of…

A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…

Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse…

Let $X$ be a fixed projective scheme which is flat over a base scheme $S$. The association taking a quasi-projective $S$-scheme $Y$ to the scheme parametrizing $S$-morphisms from $X$ to $Y$ is functorial. We prove that this functor…

Tannaka duality and its extensions by Lurie, Sch\"appi et al. reveal that many schemes as well as algebraic stacks may be identified with their tensor categories of quasi-coherent sheaves. In this thesis we study constructions of cocomplete…

In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is…

We display a symmetric monoidal equivalence between the stable $\infty$-category of filtered spectra, and quasi-coherent sheaves on $\mathbb{A}^1 / \mathbb{G}_m$, the quotient in the setting of spectral algebraic geometry, of the flat…

For a small category $\mathcal{D}$ we define fibrations of simplicial presheaves on the category $\mathcal{D}\times\Delta$, which we call localized $\mathcal{D}$-left fibration. We show these fibrations can be seen as fibrant objects in a…