From Fredenhagen's universal algebra to homotopy theory and operads