lawvere-theory

•published 2026/03/13

Lawvere theories: categorical universal algebra.

Install directly with the `skills` CLI.

npx skills add plurigrid/asi/skills/lawvere-theory

Download only this skill directory.

File Explorer

0 files

No file selected

readonly

Select a file to view its content