آرزوی قرمز (به انگلیسی: Red’s Dream) نام انیمیشنی زیبا و کوتاه محصول کمپانی پیکسار کشور آمریکا در سبک انیمیشن و ماجراجویی به کارگردانی جان لاستر است که در سال ۱۹۸۷ میلادی منتشر شد.