AlgebraicJulia/Catlab.jl: v0.12.2

Catlab v0.12.2

Diff since v0.12.1

Closed issues:

• Isomorphism testing of wiring diagrams (#57)
• BUG: Illegal inttoptr error, crashing julia (#414)
• Context mismatch in axioms of HypergraphCategory (#422)

Merged pull requests:

• Convenience functions for homomorphism and isomorphism testing (#413) (@epatters)
• Finer control over termination of morphism backtracking search (#415) (@epatters)
• Default syntax systems and pretty-printing for (co)presheaves (#416) (@epatters)
• Theory of additive categories (#417) (@epatters)
• Theory of symmetric monoidal copresheaves (#418) (@epatters)
• Extra axioms for theory of SMCs (#419) (@0x0f0f0f)
• Refactor benchmarks to separate Catlab/LightGraphs (#420) (@olynch)
• Benchmark counting triangles in a graph (#421) (@epatters)
• Typo in dagger axiom of hypergraph category (#423) (@epatters)