Benjamin C. Pierce著

本に書き込むのは好きではないが、どうしてもイミフだったとこには軽く線を引いていこう

1章

圏とは、「異なる対象間の射」の集合である

こういうのを、pre-categoryとかnaked categoryとか呼ぶらしい？

ググっても出てこないし、何のことを指してるんだろう