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 d5534d3cf2
Merge pull request #527 from epatters/tabular-sets
6 days ago
literate REFACTOR: Create abstract type for FinSets. 1 week ago
src ENH: Macro `@diagram` with DSL for defining diagrams in a category. 1 week ago
.gitignore BUILD: Put generated Markdown and notebook docs in same directory. 2 years ago
Project.toml DOC: add quiver diagrams to partitions vignette 2 months ago
make.jl DOC: add sketch for meets 2 months ago