jmchapman / categories

A category theory library for Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

A category theory library by James Chapman and Niccolò Veltri.

About

A category theory library for Agda

License:MIT License


Languages

Language:Agda 100.0%