fibered category の essentially algebraic theory を考えて（つまりまず strict category で考えて）それをもう一度 category とみなします、みたいなの、本当にうまくいくならすごすぎる