Posts in category type-system