# Transformations, functors, categories

**URL:** https://discourse.haskell.org/t/transformations-functors-categories/13994
**Category:** Links
**Created:** [April 29, 2026, 1:52pm UTC](https://discourse.haskell.org/t/transformations-functors-categories/13994 "2026-04-29T13:52:33Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![iokasimov](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/iokasimov/32/5591_2.png) [@iokasimov](https://discourse.haskell.org/u/iokasimov)
#### Post date: [April 29, 2026, 1:52pm UTC](https://discourse.haskell.org/t/transformations-functors-categories/13994/1 "2026-04-29T13:52:33Z")

</div>

![スクリーンショット 2026-04-29 20.27.10](https://us1.discourse-cdn.com/flex002/uploads/haskell/original/2X/0/02aa240dc166facebc752232426f10cdbf931594.png)

[https://muratkasimov.art/Ya/Articles/Transformations,-functors,-categories/](https://muratkasimov.art/Ya/Articles/Transformations,-functors,-categories/)

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.