dev://studium
   |
 .'|'.
/.'|\ \
| /|'.|
 \ |\/
  \|/
   `
   |
 .'|'.
/.'|\ \
| /|'.|
 \ |\/
  \|/
   `
   |
 .'|'.
/.'|\ \
| /|'.|
 \ |\/
  \|/
   `

Search

SearchSearch
      • 🗁 dev://osib
        • bad sqlx and age code
        • brainstorming
        • cognitive dissonance
        • devlog
        • fuck hackcyom
        • we love graphs
        • who needs architecture
      • 🗁 dev://tech
        • ai-driven research for systems
        • an excerpt (backdoor in iOS?)
        • antonym space exploration
        • diy subvocalization
        • fuck microsoft
        • gpt koans
        • gpui network graphs
        • keyrings, keepassxc, and thunderbird
        • levin Search
        • linux file managers
        • loading.io
        • playing with gpui
        • product friction
        • prompt lab
        • reversing alberta wallet (android)
        • surveillance
        • svg animation
        • tokenizing queries for diverse search engine results
        • www ranking
        • zelous
      • 🗁 file://notes
        • artificial intelligence
        • attention schema theory
        • bioelectricity
        • direct gradient sensing
        • douglas hofstadter
        • game theory
        • grok
        • immersion
        • inevitabilism
        • network graphs
        • nous
        • on protocols
        • on randomness
        • on revenge
        • peter putnam
        • potts model
        • quantum biology
        • stress
        • yoneda lemma
      • blogs to read
      • ideas
      • library
      • links
      • my open source work
      • pgp
      • quotes
      • who i am

    Latest Changes

    • potts model

      Oct 31, 2025

      • yoneda lemma

        Oct 30, 2025

        • surveillance

          Oct 29, 2025

          • direct gradient sensing

            Oct 23, 2025

            • #ai
          • immersion

            Oct 22, 2025

            • antonym space exploration

              Oct 22, 2025

              • #ai
            • zelous

              Oct 22, 2025

              • on protocols

                Oct 21, 2025

                ⌂

                →

                file://notes

                →

                yoneda lemma

                yoneda lemma

                Created, Oct 30, 2025

                Updated, Oct 30, 2025, 1 min read

                Links

                • https://web.archive.org/web/20250702173934/http://blog.sigfpe.com/2006/11/yoneda-lemma.html
                • https://jwbuurlage.github.io/blog/ctp-yoneda/
                • https://blog.juliosong.com/linguistics/mathematics/category-theory-notes-14/
                • https://wloublog.wordpress.com/2019/06/26/a-brief-introduction-to-categories-part-4-the-yoneda-lemma-and-representability/
                • https://medium.com/%40olxc/yoneda-and-coyoneda-trick-f5a0321aeba4
                • https://emilyriehl.github.io/yoneda/CPP-2024/simplicial-hott/09-yoneda.rzk/
                • https://mathoverflow.net/questions/3184/philosophical-meaning-of-the-yoneda-lemma
                • https://limperg.de/posts/2018-07-27-yoneda.html
                • https://sheafifiedsarah.wordpress.com/2017/08/30/interpretations-of-the-yoneda-lemma/
                • https://bartoszmilewski.com/2013/10/08/lenses-stores-and-yoneda/
                • https://matteocapucci.wordpress.com/2023/07/15/no-the-yoneda-lemma-doesnt-solve-the-problem-of-qualia/
                • https://www.math3ma.com/blog/the-yoneda-perspective
                • https://bartoszmilewski.com/2015/07/13/from-lenses-to-yoneda-embedding/
                • https://bartoszmilewski.com/2015/09/01/the-yoneda-lemma/
                • https://bartoszmilewski.com/2013/05/15/understanding-yoneda/
                • https://www.math3ma.com/blog/the-yoneda-embedding
                • https://www.math3ma.com/blog/the-yoneda-lemma
                • https://www.math3ma.com/blog/the-yoneda-perspective

                Graph View

                Backlinks

                • No backlinks found

                Created by jerlendds with Quartz v4.2.3 © 2025

                • GitHub
                • Codeberg
                • Gitlab
                • Email
                • RSS
                • Matrix