项目作者: danilkolikov

项目描述 :
Category Theory
高级语言: Idris
项目地址: git://github.com/danilkolikov/categories.git
创建时间: 2017-02-27T19:24:51Z
项目社区:https://github.com/danilkolikov/categories

开源协议:

下载


Category Theory & Algebra

Attempt to formalize category theory and algebra using Idris language
Contains definition of

  • Algebraic structures - Semigroup, Monoid, Semiring, …
  • Setoids - Natural numbers, built-in setoids, extensional functions
  • Properties of relations and operations
  • Category - Discrete, Monoids, PreOrder, Setoids
  • Functor (Co- and Contra-variant)
  • Some examples

Installation & Usage

To install categories package, you should:

  1. Clone repository to folder
  2. Run idris --install categories.ipkg

To use proofs and types from categories in files import them as default modules and start Idris with command

  1. idris -p categories %FILE_NAME%

To use modules from categories in REPL, import them using :module command