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.
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.