Homotopical Algebra and Higher Structures | Synapse