From 2ce132a914afd665a2781f67c33a0e65d4cbfe4e Mon Sep 17 00:00:00 2001 From: Smaug123 Date: Sat, 13 Apr 2024 23:07:45 +0100 Subject: [PATCH] Fix typo --- hugo/content/posts/2024-04-13-yoneda.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hugo/content/posts/2024-04-13-yoneda.md b/hugo/content/posts/2024-04-13-yoneda.md index fefcfb2..6c8f6cb 100644 --- a/hugo/content/posts/2024-04-13-yoneda.md +++ b/hugo/content/posts/2024-04-13-yoneda.md @@ -113,7 +113,7 @@ Exercise: do those formally, as follows! 1. Prove that the homomorphism \\((f : A \to B) \mapsto (Gf)(a)\\) is indeed a homomorphism (that is, a natural transformation), by writing out the necessary properties which define a natural transformation and showing that they each hold. 1. Prove (by writing out the equations) that the two Yoneda maps are inverse to each other. -1. Write out the equations for both naturality conditions (that is, in \\(A\\) and in \\(F\\)) in full, and prove them. +1. Write out the equations for both naturality conditions (that is, in \\(A\\) and in \\(G\\)) in full, and prove them. # The Yoneda embedding