This repository was archived by the owner on Nov 19, 2023. It is now read-only.

Name		Name	Last commit message	Last commit date
algebra		algebra
category		category
solver		solver
.gitignore		.gitignore
README.md		README.md
agda-categories.agda		agda-categories.agda
algebra.agda		algebra.agda
category.agda		category.agda
solver.agda		solver.agda

Repository files navigation

agda-categories

Basic categories and algebra in HoTT.

Dependencies: agda-base

About

Category theory and algebra

27 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages