2種類の綴り"fibred category"と"fibered category"、どっちを使う人が多いかと気になって調べてみた。googleにて：eなし -- 243件、eあり -- 219件、ほぼ互角。そのときに見つけたAngelo Vistoliの論文 "Notes on Grothendieck topologies, fibered categor…

気力不十分。腰が痛い。今日から歯医者に通う -- と考えただけで死にそう。