Category talk:F-spaces