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