Questions tagged [representable-functor]
For questions about and related to Representable Functors, that are set-valued functors which can be "represented" by the hom-set of a single object from the domain category. Should be used together with the (category-theory) tag.
148
questions
1
vote
1
answer
49
views
Tiny objects in a power set
I'm constructing a toy example in order to get into Cauchy completeness for categories. Suppose to have a set $X$ (=a discrete preorder) and compute its powerset $\mathcal{P}(X)$, which is its $\{0<...
1
vote
1
answer
79
views
Prove that any functor $F : \mathcal C \to \text{Sets}$ where $\mathcal C$ is small is a colimit of representable functors
Prove that for any small category $\mathcal C$ and any functor $F:\mathcal C^\text{op}\to\textbf{Set}$, $F$ can be written as a colimit of representable functors $h_x=\text{Hom}_{\mathcal C}(-,x)$.
I ...
1
vote
1
answer
42
views
Condition that limit of a diagram $F$ exists if $\alpha: Mor(-,L) \to \lim Mor(X,F(i))$
Suppose $F : I \to \mathcal C$ is a diagram for a small category $I$ and a category $\mathcal C$. Suppose also that there is an object $L$ of $\mathcal C$ such that for all $X \in Obj(\mathcal C)$ ...
0
votes
3
answers
117
views
Prove that the functor $P : \text{Set}^\text{op} → \text{Set}$ , $F(f)=f^{-1}:P(Y)\rightarrow P(X)$ for $f: X \rightarrow Y$ is representable
Let $P(A)$ denote the power set of a set $A$
For a map $f : X \mapsto Y$ of sets, I can define a map $P( f ): P(Y) → P(X)$ s.t that I obtain a functor $P : \text{Set}^\text{op} \to \text{Set}$ in ...
0
votes
1
answer
111
views
How do I show that the forgetful functor $F : \text {Grp} \rightarrow \text {Set} $ is co-representable?
Let $F : \text {Grp} \rightarrow \text {Set} $ be the forgetful functor. I am trying to show that $F$ is co-representable
My definition of co-representability reads:
A functor $F: C \rightarrow \text{...
2
votes
0
answers
26
views
Representable morphisms of algebraic spaces
Let $X,Y$ be algebraic spaces, and let $X\longrightarrow Y$ be a representable morphism.
Let $S$ be a scheme and let there be a morphism $S\longrightarrow Y$. The fibre product, $X\times_Y S$, is said ...
1
vote
0
answers
57
views
Representable presheaves on the slice category
$\def\sfC{\mathsf{C}}
\def\op{\mathrm{op}}
\def\set{\mathsf{Set}}
\def\psh{\operatorname{PSh}}
\def\ob{\operatorname{Ob}}
\def\hom{\operatorname{Hom}}$Let $\sfC$ be a category. A presheaf over $\sfC$ ...
0
votes
0
answers
68
views
Existence of a right adjoint functor of the inverse image via a morphism of schemes between the categories of quasi-coherent modules
Let $f:X\to Y$ a morphism of schemes. It induces a covariant functor:
$$f^*:Qcoh(Y)\to Qcoh(X)$$
Which happens to be the inverse image. Now, fixing any quasi-coherent $O_X$-module N we can define ...
2
votes
1
answer
91
views
Corepresentable functor definition.
I have been searching for the definition of a Corepresentable functor here https://ncatlab.org/nlab/show/small+object but still I did not get what exactly is its definition. I also love the definition ...
2
votes
0
answers
50
views
Equivalence relation functor representable?
Let $E : \mathbf{Set} \to \mathbf{Set}$ be the contravariant functor taking a set $X$ to the set $E(X)$ of distinct equivalence relations on $X$. It takes (I assume) a function $f:X \to Y$ to a ...
2
votes
1
answer
68
views
Understanding a proof of representability and exactness of tensor product functor
$\DeclareMathOperator{\Hom}{Hom}$ $\DeclareMathOperator{\Mod}{Mod}$ $\DeclareMathOperator{\End}{End}$ $\DeclareMathOperator{\coker}{coker}$I'm going through the proof of the following theorem :
Let $...
1
vote
1
answer
72
views
Example of non representable limits-preserving functor
Let $\mathcal{C}$ be a locally small category, and $F : \mathcal{C} \rightarrow \mathcal{Set}$ functor. Then :
$$F \ \text{has left adjoint} \implies F \ \text{is representable} \implies F \ \text{ ...
1
vote
0
answers
86
views
Vector Spaces as Functors
This is a follow-up question for the answer: https://math.stackexchange.com/a/4214108/1140967.
In that answer, we see that there are three ways to associate a $k$-vector space $V$ with a $k$-functor:
...
1
vote
0
answers
105
views
What to call the natural transformation in the Yoneda lemma
The Yoneda lemma is an isomorphism between f a and (a <-) ~> f where the Yoneda embedding is ...
2
votes
1
answer
143
views
Definition of the evaluation map as a universal element of a representation
This is exercise Exercise 2.3.iii from Riehl's "Category Theory in Context":
The set $B^A$ of functions from a set $A$ to a set $B$ represents the contravariant functor ${\rm Set}(-\times A,...
1
vote
1
answer
92
views
How to prove a map is epic using generalized elements only?
I have a map $\require{AMScd}f\colon X \to Y$ in some category $\mathcal E$ which I would like to show is epic. However the only description I have of $X$, $Y$, and $f$ is through the Yoneda ...
10
votes
1
answer
207
views
On representability of $\underline{Hom}_k(\mathbb A^1_k, \mathbb A^1_k)$
Let $F:k\text{-Sch} \rightarrow \text{Set}$ be the following functor:
$$F(X)=\text{Hom}_{X-\text{sch}}(\mathbb A^1_X, \mathbb A^1_X).$$
I would like to show that such functor is not representable.
I ...
3
votes
0
answers
64
views
Representability of 2 dimensional $p$-adic Galois representations
Let $G = G_{\mathbb{Q}_p}$ be the absolute Galois group of $\mathbb{Q}_p$, and let $\overline{D}$ be a residual pseudorepresentation of $\mathbb{Z}_p[G]$ over $\mathbb{F}_p$.
Denote by $\text{Rep}^d_{\...
1
vote
0
answers
64
views
Missing universal properties
Given a category $\mathcal{C}$, we can use copresheaves $H \in [\mathcal{C},Set]$ or presehaves $H \in [\mathcal{C}^{\mathrm{op}},Set]$ to state left or right universal properties. Existence of a ...
3
votes
0
answers
98
views
Classification of principal G-bundles
Let $G$ be a group. We define the functor $$Bun_{G}^{*}:h(CW_{*}^{op})\rightarrow Sets_{*}$$ which takes a pointed CW complex and assigns to it the set of isomorphic classes of principal $G-$bundles ...
0
votes
1
answer
184
views
The functor $\operatorname{Isom}_k(X,Y)$ is representable
Let $X,Y$ projective schemes over $k$. Consider the contravariant functor $$\operatorname{Isom}_k(X,Y): \left(\operatorname{Sch}/k\right) \to (\operatorname{Set})$$
$$
S\mapsto \operatorname{Isom}_S(S\...
1
vote
1
answer
72
views
The functor $\mathrm{Sch/R}\to\mathrm{Set}$ sending a scheme $X$ to its set of open subsets is not representable?
Here $R$ is a commutative ring with unity and $\mathrm{Sch}/R$ is the category of schemes over $\operatorname{Spec}R$.
I know that the contravariant functor $\mathcal O$ of open subsets of a scheme ...
5
votes
3
answers
673
views
Definition of Limits in Category Theory
I was reading Kashiwara, Schapira's book Categories and Sheaves, in that limit of a projective system,
$$P:\mathcal{I}^{\text{op}}\to \textbf{Sets}$$
Is defined as follows,
$$\lim P = \text{Hom}_{\...
1
vote
1
answer
137
views
Characterizing Representable / Hom Functors via Universal Property
I have been trying to think of a way to characterize the hom functors via universal property. I could not find any such thing elsewhere online. So I came up with a property, inspired by Yoneda lemma, ...
1
vote
0
answers
56
views
What are the regular epimorphisms in $\mathrm{hTop}^{\mathrm{connectedCW}}_*$?
I was wondering how to determine what are the regular epimorphisms (i.e. those which are coequalizers) in $\mathrm{hTop}^{\mathrm{connectedCW}}_*$, the category of pointed connected CW complexes ...
1
vote
1
answer
43
views
Unitary dualization functor continuous?
Let $G$ be a topological group and denote its unitary dual by $\hat{G}:=\{\pi:G\to\text{U}(\mathcal{H})\text{ irreducible unitary representation}\}/_\cong$. If $H$ is another topological group and $\...
3
votes
1
answer
96
views
When representables are adjoints
Let $\mathbf C$ be a complete category and let $U:\mathbf C\to\mathbf{Set}$ be a representable functor. Show that $U$ preserves limits.
In general representables preserve limits, but the hypothesis ...
4
votes
0
answers
120
views
Can (should?) the Yoneda embedding be formulated in terms of $0$-categories?
Assuming the Grothendieck axiom of universes (see also here or here), let $U_0$ denote the universe of "ZFC sets", i.e. of sets that can be constructed in ZFC alone without assuming axioms ...
2
votes
2
answers
76
views
How does the duality functor with respect to $K$ behave on morphisms?
In A duality formalism in the spirit of Grothendieck and Verdier Boyarchenko and Drinfeld give the following definition of the terms dualizing object and duality functor:
An object $K$ in a monoidal ...
4
votes
1
answer
332
views
When does a representable functor have a right adjoint?
In Wikipedia I saw the result that, when category $\mathcal{C}$ has all small copowers, a functor $\mathcal{C}\overset{K}{\rightarrow}\text{Set}$ has a left adjoint if and only if it is representable. ...
0
votes
0
answers
26
views
Product of functors (A,_) being a generator and the arbitrary sum of left-exact functors
In Peter Freyd's book Abelian Categories he states a theorem saying that $\mathscr{L}(\mathscr{A})$ is complete and has an injective generator, with $\mathscr{L}(\mathscr{A})$ being the category of ...
2
votes
0
answers
179
views
Why aren't sheaf categories locally small?
Given a scheme $S$ and reasonable topology, such as Zariski, étale, or fppf, is the category of sheaves ${Sh}(({Sch}/S)_{top})$ locally small? Or, if you like to assume that a category must be locally ...
2
votes
1
answer
189
views
Limits/Colimits as representing objects and size of functor category
Let $J,C$ be categories and $T\in C$, we define the functor $\Delta_J(T):J \to C, j \to T $ to be the constant $T$-valued $J$-diagram.
Let $F:J \to C$ be a functor, my professor defined the limit of $...
3
votes
0
answers
169
views
Notation in Katz-Mazur Arithmetic Moduli of Elliptic Curves
A moduli problem $\mathcal{P}$ is a contravariant functor $\mathbf{Ell}\to\mathbf{Set}$. The objects of $\mathbf{Ell}$ are arrows $E\to S$ from an elliptic curve $E$ to a varying base scheme $S$. The ...
0
votes
0
answers
135
views
Representability of relative spectrum of a quasi-coherent sheaf of algebras
Let $X$ be a scheme and $\mathscr{R}$ a
quasi-coherent $\mathscr{O}_{X}$-algebra. Let
$$ F: (Sch/X)^{opp} \rightarrow (Sets), \hspace{1cm} (f:T \rightarrow X) \mapsto \text{Hom}_{(\mathscr{O}_X-Alg)}(\...
0
votes
0
answers
70
views
Showing that a morphism is unique
Suppose we have two representables $H_A, H_{A'}: \mathscr A\to \mathbf {Set}$ and a natural transformation $H_A\to H_{A'}$ with components $\alpha_B:H_A(B)\to H_{A'}(B)$. It can be shown that each $\...
1
vote
1
answer
124
views
Criterium for the representability of a functor
Let $F: (Sch/S)^{op} \to Sets$ be a functor that is both a sheaf in the Zariski topology and has an open covering $(f_i: F_i \to F)_{i \in I}$, where each of the $F_i$ is representable.
In theorem 8.9 ...
1
vote
0
answers
51
views
Limit cones and representations (Leinster's Proposition 6.1.1)
I can see two ways to read this proposition (it's probably the language barrier problem -- I'm not an English native speaker), and I suppose the first way below is what Leinster intended to convey. Is ...
0
votes
0
answers
104
views
Observation about powers and copowers (in category theory)
Suppose that the category $\mathbf C$ has powers and copowers of every object. Fixed a set $x$ one can define the functor $F:\mathbf C\to \mathbf C$, whose object function is $c\mapsto \coprod_x c$ (...
1
vote
2
answers
153
views
Dual version of "representables preserve limits"
The fact that $\mathscr A(A,-):\mathscr A\to \textbf{Set}$ preserves $D$-indexed limits translates to $$\lim\mathscr A(A,D(-))\simeq \mathscr A(A,\lim D)$$
I'm trying to prove that the dualized ...
3
votes
1
answer
65
views
Universal properties for groups arising from representations
Consider the forgetful functor $U:\textbf{Grp}\to\textbf{Set}$ and its left adjoint $F$.
The functor $X=\textbf{Set}(A,U(-))$ is represented by $F(A)$, i.e., $X\simeq H^{F(A)}$. By the Yoneda lemma, ...
1
vote
1
answer
228
views
Relation between representable functors and adjunction
In class we proved that given two adjoint functors $F\dashv G:\mathbb C\to \bf{Set}$, where the category $\mathbb C$ is arbitrary, $G$ is (naturally) isomorphic to $H^{F*}$, where $*$ is the ...
2
votes
0
answers
55
views
Why is the functor $S\mapsto$ isomorphism classes of curves of genus $g$ over $S$ not representable?
Whenever $R_{1}\hookrightarrow R_{2}$ is an injection of rings,
\begin{equation*}
\operatorname{Hom}(R,R_{1})\hookrightarrow\operatorname{Hom}(R,R_{2})
\end{equation*}
is an injection for any ring ...
2
votes
1
answer
207
views
Zariski site is subcanonical?
I want to show that the zariski site is subcanonical as an exersice of the book "Sheaves in geometry and logic"
and I need help with it...
To be honest I didnot really understand the ...
2
votes
4
answers
442
views
Is a subfunctor of a representable functor also representable?
I'm trying to learn about representable functors but I'm very new to this; even to categories...
Suppose $G:C^{op}\rightarrow Set$ is a representable functor - as I understand this means that there ...
5
votes
1
answer
312
views
Deducing Cayley's theorem from the Yoneda lemma using Wikipedia's recipe [duplicate]
I'm following Wikipedia in trying to prove that Cayley's theorem emerges as a particular case of the Yoneda lemma. In case that article gets edited, here's the screenshot:
A couple of aspects in the ...
1
vote
0
answers
42
views
About Leinster's discussion of Corollary 4.3.10
Corollary 4.3.10 in Leinster's text says that $H_A\cong H_{A'}\iff A\cong A'\iff H^A\cong H^{A'}$.
He writes: "the corollary tells us that two objects are the
same if and only if they look the ...
2
votes
0
answers
86
views
The proof of the Yoneda lemma's corollary
Consider the functors $H_A, X:\mathscr A^{op}\to\mathbf {Set}$.
There's the following corollary of the Yoneda lemma:
There's a bijection $$\{ \text{natural isomorphisms } \alpha: H_A\to X\}\...
1
vote
1
answer
120
views
Why is the functor that associates to a scheme $S$ the set of $S$-isomorphism classes of elliptic curves over $S$ not representable?
A few days ago I heard an online presentation about elliptic curves and the presenter claimed that the functor which assigns to a scheme $S$ the isomorphism classes of elliptic curves over $S$ is not ...
1
vote
1
answer
79
views
The functor $U\circ C:\mathbf{Top}^{op}\to \mathbf{Set}$ is representable
Consider the functor $C:\mathbf{Top}^{op}\to \mathbf{Ring}$ that sends an object $X$ to a continuous function $X\to \mathbb R$. Consider also the composition $U\circ C$ where $U:\mathbf{Ring}\to\...