You might be able to do it with some abstract nonsense. I think general machinery will prove that in categories such as that defined in the top answer of

http://mathoverflow.net/questions/92206/what-properties-make-0-1-a-good-candidate-for-defining-fundamental-groups

there are terminal objects. I don't have time to really think it through though.