Manual

• Quickstart
  • Primitive Types
  • Function Types
  • Composite Types
  • Tensor Types
• The Type Category
  • Introduction
  • Type Objects
  • Type Morphisms
  • Type Sums and Products
• Functors for Polymorphism
  • Type Polymorphism
  • Covariant Functors
  • Contravariant Functors
  • Multivariate Functors
• The Tens Category
  • The Abelian Category Vect
  • The Monoidal Category Tens
• Natural Transformations
  • Naturality
  • Functor Categories
  • Examples
• Monads
  • Endofunctors
  • Unit
  • Join
  • Bind
  • Examples