ATLANTIC CATEGORY THEORY SEMINAR