3 results found Sort:

AlgebraicJulia
Catlab.jl AlgebraicJulia
58
639
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,061 commits to main branch, last one 7 days ago
madnight
awesome-category-theory madnight
5
113
mit
2
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 about a year ago
chakravala
DirectSum.jl chakravala
4
50
agpl-3.0
3
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
91 commits to master branch, last one 21 days ago