A Category of Discrete Partially Ordered Sets