Materials for category theory seminar