From 8f1b64cdc3043be613d4fd754e1482f9385ae065 Mon Sep 17 00:00:00 2001
From: Dmitry <121898072+bpmbpm@users.noreply.github.com>
Date: Fri, 20 Mar 2026 09:13:22 +0300
Subject: [PATCH] Update readme.md

---
 METAMODEL/readme.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/METAMODEL/readme.md b/METAMODEL/readme.md
index 39695f56..fbad9326 100644
--- a/METAMODEL/readme.md
+++ b/METAMODEL/readme.md
@@ -3,3 +3,6 @@
 
 ### Also
 - https://github.com/bpmbpm/doc/tree/main/math
+### category
+- [Категории типов. Часть 6. Расширения Кана](https://habr.com/ru/articles/1012402/) Функциональное программирование
+- Hobbes - функциональный язык программирования со статической типизацией. Он поддерживает тайпклассы и в этом близок к Haskell, но в остальном очень далёк от него: в Hobbes не ленивая, а строгая модель вычислений, при вызове функций сначала слева направо вычисляются её аргументы.  https://habr.com/ru/articles/1008138/