The collected works of F. W. Lawvere - View it on GitHub