Added Pajer-CategoryTheory pdf.