]>
Chapter12
Chapter 12: Categories
12.0 Categories
12.1 Definitions
12.2 Exports
12.3 Documentation
12.4 Hierarchies
12.5 Membership
12.6 Defaults
12.7 Axioms
12.8 Correctness
12.9 Attributes
12.10 Parameters
12.11 Conditionals
12.12 Anonymous Categories