A framework for applied category theory in the Julia language

ACT community resources

A curated list of awesome Category Theory resources.

Tangent bundle, vector space and Submanifold definition

Tensor algebra abstract type interoperability setup

Sources for "Applied Category Theory for Engineering"

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

Bayesian inference on wiring diagrams.

A specialised computer algebra system for topos theory.

Sheaves library for graph abstractions based on NetworkX

TensorField topology of FrameBundle ∇ using Grassmann.jl elements

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

For Azimuth ACT course

Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'

Implementation of concepts from Applied Category Theory

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

Emacs language support mode for CQL (Categorical Query Language), formerly called AQL. See https://www.categoricaldata.net.

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

A compositional, energy-based software framework for modeling mechanical, electromagnetic and thermodynamic systems

A framework for Systems Verification of categories, Theories and Meta Theories in Lean, Rocq, C# and F#.

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

A module of applied basic category theory in the Julia language

No description provided.

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