The yoneda-lemma tag has no usage guidance.

**7**

votes

**0**answers

128 views

### Yoneda embedding and Horn sentences

The following is taken from Borceux and Bourn's Mal'cev, Protomodular, Homological, and Semi-Abelian Categories.
Metatheorem 0.1.3. Let $\mathcal P$ be a statement of the form $\varphi\implies \...

**2**

votes

**0**answers

88 views

### Are there any detailed references for the enriched yoneda lemma?

I am just starting out learning enriched category theory, and I am looking for a reference proof of the Yoneda lemma for categories enriched in a monoidal category.
Thank you for your help.

**2**

votes

**1**answer

110 views

### Does the following characterize local presentability?

Let $\mathcal C$ be a cocomplete category. Consider the following two conditions:
$\mathcal C$ is locally presentable.
The Yoneda embedding $$\mathcal C \hookrightarrow \{\text{continuous functors }...

**-1**

votes

**2**answers

243 views

### Basic category theory: Universality of adjunction unit is justified by Yoneda Proposition in Mac Lane's text [closed]

Background
I am reviewing some category theory, which I did not learn too well the first time around. One text I am using is Mac Lane's. Near the beginning of the chapter on adjunctions (pg 80),
he ...

**4**

votes

**1**answer

378 views

### Proof without using Yoneda's lemma?

Let $\mathscr{T}$ be atriangulated category.
The third axiom for triangulated categories, namely,
if in the diagram
$$\begin{array} 0X &\stackrel{u}{\longrightarrow}&Y&\stackrel{v}{\...

**1**

vote

**0**answers

143 views

### Continuity of Kan extension along the Yoneda embedding

Let $\mathcal{C}$ be a category and $h_-: \mathcal{C} \to \mathrm{Set}^{\mathcal{C}^{op}}$ be the Yoneda embedding. Let $\mathcal{A}$ be a cocomplete category and $F: \mathcal{C} \to \mathcal{A}$ a ...

**8**

votes

**1**answer

374 views

### In what generality does Eilenberg-Watts hold?

In homological algebra, the Eilenberg-Watts theorem states that if $F\colon\text{Mod}_R\to\text{Mod}_S$ is a right-exact coproduct preserving functor of modules, then $F\cong-\otimes_R F(R).$ The ...

**3**

votes

**3**answers

513 views

### Yoneda on a not so small category

I am working with "usual" category theory, maybe over ZFC, and I have a functor $F : Set \to Set$. I'd like to apply Yoneda lemma to $F$, i.e. obtain:
$$ [Set, Set](h_A, F) \cong F A $$
However, ...

**4**

votes

**1**answer

378 views

### Unicity of Yoneda isomorphism

I am wondering if there is only one unique Yoneda isomorphism, that is a natural isomorphism (natural in C and P, that is) between Hom(yC,P) and PC.
The Yoneda lemma says that there exists at least ...

**6**

votes

**1**answer

392 views

### Subcategories which still give a Yoneda embedding

If $\mathbf{C}$ is a category, then the Yoneda functor which sends $a$ to $Hom_\mathbf{C}(-,a)$ is a fully faithful embedding of categories
$$ \mathbf{C}\rightarrow \mathbf{Func}(\mathbf{C}^{op},\...

**9**

votes

**1**answer

276 views

### Given a small category with some colimits, can the rest of the colimits be added?

Let $\mathcal{A}$ be a small category with some ( maybe no) colimits. What I would like to be able to do is add the rest of the colimits in a universal way. The Yoneda lemma will not work, since this ...

**2**

votes

**1**answer

145 views

### Reference Request(Enriched Categories): Metric on Lipschitz Continuous Functions

If we consider metric spaces to be categories enriched over $\mathbb R_{\geq 0}$, the object corresponding to presheaves should be lipschitz-continuous functions $\operatorname{Lip^ 1}(M, \mathbb R_{\...