v0.7.4

Catlab v0.7.4

Hotfix release attempting to work around the Julia package manager delivering a very old version of Compose.jl.

v0.7.3

Catlab v0.7.3

Diff since v0.7.2

Closed issues:

• Hypergraph Categories (#50)
• Doctrines for multiple monoidal products (#105)
• Cap/Cup with rem_junction (#164)
• Use @match from MLStyle.jl instead of Match.jl (#210)
• FinSet nomenclature (#215)
• Theory for hypergraph categories (#216)
• Broken Julia LTS v1.0 Support (#226)

Merged pull requests:

• Tensor notation for undirected wiring diagrams (#207) (@epatters)
• improved show for CSets, and vis for graphical display (#208) (@olynch)
• Drawing undirected wiring diagrams with Graphviz (#212) (@epatters)
• Use MLStyle for pattern matching (#214) (@epatters)
• Use standard names for FinSet and FinRel (#217) (@epatters)
• Undirected wiring diagrams as a hypergraph category (#221) (@epatters)
• Restore support for Julia v1.0 (#227) (@epatters)
• CI test on Julia v1.5 (#229) (@epatters)

v0.7.2

Catlab v0.7.2

Diff since v0.7.1

Closed issues:

• We should generalized generated instead of eval (#120)
• Names of FinOrdFunctionLazy and FinOrdFunctionMap (#184)
• Indexing of data attached to C-sets (#190)

Merged pull requests:

• Dependent Presentations (#189) (@mehalter)
• Undirected wiring diagrams (#192) (@epatters)
• Remove spurious imports in ShapeDiagrams submodule (#193) (@epatters)
• Unique and non-unique indexing of data in C-sets (#195) (@epatters)
• Rename concrete types for FinOrd and FinOrdRel (#197) (@epatters)
• Macro to build undirected wiring diagrams via Julia-esque syntax (#202) (@epatters)
• LinearMaps and LinearOperators are optional dependencies (#203) (@epatters)
• Bounds check before assigning C-set subpart (#204) (@epatters)
• Add link to emily riehls textbook to GAT description (#206) (@felixcremer)

v0.7.1

Catlab v0.7.1

Diff since v0.7.0

Merged pull requests:

• ENH: n-ary (co)products (#182) (@olynch)
• C-sets as a generic data structure (#187) (@epatters)
• Remove Manifest.toml (#188) (@epatters)

v0.7.0

Catlab v0.7.0

Diff since v0.6.2

Closed issues:

• Register instances of a signature (#5)
• Rename "Doctrines" module to "Theories" (#146)

Merged pull requests:

• Rename Doctrines module to Theories (#166) (@epatters)
• Computing pushouts of spans in FinOrd (#167) (@epatters)
• Update links for new AlgebraicJulia organization (#168) (@epatters)
• Binary colimits in FinOrd (#169) (@epatters)
• New logo for Catlab (#170) (@mehalter)
• Link to Catlab channel on Julia Zulip (#172) (@epatters)
• Binary limits in FinOrd (#173) (@epatters)
• Use macro in Base instead of Parameters.jl package (#174) (@epatters)
• Begin refactoring of GATs (#175) (@epatters)
• Proper typing of presentations (#176) (@epatters)
• GATs for categories with (co)limits (#177) (@epatters)
• Categories of matrices (#178) (@epatters)
• The distributive bicategory of relations FinOrdRel (#180) (@epatters)
• Remove the wiring layers submodule (#181) (@epatters)
• Implementation of Decorated Cospans (#183) (@mehalter)
• Release v0.7 (#186) (@epatters)

v0.6.2

Catlab v0.6.2

Diff since v0.6.1

Closed issues:

• CI for unit tests of experiments (#151)

Merged pull requests:

• Test experiments in GitHub CI (#160) (@epatters)
• Customize shapes and styles of boxes in Compose/TikZ wiring diagrams (#161) (@epatters)

v0.6.1

Catlab v0.6.1

Diff since v0.6.0

Closed issues:

• Thin categories and preorders (#84)
• Allow use of Graphviz for layout only (#93)
• LinearMaps isomorphic to LinearOperators (#125)
• Method Ambiguity when an instance type defines the theories operations (#141)
• Compose \circ in base julia is now vararg (#143)
• Transfer of Instances to Separate Experiment Folder (#144)
• Drawing SVGs with Compose changing background color (#159)

Merged pull requests:

• Added LinearOperators instance of GLA (#140) (@bosonbaas)
• Preorders and thin categories, part 2 (#148) (@epatters)
• Migration from Experimental to Examples (#149) (@bosonbaas)
• Ellipse shape for Compose.jl and TikZ wiring diagrams (#152) (@epatters)
• Use Graphviz layouts in Compose.jl or TikZ drawings (#156) (@epatters)
• ENH: Implement Stochastic Maps as GATExprs (#158) (@jpfairbanks)

v0.6.0

Catlab v0.6.0

Diff since v0.5.3

Closed issues:

• From signatures to theories: allow specification of axioms (#62)
• Doctrines and syntax for "additive" monoidal categories (#104)
• No Julia functions inside GAT signatures (#112)
• Getting Diagrams from Julia Code (#119)
• Example test for GLA Linmaps (#121)

Merged pull requests:

• Added tests for and added to Additive Monoidal Categories (#110) (@bosonbaas)
• Experimental: Markov categories (#111) (@epatters)
• Add equivalency axioms and "where" syntax to signature macro (#113) (@mehalter)
• Updated standard library, tests, and documentation to adopt the new where clause notation (#114) (@mehalter)
• Allowed for local compilation of documentation and fixed broken links (#115) (@bosonbaas)
• Fixed inheritance of method aliases between GATs (#117) (@mehalter)
• Updated signature definitions throughout the source, tests, and documentation (#118) (@mehalter)
• Fixed the generation of alias functions (#122) (@mehalter)
• GLA gmres test (#124) (@jpfairbanks)
• Graphical linear algebra: first version (#126) (@epatters)
• Move from @Signature to @theory, and add @import to @instance macro (#127) (@mehalter)
• Overload plus function in GLA (#128) (@epatters)
• Added ability to define operation aliases in block form (#129) (@mehalter)
• Remove functions from signature/theory definitions (#130) (@mehalter)
• Update index.md with history of GATs (#137) (@jpfairbanks)

v0.5.3

Catlab v0.5.3

Diff since v0.5.2

Closed issues:

• Allow outer ports to float in wiring diagram layouts (#81)
• What are the steps for implementing a new syntax? (#85)
• Renaming @parse_wiring_diagram (#88)
• Doctrine for traced monoidal categories (#95)
• Bug in @program (#102)
• Special handing of nullary operations in presentations (#106)

Merged pull requests:

• Install TagBot as a GitHub Action (#91) (@JuliaTagBot)
• Use isotonic regression for layout of outer ports (#92) (@epatters)
• Doctrine and wiring diagrams for traced monoidal categories (#97) (@epatters)

v0.5.2

v0.5.2 (2020-02-03)

Diff since v0.5.1

Closed issues:

• Special Morphisms with derived objects (#86)