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

Explicit representation of copies and merges in wiring diagrams #44

Closed
epatters opened this issue Aug 29, 2019 · 1 comment
Closed

Explicit representation of copies and merges in wiring diagrams #44

epatters opened this issue Aug 29, 2019 · 1 comment

Comments

@epatters
Copy link
Member

epatters commented Aug 29, 2019

In wiring diagrams, copies and merges are represented implicitly by multiple wires, while deletions and creations are represented by the absence of wires. This implicit representation is usually the most convenient (effectively giving normal forms for diagonals and codiagonals) but sometimes we want to make the morphisms explicit, representing them by junction nodes as in string diagrams.

Write a function to insert the junction nodes where appropriate. A good first step towards implementing both #42 and #43.

@epatters
Copy link
Member Author

epatters commented Sep 7, 2019

Done, except that serialization is not supported for junction nodes. For now, just serialize using the default, implicit representation.

@epatters epatters closed this as completed Sep 7, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant