分层函子

讨论了分层函子的性质 。