Catlab.jl
Catlab.jl is a framework for applied and computational category theory, written in the Julia language. Catlab provides a programming library and interactive interface for applications of category theory to scientific and engineering fields. It emphasizes monoidal categories due to their wide applicability but can support any categorical structure that is formalizable as a generalized algebraic theory.
Λεπτομέρειες πλοηγού
(Βοήθεια)
-
EIDM  »EIDM 
Software »Software
Software programs »Software programs
AlgebraicJulia »AlgebraicJulia
Catlab.jl
+Σχόλια (0)
+Αναφορές (1)
+About