Intereting Posts

Sum of the sum of the sum of the first $n$ natural numbers
How many books are in a library?
Proof of for all integer $n \ge 2$, $n^3-n$ is divisible by 6 by mathematical induction.
how to prove $437\,$ divides $18!+1$? (NBHM 2012)
How to Prove the Semi-parametric Representer Theorem
Transformation outside injectivity 'domain' in Int. by substitution ok? And outside the integration interval?
Expected value and Variance
Proving the Shoelace Formula with Elementary Calculus?
Is it necessary that every function is a derivative of some function?
Writing function as infinite Fourier sum with sine kernel
Are there infinitely many primes of the form $4n^{2}+3$?
Is the Cartesian product of an infinite number of $\mathbb{Z}^+$ countable?
Period of decimal for $1/n$, odd part of $n+1$, and primes.
Most ambiguous and inconsistent phrases and notations in maths
Verify Gauss’s Divergence Theorem

I’m just starting to work through Aluffi, and one question asks the reader to define fibered products (and coproducts) in the category of sets and functions. I’m just looking to check that I have the fibered products right before I move on to the fibered coproducts.

Let $\alpha\colon A\to C$ and let $\beta\colon B\to C$. Then the fibered product of $\alpha$ and $\beta$ is (I think), the set product $P:=\alpha^{-1}[\beta[B]]\times\beta^{-1}[\alpha[A]]$ together with the usual projections $\pi_A$ and $\pi_B$.

Let $f\colon Z\to A$ and $g\colon Z\to B$ so that $\alpha f=\beta g$. Suppose that for some $\sigma\colon Z\to P$, $f=\pi_A \sigma$ and $g=\pi_B \sigma$. Then for each $z\in Z$, $\pi_A(\sigma(z))=f(z)$ and $\pi_B(\sigma(z))=g(z)$, so for all $z\in Z$, $\sigma(z)=(f(z),g(z))$ (so $\sigma$ is unique).

- Additive functor over a short split exact sequence.
- Is there a suitable definition in categories for a closed continuous function in topology?
- How to define Homology Functor in an arbitrary Abelian Category?
- How to state the Axioms of Category Theory in Predicate Logic?
- Free product of groups as coproduct
- Are functors that are left-cancellable necessarily injective on morphisms?

Indeed, this assignment works: if $z\in Z$, then $\alpha(f(z))=\beta(g(z))\in \beta[B]$, so surely $f(z)\in \alpha^{-1}[\beta[B]]$, and symmetrically a similar thing holds for $g$, so $(f(z),g(z))\in P$. That $\pi_A\sigma=f$ and $\pi_B\sigma=g$ is then immediate.

As the answers indicate, that was wrong. Can someone tell me if the answer I give below is correct?

- How to get used to commutative diagrams? (the case of products).
- A structural proof that $ax=xa$ forms a monoid
- How to define $A\uparrow B$ with a universal property as well as $A\oplus B$, $A\times B$, $A^B$ in category theory?
- Equivalence of categories ($c^*$ algebras <-> topological spaces)
- Meaning of “a mapping preserves structures/properties”
- Is it necessary for the homsets to be disjoint in a category?
- Additive category that is not abelian
- Multi-pullbacks and the relative chinese remainder theorem
- $(R^{\oplus A})^{\oplus B} \approx R^{\oplus (A\times B)}$?
- Correct Definition of Concrete Category over Set

Your definition is not quite right, because with it, you need not have $\alpha\circ \pi_A=\beta\circ\pi_B$. For example, let $A=\{1,2\}$, $B=\{1,2\}$, and $C=\{1,2,3\}$, let $\alpha$ be the inclusion, and let $\beta$ send $1$ to $2$ and $2$ to $1$. Then $(2,2)$ is an element of your set, but applying $\pi_A$ and then $\alpha$ gives $2$, while applying $\pi_B$ and then $\beta$ gives $1$. The fiber product must be equipped with projections $\pi_A$ and $\pi_B$ satisfying $\alpha\circ\pi_A=\beta\circ\pi_B$.

Responding to Keenan Kidwell’s helpful criticism and Ma Ming’s perhaps-overly-generous hint, I try again:

Let $P=\{(a,b):\alpha(a)=\beta(b)\}$ and again use the canonical projections. Define $\sigma$ the same way (again, there is no other choice). Now if $z\in Z$, then $\alpha(f(z))=\beta(g(z))$, so $(f(z),g(z))\in P$ and everything works out as it should.

This is wrong.

Let $A=B=C$, $\alpha=\beta=id$. Then the fiber product should be the diagonal in $A\times A$.

- Inverse of Heine–Cantor theorem
- Defining algebras over noncommutative rings
- $\frac{1}{\sin 8^\circ}+\frac{1}{\sin 16^\circ}+…+\frac{1}{\sin 4096^\circ}+\frac{1}{\sin 8192^\circ}=\frac{1}{\sin \alpha}$,find $\alpha$
- Laurent Series of $f(z) = \sin {\frac{1}{z}}$ at $z=0$
- Time for the tank to be empty
- Systems without the law of excluded middle
- All Sets have bijection with cartesian products of Subsets?
- Complex root won't work
- Prove ${n – 1 \choose k – 1} + {n – 2 \choose k – 1} + {n – 3 \choose k – 1} + \dots + {k – 1 \choose k – 1} = {n \choose k}$
- Integral ring extensions and finitely generated as a module
- Two closest sums of pairs of reciprocals
- How to show that if $G$ is union of three proper subgroups, then there is an epimorphism from $G$ to the Klein 4-group?
- What is probability?
- Which test should I use for hypothesis testing with a small sample size?
- Expected value of game involving 100-sided die