https://github.com/homalg-project/algebroids

[READ-ONLY-SUBSPLIT] Algebroids and bialgebroids as preadditive categories generated by enhanced quivers

algebroids bialgebroids finitely-presented-category path-algebras quivers

Last synced: 11 Mar 2025