F-終余代数