[logic-ml] 「圏論シンポジウム」開催のお知らせ; Symposium on the Categorical Unity of the Sciences