v0.12.2
Catlab v0.12.2
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)