1 dataset found

Tags: category-presentation

Filter Results
  • Algorithms for Garside calculus

    Garside calculus is the common mechanism that underlies a certain type of normal form for the elements of a monoid, a group, or a category. Originating from Garside's...
You can also access this registry using the API (see API Docs).