# Category Theory

> objects and morphisms

Record: `reasoning:representation-category-theory`
Kind: representation
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-representation-category-theory

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Computation](https://banes-lab.com/records/reasoning/representation-computation.md) and before [Static Analysis](https://banes-lab.com/records/reasoning/technique-static-analysis.md).

## Concept

- [Category Theory](https://banes-lab.com/records/reasoning/math-domain-category-theory.md)