double-category

There are 0 repository under double-category topic.

locusmath / locus
A specialised computer algebra system for topos theory.
double-categories functions sets squares cubes higher-dimensional functional-programming topos topos-theory applied-category-theory hypercubes algebraic-geometry presheaf-theory sheaf-theory double-category sierpinski-topos categorical-logic
Language:Clojure 17
Cobord / OpenMarkov-PetriNet-RxnNet
Open Markov Proceses as TensorFlow objects, Petri Nets and Chemical Rxn Nets in Haskell
markov tensorflow-models double-category applied-category-theory evolutionary-graph-theory reaction-network petri-nets
Language:Jupyter Notebook 7