introduce the category of Bounded posets#41216

fchapoton wants to merge 4 commits intosagemath:developsagemath/sage:developfrom

fchapoton:bounded_posetsfchapoton/sage:bounded_posetsCopy head branch name to clipboard