(⚠️ Work in Progress ⚠️) Category theoretic abstractions and implementations - View it on GitHub