Reasoning

Category Theory

Kind: representation

Record: reasoning:representation-category-theory

Canonical: Reasoning

objects and morphisms

Listed in Reasoning records, after Computation and before Static Analysis.

Concept

  • Category Theory