AlgebraicJulia/Catlab.jl: v0.12.1

Catlab v0.12.1

Diff since v0.12.0

Closed issues:

• Consistent names for vertical and horizontal composition (#319)

Merged pull requests:

• add theories of co/Presheaf (#402) (@cbw124)
• Consolidate GATs of higher categories in one file (#409) (@epatters)
• Generalized algebraic theory for displayed categories (#410) (@epatters)
• CompatHelper: bump compat for "PrettyTables" to "1.0" (#411) (@github-actions[bot])
• Fix generators with no names in @present macro (#412) (@epatters)