Murat Kasimov 🎲

      • More about me
      • Я ☞ Language (β)

    Backlinks

    • Я ☞ Articles ☞ Using Yoneda lemma for flipping notation
    • Я ☞ Articles ☞ What makes a Functor feel like Hom?
    • Я ☞ Effects
    • Я ☞ Glossary
    • Я ☞ Glossary ☞ Kleisli
    • Я ☞ Operators ☞ ha
    • Я ☞ Operators ☞ he
    • Я ☞ Operators ☞ ho
    • Я ☞ Operators ☞ hu

    Я ☞ Glossary ☞ Hom Functor

    May 30, 20251 min read

    If you want to know more how functors are used in Я I recommend you to check out What makes a Functor feel like Hom? article.

    The notion of Hom functors in Я is used for bifunctors, whose parameters behave in the same manner as it was a Hom-functor (left - contravariantly, right - covariantly).

    I recommend you to spend some time starring at this Natural Transformation between Hom functors. Isn’t it beautiful?


    Graph View

    • GitHub
    • Twitter
    • Linkedin
    • Patreon
    • Instagram
    • Steam
    • Facebook