## Catlab v0.13.12

[Diff since v0.13.11](AlgebraicJulia/Catlab.jl@v0.13.11...v0.13.12)


**Closed issues:**
- DPO rewriting of structured multicospans (AlgebraicJulia#447)

**Merged pull requests:**
- Syntactic sugar for empty/singleton sets in `@migration` macro (AlgebraicJulia#637) (@epatters)
- Fix type ambiguities with empty diagrams in data migration (AlgebraicJulia#638) (@epatters)

## Catlab v0.13.11

[Diff since v0.13.10](AlgebraicJulia/Catlab.jl@v0.13.10...v0.13.11)


**Closed issues:**
- Remove parts not playing nice with indexed homs (AlgebraicJulia#633)

**Merged pull requests:**
- Fix bugs in removing acset parts when indices are present (AlgebraicJulia#636) (@epatters)

[Diff since v0.13.9](AlgebraicJulia/Catlab.jl@v0.13.9...v0.13.10)

**Merged pull requests:**
- Minor syntactic improvements to data migration macros (AlgebraicJulia#627) (@epatters)
- Colimits of representables for migration functors (AlgebraicJulia#628) (@epatters)
- Refactor API for generator names in finitely presented categories (AlgebraicJulia#629) (@epatters)
- Handle special case of pullback migration in `colimit_representables` (AlgebraicJulia#630) (@epatters)

[Diff since v0.13.8](AlgebraicJulia/Catlab.jl@v0.13.8...v0.13.9)

**Closed issues:**
- Migrate graph interop from LightGraphs to Graphs (AlgebraicJulia#613)
- using Catlab fails (AlgebraicJulia#618)

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

[Diff since v0.13.7](AlgebraicJulia/Catlab.jl@v0.13.7...v0.13.8)

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

[Diff since v0.13.6](AlgebraicJulia/Catlab.jl@v0.13.6...v0.13.7)

**Closed issues:**
- Missing documentation for @acset_type’s (AlgebraicJulia#561)
- Core dump due to FunctionWrappers.jl (AlgebraicJulia#595)

**Merged pull requests:**
- Remove dependency on FunctionWrappers.jl (AlgebraicJulia#596) (@epatters)

[Diff since v0.13.5](AlgebraicJulia/Catlab.jl@v0.13.5...v0.13.6)

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

[Diff since v0.13.4](AlgebraicJulia/Catlab.jl@v0.13.4...v0.13.5)

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

[Diff since v0.13.3](AlgebraicJulia/Catlab.jl@v0.13.3...v0.13.4)

**Closed issues:**
- Four tests fail in GraphicalLinearAlgebra (AlgebraicJulia#536)
- Pretty-printing for types in `FinCats` and `Diagrams` (AlgebraicJulia#537)
- Limits of free diagrams by conversion to free bipartite diagrams (AlgebraicJulia#540)
- Data migration with linear queries and gluing queries (AlgebraicJulia#541)
- Convert set-valued functors to acsets (AlgebraicJulia#547)
- Data migration with duc queries (AlgebraicJulia#550)
- Basic support for data attributes in data migration (AlgebraicJulia#568)

**Merged pull requests:**
- Basic `show` methods for diagrams and diagram morphisms (AlgebraicJulia#543) (@epatters)
- Composite functions and functors (AlgebraicJulia#544) (@epatters)
- Reduce general limits to limits of bipartite free diagrams (AlgebraicJulia#545) (@epatters)
- Use meaningful column name when promoting trivial queries (AlgebraicJulia#548) (@epatters)
- Deprecate data migration constructors for acsets (AlgebraicJulia#549) (@epatters)
- Use meaningful element type in tabular sets (AlgebraicJulia#552) (@epatters)
- Vignette for graphs as C-sets (AlgebraicJulia#555) (@jpfairbanks)
- Better architecture for conjunctive data migration (AlgebraicJulia#557) (@epatters)
- DOC: adding vignette for WDs as C-Sets (AlgebraicJulia#563) (@jpfairbanks)
- DOC: add sketch for SMCs (AlgebraicJulia#566) (@jpfairbanks)
- Agglomerative data migration (AlgebraicJulia#567) (@epatters)
- Arbitrarily color boxes / junctions of a wiring diagram (AlgebraicJulia#569) (@kris-brown)
- Allow adding titles to wiring diagrams (AlgebraicJulia#570) (@kris-brown)
- DOC: Add content to SMC sketch (AlgebraicJulia#571) (@jpfairbanks)
- Data migration using gluings of conjunctive queries (AlgebraicJulia#575) (@epatters)
- Data migration with data attributes (AlgebraicJulia#576) (@epatters)

[Diff since v0.13.2](AlgebraicJulia/Catlab.jl@v0.13.2...v0.13.3)

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

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