AlgebraicJulia/Catlab.jl: 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)