「両側テレオロジー圏とプレオートマトン」にて： 両側テレオロジー圏は自己双対コンパクト閉圏とよく似た構造になります。テレオロジー圏とコンパクト閉圏には、親族的関連性があるのでしょう。 テレオロジー圏、コンパクト閉圏、トレース付きモノイド圏の…