Categorical products, coproducts, and BNF grammars

Under construction

  • category
  • product
  • coproduct
  • BNF grammar
  • functors?