Solucionado
No seguinte método Carrinho, como ele identifica que o parametro "codigo" irá receber o valor do código do produto? Seria por conta do roteamento do "asp-route-codigo", localizado no Carrossel.cshtml?
public IActionResult Carrinho(string codigo) { ... }
Olá Jonas, como vai?
Exatamente isso. O value, que passamos no asp-route-{value} está sendo ocupado pelo codigo. Esse value(onde estamos utilizando o codigo) é interpretado como um possível parâmetro de roteamento.
Espero ter ajudado.
Abraços e bons estudos!