Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Split up CategoryTheory.jl into its own folder #227

Open
mehalter opened this issue Nov 1, 2019 · 1 comment
Open

Split up CategoryTheory.jl into its own folder #227

mehalter opened this issue Nov 1, 2019 · 1 comment

Comments

@mehalter
Copy link
Collaborator

mehalter commented Nov 1, 2019

This should probably go in a new folder like /src/category/cateogy.jl if it keeps growing we could do

/src/category/category.jl
/src/category/span.jl
/src/category/cospan.jl
/src/category/decorated.jl

It is probably overkill to use 4 files for this right now, but that should be on the roadmap as the amount of CT code we write grows.

Originally posted by @jpfairbanks in #213 (comment)

@jpfairbanks
Copy link
Owner

We should think about migrating this code to the Catlab Standard Library. Basically for every doctrine C, we can generate an instance of Cospan(C). Decorated cospans should be built on top of that interface.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants