「圏論的レンズ 最初の一歩： ストリング図を中心に」において、レンズには有法則レンズ〈lawful lens〉と無法則レンズ〈lawless lens〉があると書きました。「有法則／無法則」という形容詞を使うのは初めて見ました（レンズ以外で見たことがなかった）。こ…