# Categories

Category types for categorial grammars. Provides atomic, slash, product, unit, and modal categories plus a finite `CategorySystem` for chart parsers.

The category types form the free algebra generated by atoms and type constructors. `CategorySystem.from_generators()` enumerates this algebra up to a given depth, enabling fully parameterizable grammar construction for any formalism (CCG, Lambek, multimodal TLG, or bespoke).

::: quivers.stochastic.categories
