(📍ₖ💎📍ₖ📜)→📍ₖ🏢

#points definition #fiber product #scheme theory #t-valued points #functor of points #algebraic geometry #pullback