# Questions tagged [representable-functor]

The tag has no usage guidance.

21 questions
61 views

### Not able to make sense of gluing via the functor of points in EGA

I am trying to use a well known result of Grothendieck to show that if $S$ is a scheme, and $\mathcal{B}$ is a quasi coherent sheaf of $\mathcal{O}_{S}$-algebras, then there is a relative affine ...
107 views

### Proof that a functor covered by open representable subfunctors is representable by a scheme

So I'm led to believe this is a fairly standard result. See, for example Lemma 25.15.4 here. I am trying to prove a criterion for the representability of a (contravariant) functor from schemes to sets....
43 views

### Brown representability for model categories

In Jardine's article on the subject: https://ncatlab.org/nlab/files/JardineBrownrep.pdf He shows a version of Browns representability, which asserts the representability of a functor out of a model ...
172 views
+50

### Proving the representability of a functor, that is covered by open subfunctors

I want to proof Theorem 8.9 from Algebraic Geometry I ( U.Görtz, T.Wedhorn), which reads as follows: Let $S$ be a scheme $F: Sch/S°\rightarrow Set$ a functor such that: F is a sheaf for the ...
90 views

### Using the functor of points approach to show a scheme theoretic construction exists

T am trying to refram what I have learned in algebraic geometry in the context of the functor of points approach. In particular, I want to practice proving the existence of a scheme satisfying a ...
97 views

87 views

### Nearly locally presentable categories

Here1, in the remark $2.3 (1)$ how from the fact that ${\cal K}(A,-)$ does not preserve coproducts it follows that ${\cal K}(A,-)$ sends special $\lambda$-directed colimits to $\lambda$-directed ...
39 views

### Explicit description of the scheme obtained by relative gluing data over a base scheme

I have recently been trying to get a better understanding of the projective space bundle of a quasi-coherent sheaf of graded algebras over a scheme $X$. The key idea is the following construction ...
85 views

### Expressing Representation of a Colimit as a Limit

$\newcommand{\C}{\mathcal{C}} \newcommand{\I}{\mathcal{I}} \newcommand{\L}{\mathcal{L}} \newcommand{\Hom}{\mathrm{Hom}_\C} \newcommand{\op}{\mathrm{op}} \newcommand{\colim}{\mathrm{colim}}$ Let $\C$ ...
Let $G$ be a topological group, say a compact Lie group, and $e^*_G$ a multiplicative $\mathbb Z$-graded $G$-equivariant cohomology theory defined on $G$–CW complexes. Is there some analogue result to ...