search

AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language
https://www.algebraicjulia.org
MIT License
614 stars 58 forks source link

Category of elements for general C-sets #818

Closed kris-brown closed 1 year ago

kris-brown commented 1 year ago

There was an unnecessarily strict typing on the the argument to elements which required it to be a StructACSet - this PR relaxes that constraint.

aaguinal commented 1 year ago

Any chance we can bump this up in the merge queue? Thank you!