Use RelativeComonad instead of relative_comonad for concrete category definition
Use ComoduleRC instead of comodule_rc for concrete category definition