論理やコンピューティングサイエンスの関係だと、対称モノイド圏はよく出てくるが、ブレイドモノイド圏（braided monoidal category）はあまり出てこないようだ。が、ちょっと調べておく。まず、アルチン（Artin）によるブレイド群（braid group）の定式化。…