F-始代数