Questions tagged [hom-functor]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
1 answer
33 views

Weighted limits

I have a very trivial question about the page 80 here: how this shape of $W$ $$W:2\to \mathbf{Set}$$ with $$\ast\sqcup\ast\to \ast$$ implies that the components of $$W\Rightarrow\cal{M}(m,f)$$ are ...
user avatar
  • 3,578
0 votes
0 answers
40 views

$(X^Y)^Z\cong X^{(Y+Z)}$ or $(X^Y)^Z\cong X^{(Y\times Z)}$?

$\DeclareMathOperator\Hom{Hom}$I have the following exercise in my class of Category Theory: Prove that $\text{Hom}(Z,\Hom(Y,X))\cong \Hom(Y*Z, X)$ but I am not sure what $*$ is. I think that $*$ ...
user avatar
1 vote
1 answer
41 views

$F$ left adjoint to $G \iff F,G$ define a functor from $\textbf{Arr}(\textbf{X}\times\textbf{A}) \to 2\times 1$ square CDs in $\textbf{Set}$?

Let $\textbf{A, X}$ be categories and $F:\textbf{X} \to \textbf{A}$ and $G: \textbf{A} \to \textbf{X}$. Then there is a map that takes an object in $\text{Arr}(\textbf{X}\times\textbf{A})$ (the arrow ...
user avatar
1 vote
2 answers
104 views

How do you derive the adjoint's "naturality" condition as seen in MacLane & Moerdijk's book "Sheaves in Geometry and Logic"?

It's tag (7) as pictured below. I also included the definition of adjoint that they use. I know that by definition of adjunction (using the natural homset isomorphism), we have two naturality ...
user avatar
0 votes
1 answer
57 views

Definition of the cotensor in sSet

I am currently trying to understand the meaning of the cotensor in sSet. Suppose I have X,Y objects in sSet, the cotensor is denoted by $X^Y$. I found that for sSet the cotensor is a map of the form $$...
user avatar
0 votes
1 answer
35 views

Categories in which every object is a hom-object?

A closed category basically contains its own hom-objects. Flipping this around, is there a word for categories in which every object is a hom-object for a pair of objects in the category? Or ...
user avatar
2 votes
2 answers
189 views

Proof verification: Yoneda preserves limits

$\newcommand{cop}{C^{op}}$ $\newcommand{cSet}{\mathsf{Set}}$ $\newcommand{Hom}{\operatorname{Hom}}$ $\newcommand{\eval}{\operatorname{eval}}$ Let $J$ be a small category, and let $C$ be locally small. ...
user avatar
1 vote
0 answers
100 views

Proof of derived tensor-hom adjunction

EDIT: this has now been cross-posted here. As far as I know, for $R,S,V,W$ rings and $M$ an $(R,W)$-bimodule, $N$ an $(R,S)$-bimodule and $L$ an $(S,V)$-bimodule, we have an isomorphism in D($V$-lmod) ...
user avatar
  • 1,162
0 votes
0 answers
64 views

How to refer to image of homset under a (not full, not faithful) functor.

Consider a functor $F: C \rightarrow Set$. If $F$ is not full and not faithful, how can I talk about the image of $F$ on morphisms (a subset of $Hom_{Set}(F(c), F(c'))$) in relation to $Hom_C(c, c')$? ...
user avatar
0 votes
1 answer
75 views

Determine if a functor has right/left adjoint

In $Set$ category let $P_X$ a functor defined as follows: given a set $Y$, $P_X(Y)=X\times Y$ and a function $f: Y \to Z $, $P_X(f)= 1_X \times f$. Determine if $P_X$ has left/right adjoint. At first ...
user avatar
2 votes
0 answers
51 views

Injectivity of derived Hom functor base change map

According to Tag 0E1V of Stacks, given a ring map $R \rightarrow R'$ and two $R$-modules $K,M$, there is a base change map $$ R\mathop{\mathrm{Hom}}\nolimits _ R(K, M) \otimes _ R^\mathbf {L} R' \...
user avatar
  • 1,162
0 votes
1 answer
23 views

Examples of not-full functors between two categories in both directions?

A functor F:C→D from a category C to a category D is said to be full if, for each pair of objects, x,y ∈ C, the function, F:C(x,y)→D(F(x),F(y)) between hom sets is surjective. What I am unsure about ...
user avatar
0 votes
1 answer
60 views

Kernel of $\phi \colon $Hom$_R(\prod_{i \in I}A_i, B) \to \prod_{i \in I}\text{Hom}_R(A_i, B)$ is isomorphic to Hom$_R(\prod A_i/\sum^\oplus A_i, B)$.

Let $R$ be a ring, $\{A_i\}, B$ be $R$-modules. Let $\iota_i \colon A_i \to \prod_{i \in I} A_i$ be the canonical injection. Let $\phi \colon \text{Hom}_R(\prod_{i \in I}A_i, B) \to \prod_{i \in I}\...
user avatar
1 vote
1 answer
139 views

Show that if $M$ is projective then $\operatorname{Hom}_R(M,.)$ is an exact functor. [duplicate]

Is there any reference that contains this proof: Show that if $M$ is projective then $\operatorname{Hom}_R(M,.)$ is an exact functor. Or any help in the proof will be appreciated. We defined ...
user avatar
1 vote
0 answers
39 views

Hom, H$^n$ and tensor product

If $X$ is a scheme, $\mathcal{F}$ is a quasi-coherent sheaf and $L$ is an ample line bundle, why it holds $H^0(X, \mathcal{F} \otimes L^n) = Hom(L^{-n}, \mathcal{F})$?
user avatar
1 vote
1 answer
69 views

coefficient ring for cohomology modules

I am a bit confused about a notation I am seeing while reading a paper. So basically I have a continuous map between topological spaces $f:X\to Y$, and I know that this induces a map on cohomology $f^*...
user avatar
  • 1,401
1 vote
1 answer
51 views

Homomorphism into a union of $R$-algebras.

All rings/algebras appearing in this question are assumed to be commutative with unity and noetherian. Let $R$ be a ring, let $A, B$ be $R$-algebras, and let $(B_i)_{i \in I}$ be a family of sub-$R$-...
user avatar
  • 931
0 votes
1 answer
115 views

What is a clear, elegant proof that $\text{Hom}(\cdot, Y)$ is a right-exact functor in a category of modules?

If you search the site for this proof, you will find duplicates, however they are hard to understand. In other words they brush by the most critical points of the proof as if they were not worth ...
user avatar
4 votes
1 answer
98 views

Lifting of a morphism in a hom-functor when hom-sets are empty

I'm having trouble in unserstanding a hom-functor. Suppose we have a hom-functor $\mathrm{Hom}(X,$_$)$ for some Category $\mathcal{C}$. Suppose further that the hom-sets $\mathrm{Hom}_{\mathbf{Set}}(X,...
user avatar
  • 165
0 votes
1 answer
66 views

Showing that $H_A\simeq H_{A'}$ implies $A\simeq A'$ [duplicate]

I'm trying to solve this exercise: So we are given that for all objects $B$, there is a natural isomorphism $$H_A(B)\simeq H_{A'}(B)$$ Let's write this isomorphism as $f\mapsto \bar f$. The ...
user avatar
  • 10.9k
1 vote
2 answers
82 views

What is the name of this identity relating the monoidal products of finite sets and finite-dimensional vector spaces?

Note: This question is almost certainly a duplicate. Since I don't know the terminology involved, I couldn't find the original question. If someone can find the original question and link to it, then ...
user avatar
0 votes
1 answer
35 views

There is a unique map $P \to \text{Hom}(A, \prod_i C_i)$ whenever $P \xrightarrow{p_i} \text{Hom}(A, C_i)$?

I'm trying to prove directly that $\text{Hom}(A, \prod_i C_i) \simeq \prod_i \text{Hom}(A, C_i)$ whenever $\prod_{i\in I} C_i$ is a product of a family of objects $C_i$ in a category $B$, where $A$ is ...
user avatar
0 votes
0 answers
33 views

Difference between functors $\text{Hom}_B(-,B)$ and $\text{Hom}_{\mathbb C}(-,\mathbb C)$

I am working with a commutative finite-dimensional $\mathbb C$-algebra $B$ and I am supposed to consider and prove a theorem about the hom-functors $$\text{Hom}_B(-,B)\quad\text{and}\quad \text{Hom}_{\...
user avatar
  • 45
1 vote
1 answer
75 views

Exactness of a sequence in Abelian category

Suppose we have a sequence in an Abelian Category, which consists of two morphism,lets say $f$:X-->Y, and a morphism $g$:Y-->Z such that gof=0 .If for every object M of the category the functor Hom(M,-...
user avatar
  • 310
1 vote
2 answers
121 views

Is there a reason why we call $\mathrm{Hom}(A, -)$ covariant and $\mathrm{Hom}(-,B)$ contravariant?

I have trouble remembering what it means to apply the covariant or contravariant Hom functor. For example, when I see $\mathrm{Hom}(A, -)$, I always forget if I am going to reverse arrows or not. ...
user avatar
0 votes
1 answer
60 views

reflective subcategory

Suppose that we have the following adjoint situation: $$\hom(G-,-)\cong\hom(-,F-),$$ where $F:\cal K\to L$ and $G:\cal L\to K$ are functors. So if $F$ is a right adjoint then it has a left adjoint $...
user avatar
  • 3,578
2 votes
2 answers
68 views

Defining $Hom(f,W)$

Fix a field $k$ and a vector space $W$ over $k$. All other vector spaces will vector spaces over $k$ as well. Given a linear map $f:V\to V'$, there is a linear map $f^\ast:Hom(V',W)\to Hom(V,W)$ ...
user avatar
  • 10.9k
3 votes
1 answer
180 views

Weibel exercise 1.1.4, taking $A = Z_n$...

Exercise 1.1.4 Show that $\{\text{Hom}_R(A, C_n)\}$ forms a chain complex of abelian groups for every $R$-module $A$ and every $R$-module chain complex $C_{\cdot}$. Taking $A = Z_n$, show that if $...
user avatar
2 votes
1 answer
91 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)...
user avatar
0 votes
1 answer
118 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\...
user avatar
  • 3,578
0 votes
1 answer
34 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 ...
user avatar
0 votes
0 answers
59 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 ...
user avatar
  • 1,260
2 votes
1 answer
57 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 ...
user avatar
1 vote
0 answers
74 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, ...
user avatar
7 votes
1 answer
691 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 ...
user avatar
0 votes
1 answer
165 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$? ...
user avatar
6 votes
2 answers
529 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 ...
user avatar
  • 5,991
1 vote
0 answers
100 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 ...
user avatar
  • 3,578
0 votes
1 answer
209 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{...
user avatar
  • 773
1 vote
1 answer
67 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 ...
user avatar
  • 77
2 votes
2 answers
86 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{...
user avatar
1 vote
1 answer
103 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{\...
user avatar
0 votes
1 answer
105 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 ...
user avatar
  • 3,578
5 votes
2 answers
140 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{...
user avatar
  • 3,321
5 votes
1 answer
1k 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)$. ...
user avatar
  • 145
1 vote
3 answers
111 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{...
user avatar
1 vote
0 answers
102 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^{(...
user avatar
3 votes
2 answers
4k 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)\...
user avatar
1 vote
1 answer
189 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 ...
user avatar
  • 1,219
1 vote
0 answers
63 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 ...
user avatar