Merge in Category Theory lecture notes content. Make it buildable, lots of work required.