F-余代数