---
tag: EGV524BFEF
kind: concept
name: Categorical
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section C
    note: adopted
    mention: wikipedia://en/76765067#L8XL
    sections: [Summary]
inventory: [XE88BGV5X2]
---

## Summary

A theory is categorical if all its models are isomorphic, meaning they describe the same mathematical structures in different ways.