Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction