v0.14.1

Catlab v0.14.1

Diff since v0.14.0

Merged pull requests:

• Structured cospans of acsets with multiple objects in interface (#620) (@epatters)

v0.14.0

Catlab v0.14.0

Diff since v0.13.12

Closed issues:

• Requirement of id2 and compose for both vertical and horizontal morphisms for Double Category Instance (#304)
• Conventions on ACSet schemas in standard library (#331)
• Consider replacing AutoHashEquals wtih StructEquality (#612)

Merged pull requests:

• Remove LinearAlgebra module (#562) (@kris-brown)
• Move DPO related content to AlgebraicRewriting (#635) (@kris-brown)
• GAT for indexed monoidal categories (#639) (@epatters)
• Rename and export acset schemas (#640) (@epatters)
• Replace AutoHashEquals with StructEquality (#641) (@epatters)
• Prefix all GATs with Th (#642) (@epatters)
• Refactor and extend GATs for double categories (#645) (@epatters)
• LooseAcsetTransformation type component coercion (#646) (@kris-brown)

v0.13.12

Catlab v0.13.12

Diff since v0.13.11

Closed issues:

• DPO rewriting of structured multicospans (#447)

Merged pull requests:

• Syntactic sugar for empty/singleton sets in @migration macro (#637) (@epatters)
• Fix type ambiguities with empty diagrams in data migration (#638) (@epatters)

v0.13.11

Catlab v0.13.11

Diff since v0.13.10

Closed issues:

• Remove parts not playing nice with indexed homs (#633)

Merged pull requests:

• Fix bugs in removing acset parts when indices are present (#636) (@epatters)

v0.13.10

Catlab v0.13.10

Diff since v0.13.9

Merged pull requests:

• Minor syntactic improvements to data migration macros (#627) (@epatters)
• Colimits of representables for migration functors (#628) (@epatters)
• Refactor API for generator names in finitely presented categories (#629) (@epatters)
• Handle special case of pullback migration in colimit_representables (#630) (@epatters)

v0.13.9

Catlab v0.13.9

Diff since v0.13.8

Closed issues:

• Migrate graph interop from LightGraphs to Graphs (#613)
• using Catlab fails (#618)

Merged pull requests:

• Slice categories (#591) (@kris-brown)
• Migrate from LightGraphs.jl to Graphs.jl (#614) (@epatters)
• GAT for M-categories (#616) (@epatters)
• Support expressions of form f(x) == g(y) in diagram DSL (#617) (@epatters)
• Representables and the Yoneda embedding (#621) (@epatters)
• Fix allocation of unique indices for morphisms in C-sets (#622) (@epatters)
• Improved Graphviz drawing of graphs and categories (#625) (@epatters)
• Bump Documenter to v0.27 (#626) (@epatters)

v0.13.8

Catlab v0.13.8

Diff since v0.13.7

Merged pull requests:

• Initiality test for FinFunctors (#573) (@kris-brown)
• DOC: category of elements examples (#583) (@jpfairbanks)
• Benchmarks for paper (#588) (@olynch)
• Type inference can fail in FinSetIndexedLimit (#600) (@epatters)
• Loosen types for Graph to PropertyGraph constructors (#601) (@epatters)
• Loose acset homomorphism search (#603) (@kris-brown)
• Category of elements action on morphisms and inverse constructions (#604) (@kris-brown)
• Upgrade Convex.jl to v0.15 (#607) (@epatters)
• add hash method for diagram/diagram hom (#610) (@kris-brown)
• Replace half-baked function roottype with Base.typename (#611) (@epatters)

v0.13.7

Catlab v0.13.7

Diff since v0.13.6

Closed issues:

• Missing documentation for @acset_type’s (#561)
• Core dump due to FunctionWrappers.jl (#595)

Merged pull requests:

• Remove dependency on FunctionWrappers.jl (#596) (@epatters)

v0.13.6

Catlab v0.13.6

Diff since v0.13.5

Merged pull requests:

• Expose DPO morphism relating input and output of rewriting (#572) (@kris-brown)
• ENH: graphics for FinFunctor diagrams (#582) (@jpfairbanks)
• DOC: add ACSetInterface to docs (#590) (@bosonbaas)
• Docstrings not attached to acset types (#594) (@epatters)

v0.13.5

Catlab v0.13.5

Diff since v0.13.4

Merged pull requests:

• DOC: Labelled Graph example with (co)limits (#579) (@jpfairbanks)
• GAT expressions and anonymous morphisms in @diagram macro (#580) (@epatters)
• Colimits of finite sets with named elements (#584) (@epatters)
• Support for Julia v1.7 (#585) (@epatters)