Category Theory
Kind: representation
Record: reasoning:representation-category-theory
Canonical: Reasoning
objects and morphisms
Listed in Reasoning records, after Computation and before Static Analysis.
Kind: representation
Record: reasoning:representation-category-theory
Canonical: Reasoning
objects and morphisms
Listed in Reasoning records, after Computation and before Static Analysis.