query: Fiber product with diagonal morphism
positive_passages.docid: 22456
positive_passages.text: The "magic diagram" is cartesian
negative_passages.docid: 119312
negative_passages.text: Product and Box Topologies
negative_passages.docid: 118560
negative_passages.text: Ordered N-Tuples as Cartesian Products of Indexed Families
negative_passages.docid: 99353
negative_passages.text: Topology on cartesian product and product topology.
negative_passages.docid: 115347
negative_passages.text: Showing that the fiber of a morphism of schemes over a point is homeomorphic to the preimage
negative_passages.docid: 87451
negative_passages.text: Construction of matrices under ZFC axioms
negative_passages.docid: 73513
negative_passages.text: UMP of product functor
negative_passages.docid: 97810
negative_passages.text: bijective morphism of affine schemes
negative_passages.docid: 152363
negative_passages.text: Cancellation in topological product
negative_passages.docid: 41693
negative_passages.text: Use irreducible fibers to show $X$ is irreducible
negative_passages.docid: 155421
negative_passages.text: Tensor product of monoids and arbitrary algebraic structures
negative_passages.docid: 102383
negative_passages.text: Associativity of Cartesian Product
negative_passages.docid: 85193
negative_passages.text: direct product commutes with tensor product?
negative_passages.docid: 126885
negative_passages.text: canonical representation of three skew lines in $\mathbb{P}^3$
negative_passages.docid: 153054
negative_passages.text: Euler characteristic for non-convex polyhedra.
negative_passages.docid: 68786
negative_passages.text: "This property is local on" : properties of morphisms of $S$-schemes
negative_passages.docid: 47589
negative_passages.text: Product of a primitive matrix and its transpose.