generated at
Francis William Lawvere


>彼は集合論における役割を想像しやすい公理をいくつか提起したが、後にこれらは整理されたたった四つの公理に落ち着いた。 ref 『圏論の道案内』 p.207
4つとは集合圏の定義のことかmrsekut

参考
https://ja.wikipedia.org/wiki/ウィリアム・ローヴェア

#人物