Glossary of categories

Category of Haskell types

The category of Haskell types, called 𝖧𝖺𝗌𝗄, is a category1 where each object is a Haskell type and each morphism is a Haskell function between those types. It is similar to 𝖲𝖾𝗍.

See also

#state/develop | #SemBr

Footnotes

  1. Due to a few issues, 𝖧𝖺𝗌𝗄 is not formally a category. However in the majority of cases it makes sense and is useful to use categorical reasoning. ↩