A framework for applied category theory in the Julia language https://algebraicjulia.github.io/Catlab.jl/latest/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Evan Patterson e1649bd8d4 ENH: Function to check whether finitely presented cat is discrete. 4 days ago
..
categorical_algebra ENH: Function to check whether finitely presented cat is discrete. 4 days ago
core FIXUP: applied review comments 3 months ago
graphics ENH: Added equality and has operators for Edge and NodeID 2 weeks ago
graphs DOC: Fix/remove some broken cross-references. 1 week ago
linear_algebra REFACTOR: Fix up type hierarchy for relation diagrams. 4 weeks ago
programs ENH: Macro `@diagram` with DSL for defining diagrams in a category. 1 week ago
theories ENH: Include whiskering in theory of 2-categories. 1 week ago
wiring_diagrams ENH: Free categories and functors between them. 3 weeks ago
Catlab.jl refactored graphics 3 months ago