On locally simply connected toposes and their fundamental groups
Let M be a closed, connected, orientable 3-manifold. Denote by n(S1 x S2) the connected sum of n copies of S1 x S2. We prove that if the homological category of M is three then for some n ≥ 1, H*(M) is isomorphic (as a ring) to H*(n(S1 x S2)).