Hi everyone again! 👋 I published an introductory article on using natural transformations, functors and categories in Я - extremely composable embeddable programming language. This order in the title is not accidental - functors start making sence in context of natural transformations and categories are rarely interesting without reasoning in terms of mappings between them i.e. functors. In this article I briefly introduce these concepts and demonstrate how to use other categories in Я besides Arrow (regular functions) - Scope category and Event precategory; along how they are related to each other: https://muratkasimov.art/Ya/Articles/Transformations,-functors,-categories/

Я as in "ya"?

Yep, it was named after Yoneda lemma: https://x.com/masahiro_sakai/status/2021032789437710575

That is hilarious. Going to need to read up on it now.