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/