Agent Skills: lawvere-theory
Lawvere theories: categorical universal algebra.
UncategorizedID: plurigrid/asi/lawvere-theory
165
Install this agent skill to your local
Skill Files
Browse the full folder contents for lawvere-theory.
Loading file tree…
Select a file to preview its contents.