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!