Two cardinal versions of diamond

Roughly speaking, ◇_K,λ asserts the existence of a sequence of size <κ sets that captures every subset ofλ on a stationary set. The paper is devoted to the study of ◇_K,λ and related principles, which are for instance obtained by considering sequences of larger sets, or by requesting the simultaneous capture of many subsets ofλ. Our main result is that ◇_K,λ holds in caseλ>2^<K .