nLab CAP

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page |
Contents

Context

Category Theory

Algebra

higher algebra

universal algebra

Algebraic theories

Algebras and modules

Higher algebras

Model category presentations

Geometry on formal duals of algebras

Theorems

Contents

Idea

CAP, standing for Categories, Algorithms, Programming, is a software system for computational category theory. It is implemented in GAP.

References

  • Sebastian Gutsche, Sebastian Posur, Øystein Skartsæterhagen, On the Syntax and Semantics of CAP [pdf]

  • homalg project [github]

Created on March 7, 2025 at 10:39:10. See the history of this page for a list of all contributions to it.

EditDiscuss Cite Print Source