Giters

solomon-b / monoidal-functors

A library encoding monoidal functors and related structures in Haskell.

Home Page:https://hackage.haskell.org/package/monoidal-functors

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

category-theoryhaskellmonoidal-categories

Monoidal Functors

monoidal-functors::CI

A monoidal functor is a functor between monoidal categories that preserves the monoidal structure.

This library encodes monoidal functors and related structures in Haskell.

About

A library encoding monoidal functors and related structures in Haskell.

https://hackage.haskell.org/package/monoidal-functors

category-theoryhaskellmonoidal-categories

License:MIT License

Languages

Language:Haskell 97.4%Language:Makefile 1.8%Language:Nix 0.8%