Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [hom-functor]

The tag has no usage guidance.

2
votes
1answer
61 views

Is there a way to show Yoneda equality visually instead of compositional algebraic symbols?

The proof that $u \in F(A)$ is sufficient to define a natural transformation $\alpha : \text{Hom}(A, \cdot) \Rightarrow F(\cdot)$ goes like this: Let $\alpha_X : g \in \text{Hom}(X, Y) \mapsto F(f)(u)...
0
votes
1answer
60 views

The Yoneda lemma and a natural bijection

Let $S\colon\mathbf {Set}^{\cal A^{op}}\to \mathbf{ Set}$ be a functor. How does it follow from the Yoneda lemma that the following is a natural bijection: $\underline{\hom(A,-)\to SY \quad\quad\...
1
vote
0answers
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 ...
0
votes
1answer
67 views

Existence of morphisms in a free completion under directed colimits,$\lambda$-accessible category

Let $\cal K$ be a $\lambda$-accessible category with directed colimits and $\cal C$ be its representative full subcategory consiting of $\lambda$-presentable objects. Let $\cal L$ be free completion ...
0
votes
1answer
22 views

How to see that $S(\sigma) = \text{Hom}_{\Delta}(\sigma, [0,1])$ maps to the category $\tilde{\Delta}^{\text{op}}$.

Let $\Delta$ be the simplicial category. Let $\tilde{\Delta}$ be the subcategory of non-empty totally ordered sets as objects and order-preserving maps that also preserve the smallest and largest ...
0
votes
0answers
42 views

decomposition of hom-functors in a self-enriched category

Let $\mathbb{C}$ be a self-enriched category (such as Set). The Functor $\mathbb{C}(X, \mathbb{C}(Y,\_))$ is the same than the composition of functors $\mathbb{C}(X,\_) \circ \mathbb{C}(Y,\_)$. In a ...
2
votes
1answer
41 views

Currying in a locally small category with coproducts

While studying for category theory course I stumbled upon the following question taken from a previous exam: Let $\mathcal{D}$ be a locally small category with all coproducts. Show that for every ...
1
vote
0answers
30 views

Does an adjoint of an internal Hom functor of a prounital closed category define a tensor product?

A closed category is a category equipped with internal Hom functors along with a unit object. Now this answer shows that if $C$ is a closed category whose internal Hom functor has a left adjoint, ...
1
vote
1answer
60 views

Is “monoidal category enriched over itself” the same as “closed monoidal category”?

If $M$ is a monoidal category, an enriched category over $M$ is a category $C$ whose hom-sets are viewed as objects in $M$. And a monoidal category $M$ is said to be closed if the tensor product ...
0
votes
1answer
34 views

Isomorphism between Hom-space and $k$

Let $\mathrm{vect}$ be the category of vector spaces over $k$ and let $V \in \mathrm{vect}$. Can one say $\mathrm{Hom}(V, V)$ (the hom-space in the category $\mathrm{vect}$) is isomorphic to $k$? ...
6
votes
2answers
78 views

Existence of injective homomorphism

I'm interested in knowing if $\operatorname{Hom}(-,S^1)$ is exact, understanding $S^1$ as the group of modulo $1$ complex numbers, is right exact on the category of finite abelian groups, because that ...
2
votes
2answers
75 views

There is a natural morphism $\lim\limits_{\longleftarrow} \beta \to \lim\limits_{\longleftarrow} \beta \circ \varphi^{op}$?

This is from Categories & Sheaves by Kashiwara & Schapira. $$\text{Hom}_{\text{Set}}(X, \lim_{\leftarrow} \beta) \xrightarrow{\sim} \lim_{\leftarrow} \text{Hom}_{\text{Set}}(X, \beta) \tag{...
0
votes
1answer
90 views

$\operatorname{Hom}$ functor is projective?

Consider $A$ a small category and consider $\operatorname{Hom}(-,X) \in \operatorname{HOM}(A^\text{op},Ab)$ the category of contravariant functors from $A$ to $Ab$. It is true that the $\operatorname{...
1
vote
1answer
48 views

Fully faithful nerve ⟹ injective on objects?

If $i: C ⟶ D$ (where $C$ is a small subcategory of $D$) is the inclusion functor, and $N_i := {\rm Hom}(i(=), -)$ is the nerve of $i$, is it true that $N_i$ is injective on objects as soon as it is ...
1
vote
1answer
44 views

Preservation of limits by representable functors

Let $\beta : I^{op} \to \text{Set}$ be a functor and $X \in \text{Set}$. I want to show that there is a natural isomorphism $$ \text{Hom}_{\text{Set}}(X, \lim_{\longleftarrow} \beta) \xrightarrow{\...
5
votes
2answers
102 views

When can functors fail to be adjoints if their hom sets are bijective?

Suppose we have categories $\mathcal{C}$ and $\mathcal{D}$ with some appropriate adjectives like local smallness along with a pair of functors $F: \mathcal{C} \rightarrow \mathcal{D}$ and $G: \mathcal{...
2
votes
1answer
337 views

Limits and $Hom(-,Y)$-functor in abelian categories

Let $\cal C$ be an abelian category and let $(\{x_i\} , \{\phi_{ij}:x_i\rightarrow y_j\}_{i\leq j})$ be a direct system with direct limit $(\varinjlim x_i, \phi_i: x_i \rightarrow \varinjlim x_i)$. ...
0
votes
3answers
75 views

Why is $\text{Hom}_{\text{Set}}(S, \text{lim} F) \simeq \text{lim } \text{Hom}_{\text{Set}}(S, F(\cdot))$?

Every category theory reference says that the isomorphism in the title is a triviality. How so? $$ \lim F \equiv \text{Hom}_{\hat{C}}(\text{pt}, F) \in \text{Set} $$ so $$ \lim \text{Hom}_{\text{...
1
vote
0answers
61 views

Question on the map induced by hom-functor

Let $R$ be a commutative ring with unity and let $M$ be a finitely generated noetherian $R$-module. Suppose we are given an $R$-homomorphism: $$ \varphi: R^{(2)}\to R^{(2)} $$ Fixing a basis of $R^{(...
1
vote
2answers
708 views

Direct sum and Hom

Let $R$ be a commutative ring with unity and let $M$ be a finitely generated noetherian R-module. Can someone tell me how the isomorphism $$ Hom_R(R\oplus R, M)\simeq Hom_R(R,M)\oplus Hom_R(R,M)\...
1
vote
1answer
96 views

Does a fully faithful functor apply to identity arrows?

In Saunders Mac Lane's Categories for the working mathematician one can read, when talking about fully faithful functors: [...], but this need not mean that the functor itself is an isomorphism ...
2
votes
0answers
45 views

Hom-like functor to a topos other than Set?

The hom-set functor is often given as the bifunctor: $$ \mathbf{Hom}(-,-) : \cal C^{op} \times \cal C \to \mathbf{Set}$$ (This is of course under the assumption that $\cal C$ is locally small.) Is ...
1
vote
1answer
103 views

What does “$\text{Hom}(\space, G)$takes values in Groups” mean?

From Rotman's Algebraic Topology: When we say that $\text{Hom}(\space , G)$ takes values in Groups, then it follows, of course, that $\text{Hom}(X, G)$ is a group for every object $X$ and $g^*$ ...
1
vote
3answers
60 views

Is there only one isomorphism $h_C(X) \simeq h_C(Y)$ if it exists?

I'm trying to prove that if $F \simeq h_C(X)$ or "$X$ represents the functor $F$", then $X$ is unique up to unique isomorphism. I already know that if $h_C(X) \simeq F \simeq h_C(Y)$ that $s: X \...
1
vote
2answers
111 views

Representability $h_C(X) \simeq F$ of functors determines rep. $X$ up to unique isomorphism (using Yoneda Lemma).

A functor $F \in C^{\wedge}$ from $C^{op}$ to $\text{Set}$ is representable if there is an isomoprhism $\varphi \in \text{Hom}_{C^{\wedge}}(h_C(X), F)$ for some $X \in C$, we can also write that as $...
1
vote
2answers
76 views

How does $h_C(f) : h_C(X) \to h_C(Y)$ an isomorphism imply $f$ is (Yoneda Lemma)?

This is from Categories & Sheaves by Kashiwara & Schapira. Let $C$ be a category, $f : X \to Y$ a morphism in $C$. Assume that for each $W \in C$, the morphism $\text{Hom}_C(W, X) \...
1
vote
2answers
77 views

Yoneda Lemma (again)

Let $C^{\wedge} = \text{Fct}(C^{\text{op}}, \text{Set})$. Let $\text{h}_C : C \to C^{\wedge}, \ X \mapsto \text{Hom}_C(\cdot, X)$. Then the Yoneda lemma is: For $A \in C^{\wedge}$ and $X \in C$, $...
0
votes
1answer
82 views

Yoneda lemma, wrong direction, weighted colimit

Here in the definition of weighted colimit, it seems to me that the r.h.s. $C(W⋅F,c)≅Set^{J^{op}}(W,C(F−,c))$ has a wrong direction for the application of the Yoneda lemma.In fact, the Yoneda lemma ...
1
vote
2answers
132 views

Hom functors preserve fibre products.

I'm using the definition of fibre product from the Stacks Project. How do I show that $h_{x \times_y z}(w) = h_{x}(w) \times_{h_y(w)} h_z(w)$ ? Is equality correct or should it be isomorphism? I'm ...