On Fukaya categories and prequantization bundles | Synapse