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 BUG: Don't generate Julia functions for Unicode aliases of GAT types. 4 months ago
graphics ENH: Added equality and has operators for Edge and NodeID 2 weeks ago
graphs ENH: Convenience function to construct graph with parallel edges. 3 weeks 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. 7 days ago
wiring_diagrams CLEANUP: Reexport the `Sets` and `FinSets` submodules. 3 weeks ago
Project.toml REFACTOR: Drop dependency on TypedTables. 4 weeks ago
runtests.jl refactored graphics 3 months ago