偏微分方程组的形式解与投影极限

以分层理论为基础。