GitHub - weberlo/yoneda.py: A playground for computational category theory.

weberlo / yoneda.py Public

A playground for computational category theory.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
experiments		experiments
instances		instances
tests		tests
util		util
.gitignore		.gitignore
__init__.py		__init__.py
category.py		category.py
functor.py		functor.py
morphism.py		morphism.py
nat_trans.py		nat_trans.py
obj.py		obj.py
op_cat.py		op_cat.py
presheave.py		presheave.py
run_tests.sh		run_tests.sh