# Category Theory

> How do mathematical worlds connect?

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

## referenced-by

- [Relation](https://banes-lab.com/records/reason/substrate-node-relation.md)
- [Structural](https://banes-lab.com/records/reason/lens-structural.md)
- [Relational](https://banes-lab.com/records/reason/lens-relational.md)