AlgebraicJulia/Catlab.jl: v0.13.3

Catlab v0.13.3

Diff since v0.13.2

Closed issues:

• Module for linear algebra (#65)
• @functor macro for specifying functors from presentations (#191)
• Pretty-print types for attributed C-sets (#264)
• BUG: Illegal inttoptr error, crashing julia (#414)
• Refactor hypergraph rewriting in DPO unit tests (#448)
• Conjunctive query backend for homomorphism search (#450)
• Use Quiver style from TikzCDs once available (#494)
• Data migration with conjunctive queries (#535)

Merged pull requests:

• Loose acset morphisms and limits of acsets (#519) (@epatters)
• Macros for constructing graphs, categories, and diagrams (#525) (@epatters)
• The 2-category of categories (#526) (@epatters)
• Tables as finite sets (#527) (@epatters)
• Fix backwards incompatibility in ACSetTransformation type parameters (#528) (@epatters)
• Categories of diagrams (#529) (@epatters)
• Data migration using conjunctive queries (#532) (@epatters)
• Replace mention of Data with AttrType in docs (#533) (@epatters)
• Use Quiver style now included in TikzCDs.jl (#534) (@epatters)
• Pretty-printing of tabular sets and acsets (#538) (@epatters)
• Basic show methods for categories, functors, and transformations (#542) (@epatters)