/sci/ - Science & Math

>>4729959
the phrase "It is a vast generalisation of Cayley's theorem from group theory" should be good enough.
Category theory is often about the joy of rerouting maps (funtors on mophsims) and Yoneda Lemma says that a big deal of previously abstracts maps are really in Set (the smaller set category). Just like Cayley's theorem says some previously abstract groups are subgroups of the more reasonable symmetric group, or permutations.
The left hand side is something freaky, the right hand side F(A) is something normal.
These theorems says that some abstract constructions are actually one something you already know.
Why are you interested in it?, maybe that would be a start.

Every functional is a function.

>>4428362
I don't. Anyway, back to topic

If I assume the meaning of your use of the word "anagram" correctly

http://www.design215.com/toolbox/wordfind.php
klick 8 letter word and specify the last letter.

abducted
absconds
canadian
...