GitHub repository: kamalsaleh/FreydCategoriesForCAP.jl
Primary language: Julia
Description: [READ-ONLY-SUBSPLIT] Formal (co)kernels for additive categories in Julia