homalg-project / FreydCategoriesForCAP.jl Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

[READ-ONLY-SUBSPLIT] Formal (co)kernels for additive categories in Julia

GPL-2.0 license

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
docs/src		docs/src
ext		ext
src		src
test		test
LICENSE		LICENSE
Project.toml		Project.toml
README.md		README.md
makefile		makefile

Repository files navigation

FreydCategoriesForCAP

Freyd categories - Formal (co)kernels for additive categories

Documentation

This is the Julia version of CAP-based package FreydCategoriesForCAP.

About

[READ-ONLY-SUBSPLIT] Formal (co)kernels for additive categories in Julia

GPL-2.0 license

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages

Julia 100.0%