The interpretation of functional categories II