Computing left Kan extensions.

DOI10.1016/S0747-7171(02)00102-5MaRDI QIDQ1426132zbMATH OpenOpenAlexFDO

Authors M. Leeming, Michael R. Bush, R. F. C. Walters

Publication date 14 March 2004

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0747-7171(02)00102-5

zbMATH Keywords

cosetTodd-Coxeter algorithmleft Kan extension

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Special properties of functors (faithful, full, etc.) (18A22)

Recommendations

• scientific article; zbMATH DE number 784870
• Fast left Kan extensions using the chase
• The Todd-Coxeter procedure and left Kan extensions
• Algebraic Kan extensions along morphisms of internal algebra classifiers
• scientific article; zbMATH DE number 19482

Cites work

• scientific article; zbMATH DE number 3125737 (Why is no real title available?)
• scientific article; zbMATH DE number 19482 (Why is no real title available?)
• scientific article; zbMATH DE number 534859 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 784870 (Why is no real title available?)
• scientific article; zbMATH DE number 3191321 (Why is no real title available?)
• A practical method for enumerating cosets of a finite abstract group
• Categories and Computer Science

Cited in

(8)

• scientific article; zbMATH DE number 784870 (Why is no real title available?)
• Fast left Kan extensions using the chase
• Automatic semigroups and categories.
• Computing over \(K\)-modules
• The Todd-Coxeter procedure and left Kan extensions
• Algebraic data integration
• GADTs, functoriality, parametricity: pick two
• Using rewriting systems to compute left Kan extensions and induced actions of categories

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Computing left Kan extensions.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1426132)