poset, index category, limit, terminal object, product