16 Feb
2001
16 Feb
'01
7:16 a.m.
If a category C has pullbacs no terminal object, then has C finite product? No. The simplest counterexample is the discrete category with two objects.