Data and categories: demonstration of discrete-->discrete (invertible) functions
Definition in file rf406_cattocatfuncs.C.