Categories in Algebra, Geometry and Logic: First Announcement