#

double-category

Here are 2 public repositories matching this topic...

locusmath / locus

A specialised computer algebra system for topos theory.

research functional-programming functions cubes research-project squares topos-theory categorical-logic double-category applied-category-theory topos first-class-functions higher-dimensional hypercubes presheaf-theory double-categories sierpinski-topos

Updated Jun 23, 2024
Clojure

Cobord / OpenMarkov-PetriNet-RxnNet

Open Markov Proceses as TensorFlow objects, Petri Nets and Chemical Rxn Nets in Haskell

markov reaction-network petri-nets tensorflow-models double-category applied-category-theory evolutionary-graph-theory

Updated May 7, 2022
Jupyter Notebook

Add this topic to your repo

To associate your repository with the double-category topic, visit your repo's landing page and select "manage topics."