applied-category-theory

There are 6 repositories under applied-category-theory topic.

AlgebraicJulia / Catlab.jl
A framework for applied category theory in the Julia language
applied-category-theory string-diagrams wiring-diagrams julia category-theory compositionality
Language:Julia 586
statebox / awesome-applied-ct
ACT community resources
applied-category-theory compositionality category-theory curated-list references
459
mattecapu / awesome-double-categories
A list of works and resources about double category theory, with a particular focus on applications.
applied-category-theory category-theory mathematics double-categories
24
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
samuelsonric / AlgebraicInference.jl
Bayesian inference on wiring diagrams.
julia applied-category-theory category-theory bayesian-inference bayesian-statistics inference message-passing probabilistic-graphical-models
Language:Julia 17
arquicanedo / graph2sheaves
Sheaves library for graph abstractions based on NetworkX
applied-category-theory category-theory sheaf-theory
Language:Jupyter Notebook 13
ACT4E / ACT4E
Sources for "Applied Category Theory for Engineering"
category-theory applied-category-theory textbook
Language:TeX 11
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
Cobord / Azimuth-Applied-Category-Theory
For Azimuth ACT course
posets applied-category-theory azimuth hasse-diagram quantale concurrency lenses prism backprop parameterized-systems optics backpropogation
Language:Haskell 5
georgejkaye / act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
act2022 digital-circuits monoidal-categories string-diagrams applied-category-theory
Language:TeX 5
chakravala / TensorFields.jl
TensorFields with product topology using Grassmann element parameters
applied-category-theory calculus compositionality differential-geometry discrete-exterior-calculus functor manifolds math scientific-computing tensor geometric-algebra clifford-algebras linear-algebra tensor-algebra topology sheaf-theory computational-geometry manifold
Language:Julia 3
georgejkaye / syco8-abstract
Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
digital-circuits category-theory mealy-machines streams extended-abstract syco syco8 applied-category-theory
Language:TeX 3
lemastero / Idris-Applied-Category-Theory
Implementation of concepts from Applied Category Theory
applied-category-theory idris
Language:Idris 3
dogonthehorizon / seven-applied-cats
Exercise solutions and notes related to "An Invitation to Applied Category Theory"
applied-category-theory applied-mathematics category-theory haskell haskell-exercises haskell-learning solutions
Language:Haskell 2
georgejkaye / lfcs-seminar
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
applied-category-theory digital-circuits mealy-machines monoidal-categories string-diagrams
Language:TeX
georgejkaye / syco8-slides
Slides for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
syco slides digital-circuits category-theory applied-category-theory syco8 mealy-machines
Language:TeX
lemastero / svarog
applied-category-theory preorder enriched-category metric-space
Language:Scala