Peripatetic Seminar on Sheaves and Logic 113: First Announcement