Find link

language:

Find link is a tool written by Edward Betts.

searching for Yoneda lemma 6 found (45 total)

Algebraic stack (3,767 words) [view diff] exact match in snippet view article find links to article

groupoids. Showing this 2-functor is a sheaf is the content of the 2-Yoneda lemma. Using the Grothendieck construction, there is an associated category

Density theorem (category theory) (798 words) [view diff] exact match in snippet view article

→ ( V , y ) ) = h u . {\displaystyle f((U,x)\to (V,y))=h_{u}.} ) The Yoneda lemma says there is a natural bijection G ( U ) ≃ Hom ⁡ ( h U , G ) {\displaystyle

Presheaf (category theory) (1,119 words) [view diff] exact match in snippet view article

M)(U_{i})=\operatorname {Hom} (yU_{i},{\mathcal {H}}om(\eta ,M))} by the Yoneda lemma, we have: Hom D ⁡ ( η ~ F , M ) = Hom D ⁡ ( lim → ⁡ η U i , M ) = lim

Generalized algebraic data type (1,322 words) [view diff] exact match in snippet view article find links to article

GADTs, bibliography by Simon Peyton Jones Type inference with constraints, bibliography by Simon Peyton Jones Emulating GADTs in Java via the Yoneda lemma

Isbell duality (1,366 words) [view diff] exact match in snippet view article find links to article

"space and quantity", ncatlab.org "Yoneda embedding", ncatlab.org "co-Yoneda lemma", ncatlab.org "copresheaf", ncatlab.org "Natural transformations and

Prestack (4,304 words) [view diff] exact match in snippet view article find links to article

{\displaystyle F_{U}} ) and a category F fibered in groupoids over C, the 2-Yoneda lemma says: there is a natural equivalence of categories Funct C ⁡ ( U , F