Code

Incorporating GATlab more deeply#949

Code

Draft

kris-brown wants to merge 9 commits intomainAlgebraicJulia/Catlab.jl:mainfrom gatlabifyAlgebraicJulia/Catlab.jl:gatlabifyCopy head branch name to clipboard

+12,295-7,661

Commits

Commits on Oct 24, 2024

• initial Set refactor

  

  Kris Brown

  committed
  2e8b3d0

Commits on Oct 27, 2024

• restructure files

  

  Kris Brown

  committed
  ef35010

Commits on Oct 30, 2024

• WIP

  

  Kris Brown

  committed
  e2d71f5

Commits on Oct 31, 2024

• Separate Impl files

  Show description for a9c7bd8
  

  Kris Brown

  committed
  a9c7bd8

Commits on Nov 11, 2024

• Remove type params from Cat, modules for implementations

  

  Kris Brown

  committed
  fc778a6

Commits on Nov 20, 2024

• ACSetFunctors, FinFunctors, and the start of ACSetCats

  

  Kris Brown

  committed
  d87a017

Commits on Dec 1, 2024

• CSet (co)limits

  

  Kris Brown

  committed
  5ed04b8

Commits on Dec 20, 2024

• working products

  

  Kris Brown

  committed
  efaefce

Commits on Dec 26, 2024

• Checkpoint - new limit/colimit infrastructure

  Show description for 948fe9d
  

  Kris Brown

  committed
  948fe9d