I'm planning on attending a conference in Barcelona in September called "Large Cardinal Methods in Homotopy Theory" and want to try to be as prepared as I possibly can. Are there good references for this sort of thing other than scholarly papers (a lot of the work is stuff done by Carles Casacuberta et.al.). I'm learning a lot of large cardinals and homotopy theory already, but I'd like to understand better what is meant by "Large Cardinal Methods." Is that like... forcing? What is that?
Thanks!! Jon