3 results found Sort:

AlgebraicJulia
Catlab.jl AlgebraicJulia
56
598
mit
18
A framework for applied category theory in the Julia language
julia category-theory string-diagrams wiring-diagrams compositionality applied-category-theory
Created 2017-04-04
2,958 commits to main branch, last one 2 days ago
madnight
awesome-category-theory madnight
1
54
mit
3
A curated list of awesome Category Theory resources.
monads functor monoids category functors applicative mathematics type-theory awesome-list category-theory abstract-algebra applied-category-theory natural-transformations category-theory-for-programmers
Created 2023-07-30
35 commits to main branch, last one 4 months ago
chakravala
DirectSum.jl chakravala
4
50
agpl-3.0
4
Tangent bundle, vector space and Submanifold definition
math functor tensors manifold manifolds type-system linear-algebra tensor-algebra category-theory abstract-algebra compositionality applied-category-theory
Created 2019-02-08
85 commits to master branch, last one 24 days ago