Functional Categories: Introduction