Questions tagged [yoneda-lemma]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
5
votes
0answers
124 views

Does Cantor Bernstein hold in a Closed Symmetric Monoidal Category?

In a closed symmetric monoidal category with $[I,X] \cong X$ for all $X$ is it true that having monomorphisms $m :A \rightarrow B$ and $m: B \rightarrow A$ is enough to imply $A \cong B$ ? I tried to ...
6
votes
1answer
274 views

Is $\prod_{X : \mathcal{U}} (X \to X) \cong 1$ consistent with type theory?

Assume we work in some minimalistic version of Martin-Löf type theory. Does it break consistency to postulate that the function that selects the identity function has an inverse? $$\prod_{X : \...
3
votes
2answers
252 views

Profunctors as a Kleisli bicategory

There is some discussion on the nLab on seeing the free cocompletion $\mathbf{Psh}(\mathbf{A}) = [\mathbf{A}^{op}, \mathbf{Sets}]$, as a pseudomonad. The Yoneda embedding $よ \colon \mathbf{A} \to \...
4
votes
0answers
192 views

When do Kan extensions preserve colimits?

Assume that we have a pair of functors $Y:A \to B$ and $F:A \to C$ where $A$ is an essentially small category, $B,C$ are cocomplete categories and $Y,F$ preserve colimits. Assume also that for some ...
8
votes
0answers
302 views

In what context can enriched category theory be done?

There are many possible situations one can do enriched category theory. See https://ncatlab.org/nlab/show/category+of+V-enriched+categories#possible_contexts for a list. My question is what ...
5
votes
2answers
318 views

Enrichments vs Internal homs

Consider the definition of existence internal homs for a general monoidal category category $\cal{C}$, mainly the existence of an adjoint for the functor $$ X \otimes -: \cal{C} \to \cal{C}, $$ for ...
7
votes
1answer
96 views

generalized elements in monodial categories

In a category $\mathcal{C}$, a generalized element of an object $A$ means a morphism to $A$. It follows from Yoneda lemma that the object $A$ is determined by the collection of generalized of elements ...
5
votes
2answers
324 views

Higher and lower analogues of Yoneda's lemma

Here's a statement of Yoneda's lemma for n-category. Let C be a n-category and $C^{\wedge}=[C^o,n-1Cat]$ be the n-category of presheaves on C. $C^o$ is the opposite n-category of C and $n-1Cat$ is ...
7
votes
1answer
388 views

Yoneda Lemma for internal presheaves

I'm looking for a reference explaining under what conditions the internal Yoneda lemma holds; in particular, I am wondering if it is known what properties of the ($2$-)category of categories are ...
8
votes
0answers
181 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 \psi$...
3
votes
0answers
242 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.
3
votes
1answer
171 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 } ...
0
votes
2answers
383 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
1answer
424 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
0answers
265 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 ...
11
votes
1answer
788 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 ...
5
votes
3answers
622 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, ...
5
votes
1answer
479 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 ...
8
votes
1answer
516 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
1answer
313 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
1answer
169 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_{\...
13
votes
3answers
2k views

The Yoneda Lemma for $(\infty,1)$-categories?

According to this page on the nLab, it is currently unclear whether or not the entire Yoneda lemma generalizes to $(\infty ,1)$-categories rather than just the Yoneda embedding. Have there been ...
114
votes
12answers
27k views

“Philosophical” meaning of the Yoneda Lemma

The Yoneda Lemma is a simple result of category theory, and its proof is very straightforward. Yet I feel like I do not truly understand what it is about; I have seen a few comments here mentioning ...