Skip to content

GitLab

Explore

Sign in

H
Haskell

Any
Batchfile
C
C++
CMake
CSS
Dockerfile
EJS
Go
HTML
Java
JavaScript
Jupyter Notebook
MATLAB
Makefile
PHP
PLpgSQL
Python
QMake
R
Roff
SCSS
Shell
TSQL
TeX
TypeScript

Projects with this topic

Sort by:

Sort by
Updated date
Name
Name, descending
Oldest updated
Oldest created
Last created
Most stars
Hide archived projects
Show archived projects
Show archived projects only

View FiniteCategories project

Guillaume Sabbagh / FiniteCategories

A Haskell package for constructing finite categories and usual constructions on them.

Category theory Mathematics Haskell Cone Cocone Category Functor Natural tran... Diagonal fun... Limit Colimit Diagram

1

Updated May 31, 2024

1 0 0 0

Updated May 31, 2024