Refine category of ScalarField #31883
Description
A ScalarField on a topological manifold is supposed to be a continuous map -- but this is not reflected by the category of its parent.
sage: M = Manifold(2, 'R^2', structure='topological')
sage: c_cart.<x,y> = M.chart()
sage: r_squared = M.scalar_field(x^2+y^2)
sage: r_squared.parent().category()
Category of commutative algebras over Symbolic Ring
sage: r_squared.codomain()
AttributeError: 'ScalarFieldAlgebra_with_category.element_class' object has no attribute 'codomain'
CC: @egourgoulhon @tscrim @mjungmath
Component: manifolds
Author: Matthias Koeppe
Branch/Commit: cd3ca79
Reviewer: Travis Scrimshaw
Issue created by migration from https://trac.sagemath.org/ticket/31883