Supergeometry was originally developed as a unifying language describing bosonic and fermionic degrees of freedom and particularly supersymmetry. In the last decades, supergeometric language has merged with methods coming from homological and homotopical algebra, with the concept of Q-manifolds coming to the fore.