AlgebraicInterfaces.jl

An interface package for AlgebraicJulia
Author AlgebraicJulia
Popularity
5 Stars
Updated Last
5 Months Ago
Started In
October 2022

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
  • Generic functions: generators, equations, getvalue

Required Packages

No packages found.