Então, eu importei o projeto LojaWebEF, baixando pelo link que estava em um dos exercícios. O BD já veio criado, apenas gerei a migração para criar a chave estrangeira entre as entidades Produto e Categoria.
A string de conexão é a seguinte (coloquei até o caminho absoluto para ver se resolvia o problema):
<connectionStrings>
<add name="EntidadesContext" connectionString="Data Source=(LocalDB)\v11.0;AttachDbFilename=C:\Users\Leandro\Documents\Visual Studio 2013\Projects\LojaWebEF\LojaWebEF\App_Data\LojaEF.mdf;Integrated Security=True" providerName="System.Data.SqlClient" />
</connectionStrings>