Sheaves of ordered spaces and interval theories