Adventures of Categories Applied Category Theory Colloquium