Completely. That's a really thorough discussion of equivariant bordism, the most complete reference I've seen. I don't know what the math overflow protocol is in this case, I'd say the reference you gave answers my question. (and no, it's not the restriction of MO to the trivial universe)

@Archipelago: Thanks! That's more than I was hoping for.

Hi Tyler. I never figured it out, but I'm pessimistic about it.

Yes, that's exactly the same... I should have read more carefully.

Boris, thanks for your answer. If $\lambda$ is bigger than $\aleph_0$, is it then not true in general that sequential homotopy colimits commute with finite homotopy limits? (thanks for clarifying what finite means in this context)

@OmarAntolín-Camarena: Thanks a lot for your comments! I am interested in homotopy limits over posets, I'm happy with categories with finite nerves. It seems to me that one should use Dugger's theorem to reduce the question for a general finite locally presentable cpctly gen model cat to simplicial sets. Do you know of a reference for simplicial sets? Can one deduce it from Lurie's proof for infinity categories?