昨日、デイヴィッド・スピヴァック（David I. Spivak）の圏的情報学／関手的データモデルを紹介しました。スピヴァック理論は、検索を繰り返すうちに見つけたものです。では、どんな動機で何を探していたのでしょうか。そのあたりの経緯と背景を記しておきま…