AlgebraicInterfaces.jl

An interface package for AlgebraicJulia
Author AlgebraicJulia
Popularity
5 Stars
Updated Last
10 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.