少し一般性は低くなるが、gagaの定理は、複素多様体xの上の代数的連接層の圏と対応する解析空間xanの上の解析的連接層の圏が、圏同値であることを言っている。