[logic-ml] Adventures of Categories: Applied Category Theory Colloquium