Fiber product of schemes

ID: fiber-product-of-schemes

The fiber product of schemes is a fundamental construction in algebraic geometry, analogous to the notion of the fiber product in category theory. It allows us to "pull back" schemes along morphisms, producing a new scheme that encodes information from each of the original schemes.

New to topics? Read the docs here!