Category: Path integral formulation