Open kris-brown opened 1 year ago
https://github.com/AlgebraicJulia/Catlab.jl/pull/786 implements subobject classifiers and internal homs for C-Sets, but this code should be restructured into a generic interface (e.g. one that works with FinSet, too).
https://github.com/AlgebraicJulia/Catlab.jl/pull/786 implements subobject classifiers and internal homs for C-Sets, but this code should be restructured into a generic interface (e.g. one that works with FinSet, too).