v0.14

A bare bones skeleton for chapter 3 is now done.

- Basic introduction to F-categories
- Concrete description of weighted limits
- Basic definition of logic and sketch
  and fundamental theorem connecting them