Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
-
Updated
Feb 7, 2023 - TeX
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
Slides for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
Exercise solutions and notes related to "An Invitation to Applied Category Theory"
Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
TensorFields with product topology using Grassmann element parameters
Implementation of concepts from Applied Category Theory
For Azimuth ACT course
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
Open Markov Proceses as TensorFlow objects, Petri Nets and Chemical Rxn Nets in Haskell
Sources for "Applied Category Theory for Engineering"
Sheaves library for graph abstractions based on NetworkX
A specialised computer algebra system for topos theory.
Bayesian inference on wiring diagrams.
A list of works and resources about double category theory, with a particular focus on applications.
A curated list of awesome Category Theory resources.
ACT community resources
A framework for applied category theory in the Julia language
Add a description, image, and links to the applied-category-theory topic page so that developers can more easily learn about it.
To associate your repository with the applied-category-theory topic, visit your repo's landing page and select "manage topics."