User:Barto/Sandbox/trash

Creates the definition of a category. Not to be confused with Template:DefinitionCategory.

Usage
Gives:

Objects and morphisms are obligatory. Composition and identity morphisms are optional. Order is fixed: Gives:

Technical information
Uses Template:Axiom.