/sci/ - Science & Math

Is there a way to generalize peano's axioms to posets with more initial objects? Like a bunch of zero elements 0_1, 0_2, etc instead of just one zero element. I remember that a professor of mine talked about it but i can't find anything.