├── .gitignore ├── README.md ├── categories.ipkg └── src ├── Algebra.idr ├── Algebra └── Hierarchy.idr ├── Category.idr ├── Category ├── Discrete.idr ├── Discretes.idr ├── Order.idr ├── Setoid.idr ├── UnitMonoid.idr └── UnitMonoids.idr ├── Functor.idr ├── Functor ├── Identities.idr └── Identity.idr ├── Operation.idr ├── Relation.idr ├── Relation └── Hierarchy.idr ├── Setoid.idr ├── Setoid ├── Arrow.idr ├── BuiltIn.idr ├── Natural.idr └── SetoidFunction.idr └── Util └── Operators.idr /.gitignore: -------------------------------------------------------------------------------- 1 | *.ibc 2 | *.o 3 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/README.md -------------------------------------------------------------------------------- /categories.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/categories.ipkg -------------------------------------------------------------------------------- /src/Algebra.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Algebra.idr -------------------------------------------------------------------------------- /src/Algebra/Hierarchy.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Algebra/Hierarchy.idr -------------------------------------------------------------------------------- /src/Category.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Category.idr -------------------------------------------------------------------------------- /src/Category/Discrete.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Category/Discrete.idr -------------------------------------------------------------------------------- /src/Category/Discretes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Category/Discretes.idr -------------------------------------------------------------------------------- /src/Category/Order.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Category/Order.idr -------------------------------------------------------------------------------- /src/Category/Setoid.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Category/Setoid.idr -------------------------------------------------------------------------------- /src/Category/UnitMonoid.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Category/UnitMonoid.idr -------------------------------------------------------------------------------- /src/Category/UnitMonoids.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Category/UnitMonoids.idr -------------------------------------------------------------------------------- /src/Functor.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Functor.idr -------------------------------------------------------------------------------- /src/Functor/Identities.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Functor/Identities.idr -------------------------------------------------------------------------------- /src/Functor/Identity.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Functor/Identity.idr -------------------------------------------------------------------------------- /src/Operation.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Operation.idr -------------------------------------------------------------------------------- /src/Relation.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Relation.idr -------------------------------------------------------------------------------- /src/Relation/Hierarchy.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Relation/Hierarchy.idr -------------------------------------------------------------------------------- /src/Setoid.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Setoid.idr -------------------------------------------------------------------------------- /src/Setoid/Arrow.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Setoid/Arrow.idr -------------------------------------------------------------------------------- /src/Setoid/BuiltIn.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Setoid/BuiltIn.idr -------------------------------------------------------------------------------- /src/Setoid/Natural.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Setoid/Natural.idr -------------------------------------------------------------------------------- /src/Setoid/SetoidFunction.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Setoid/SetoidFunction.idr -------------------------------------------------------------------------------- /src/Util/Operators.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danilkolikov/categories/HEAD/src/Util/Operators.idr --------------------------------------------------------------------------------