Let πΌββ0, πΌ=β, or πΌ=π.
The category of manifoldsπ¬πΊππΌ is a category where
an object is a πΆπΌ-manifold
and a morphism is a πΆπΌ-map. diff
Often one also sees the terms smooth category for π¬πΊπβ
and analytic category for π¬πΊππ.