Floer homology is a half infinite dimensional homology theory invented by A. Floer 40 years ago. The further study of the structure in Floer theory shows a kind of higher category theory is useful. I will survey this topic including its application to Symlectic Geometry and Gauge theory.