AlgebraicInterfaces.jl

AlgebraicInterfaces.jl exports common names for the methods extended by various packages in the AlgebraicJulia ecosystem.
Contains declarations for the following functions:

  • Categories: dom, codom, compose, id, Ob, ob, Hom, hom
  • Monoidal: categories: munit, mcompose
  • Operads: ocompose, oapply
  • Attributed CSets: attr, attrtypes
  • General algebra: generators, equations