Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

can someone help me with the following

Let $C$ be the category with objects subsets of $\mathbb{N}$, and arrows functions $f:A \to B$ such that preimage of each point is a finite set i.e. for every $b \in B$ the set $\{ a \in A \mid f(a) = b \}$ is finite.

Show that $C$ has pullbacks.

share|cite|improve this question
You can express the pullback (in $\mathbf{Set}$) of two maps in terms of the preimages of points of each one. Use this to show that the pullback (in $\mathbf{Set}$) has the required property and thus is in your category. – Zhen Lin Apr 25 '14 at 9:03
I think the pullback of $f$ and $g$ is $\bigcup_{b \in B} f^{-1}(b) \times g^{-1} (b)$, correct? But still it is a product, so not in my category for there we only have subsets of $\mathbb{N}$. – natural Apr 25 '14 at 10:58
Just replace it with another set of the same cardinality. – Zhen Lin Apr 25 '14 at 12:43

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.