3 results found Sort:

AlgebraicJulia
Catlab.jl AlgebraicJulia
58
622
mit
20
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
3,053 commits to main branch, last one a day ago
madnight
awesome-category-theory madnight
5
106
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 10 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
90 commits to master branch, last one 2 hours ago