http://en.wikipedia.org/wiki/Functor
http://en.wikipedia.org/wiki/Morphism
http://en.wikipedia.org/wiki/Non-well-founded_set_theory
http://en.wikipedia.org/wiki/Alternative_set_theory
http://en.wikipedia.org/wiki/Equivariant_map
http://en.wikipedia.org/wiki/Symmetric_monoidal_category
http://en.wikipedia.org/wiki/Universe_(mathematics)
probably some links i wanted to place are currently missing..
Noticed, for example, the cosmos theory.. I think its interesting because indeed it feels – when doing stuff with sequences – that these are like stars and planets and galaxies etc..
(a sizeable inference – but hey, that’s why am interested in the cosmos and universe metaphors..)