Context mismatch in axioms of HypergraphCategory

[ChenZhao44]

julia> using Catlab, Catlab.Theories

julia> t = theory(HypergraphCategory);

julia> t.axioms[26]
Catlab.GAT.AxiomConstructor(:(==), :(dagger(f)), :(compose(compose(otimes(id(Y), dunit(X)), otimes(otimes(id(Y), f), id(X))), otimes(dcounit(Y), id(X)))), OrderedCollections.OrderedDict{Symbol, Union{Expr, Symbol}}(:A => :Ob, :B => :Ob, :f => :(Hom(A, B))), nothing)

Should the context be :X => :Ob and :Y => :Ob instead of :A => :Ob and :B => :Ob?

[epatters]

Yes, thank you for noticing!