FACでは層はエタール空間として定義されてますよね。
tohokuでは関手として定義されてるわけだけど、
やっぱグロタンに始まるのかな？