-
Notifications
You must be signed in to change notification settings - Fork 55
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
Wiring diagrams for bicategories of relations #49
Comments
Probably a bug. I'll look into it soon. |
Thanks, here is a related problem, X,Y = Ob(FreeAbelianBicategoryRelations, :X, :Y)
f = Hom(:f, X,Y)
to_wiring_diagram(f)
wd(mplus(X))
|
Having refreshed myself on the situation, I'd say that these are not so much bugs as features that I never implemented. Bicategories of relations in Catlab have been neglected, since I'm not currently using them in any computational project. But I would like to improve this. I see two different issues here:
|
The first step is probably to resolve #54. Then we can make sure that all the operations in a bicategory of relations get properly translated into wiring diagrams. |
For making WDs for Rel, should we introduce a struct DaggerBox{T} where T<: AbstractBox
box::T
end
dagger(b::Box) = DaggerBox(b)
dagger(b::DaggerBox) = b.box Do you think this is the right approach? |
PR #68 is a start towards a proper implementation of wiring diagrams for bicategories of relations. If I'm not mistaken, the dagger is now the only missing operation. I like the strategy suggested here. We would further write: input_ports(box::DaggerBox) = output_ports(box.box)
output_ports(box::DaggerBox) = input_ports(box.box) |
Issues related to abelian bicategories of relations will be taken up in #70. |
I think this is a bug in v0.3.
MWE:
The following code returns a
MethodError: no method matching dagger(::WiringDiagram)
Is this a real bug?
The text was updated successfully, but these errors were encountered: