nLab
(infinity,1)-quantity

See ∞-quantity for now.