Sources for "Applied Category Theory for Engineering"

A framework for applied category theory in the Julia language

Tangent bundle, vector space and Submanifold definition

Tensor algebra abstract type interoperability setup

Maurer-Cartan-Lie frame connections ∇ Grassmann.jl TensorField derivations

A specialised computer algebra system for topos theory.

A curated list of awesome Category Theory resources.

Bayesian inference on wiring diagrams.

Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'

Implementation of concepts from Applied Category Theory

A list of works and resources about double category theory, with a particular focus on applications.

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

Slides for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'

Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'

ACT community resources

Exercise solutions and notes related to "An Invitation to Applied Category Theory"

Sheaves library for graph abstractions based on NetworkX

For Azimuth ACT course