/sci/ - Science & Math

>>11870116
Name one (1) mathematician who made a bigger contribution to group theory. I'll wait.

Hey guys, I'm trying to find a wide variety of subtopics in math, but I don't know where to look. I'm not talking broad categories like group theory, but more specialized things. Should I just keep my eye on research journals for interesting things going on? I'm doing some work on certain types of polyhedra now, but I keep feeling as if I could find something more interesting to work on, or find inspiration from some work I've never seen before. Does anyone know of a place to look?

>>6662103
Can you realize the Yoneda embedding directly, i.e. on the type level? I guess that's mapping a type "a" to "forall b . (a->b)".

And I mean for the general category Hask of Haskell types. I.e. without introducing the exact formal overhead as in

http://hackage.haskell.org/package/data-category-0.5.1/docs/Data-Category-Yoneda.html#t:YonedaEmbedding