New posts in Categorical Logic

Lawvere's "Some thoughts on the future of category theory."

Category of categories as a foundation of mathematics

Categorical foundations without set theory