高次モノイド指標と論理 - 檜山正幸のキマイラ飼育記 メモ編でモノイダッド（monoidad）なんて造語を出したが、モノイデール（monoidale）という概念がある。 高次の圏での monoidal structure 次にモノイデールの記述があるらしい。 https://arxiv.org/abs/…

スター・ウォーズのアナザーストーリー。エビソード4で、帝国のデス・スターをルークが破壊する。Xウィングでデス・スターの弱点部分を攻撃する。この「弱点」が何であったかが明かされるのが『ローグワン』。デス・スターの主要開発者である科学者ゲイレン…