>In mathematics, specifically category theory, a posetal category, or thin category, is a category whose homsets each contain at most one morphism.