What makes a Functor feel like Hom?

[iokasimov]

Here is a new chapter on Hom Functors! It’s not an easy reading, but if you get it, you would understand the beaufy of applying category theory to enhance programming constructions. This time I’ve added more practical examples:

Я ☞ Articles ☞ What makes a Functor feel like Hom?

For those who don’t know about this project yet - Я is the most practical general purpose categorical programming language implemented as a Haskell eDSL.

[iokasimov]

I see you guys are struggling with getting started in Я. So I decided to create a buch of snippets that answer the question “how do I do X in Я”. The very first one is there: Я ☞ Snpippets ☞ Finding elements within data structures

Let me know which snippet you would like to see.