1999/07/13 by Anne Heyworth, Heyworth, Anne · 1 citation
Computer Science · Mathematics · #18A40 68Q40 68Q42 #Advanced Algebra and Logic #Combinatorics (math.CO) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CO #msc:18A40 #msc:68Q40 #msc:68Q42 #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.math/9907083
9 pages, LaTeX2e, (extended abstract FLoC/RTA'99). Replacement (v2) has correct LaTeX source file for submission (source for math/9907082 was accidently submitted as v1)
openalex publication_date 1999/07/13 · arxiv created 2005/05/10 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Kan extensions provide a natural general framework for a variety of combinatorial problems. We have developed rewriting procedures for Kan extensions (over the category of sets) and this enables one program to address a wide range of problems. Thus it is possible to use the same framework (and therefore program) to enumerate monoid or group (or category of groupoid) elements, to enumerate cosets or congruence classes on monoids, calculate equivariant equivalence relations, induced actions of groups, monoids or categories and even more. This extended abstract is an outline of "Using Rewriting Systems to Compute Kan Extensions and Induced Actions of Categories" by R. Brown and A. Heyworth.