Categorical products, coproducts, and BNF grammars

Under construction

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