There is a newer version of the record available.

Published July 25, 2022 | Version v0.14.0
Software Open

AlgebraicJulia/Catlab.jl: v0.14.0

Authors/Creators

  • 1. Topos Institute
  • 2. Balena
  • 3. University of Florida -- CISE
  • 4. @beacon-biosignals
  • 5. Friedrich-Schiller-University
  • 6. University of Turin
  • 7. Massachusetts Institute of Technology
  • 8. @JuliaLang @Path-AI

Description

Catlab v0.14.0

Diff since v0.13.12

Closed issues:

  • Requirement of id2 and compose for both vertical and horizontal morphisms for Double Category Instance (#304)
  • Conventions on ACSet schemas in standard library (#331)
  • Consider replacing AutoHashEquals wtih StructEquality (#612)

Merged pull requests:

  • Remove LinearAlgebra module (#562) (@kris-brown)
  • Move DPO related content to AlgebraicRewriting (#635) (@kris-brown)
  • GAT for indexed monoidal categories (#639) (@epatters)
  • Rename and export acset schemas (#640) (@epatters)
  • Replace AutoHashEquals with StructEquality (#641) (@epatters)
  • Prefix all GATs with Th (#642) (@epatters)
  • Refactor and extend GATs for double categories (#645) (@epatters)
  • LooseAcsetTransformation type component coercion (#646) (@kris-brown)

Files

AlgebraicJulia/Catlab.jl-v0.14.0.zip

Files (467.1 kB)

Name Size Download all
md5:97992f1ea59295628ba7ce6285b3da52
467.1 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/AlgebraicJulia/Catlab.jl/tree/v0.14.0 (URL)