- Consider contravariant functor F: Set→Set that carries set to the set of preorders on it; is F representable? http://www.math.jhu.edu/~eriehl/context.pdf 17 comments math
Linking pages
- GitHub - bollu/bollu.github.io: code + contents of my website, and programming life https://github.com/bollu/bollu.github.io#everything-you-know-about-word2vec-is-wrong 171 comments
- Yoneda Intuition from Humble Beginnings · GitHub https://gist.github.com/icelandjack/02069708bc75f4284ac625cd0e2ec81f 18 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- GitHub - rossant/awesome-math: A curated list of awesome mathematics resources https://github.com/rossant/awesome-math 12 comments
- GitHub - learn-anything/books: Awesome Books https://github.com/learn-anything/books 6 comments
- Emily Riehl's Favorite Theorem - Scientific American Blog Network https://blogs.scientificamerican.com/roots-of-unity/emily-riehls-favorite-theorem/ 5 comments
- Getting started with category theory - Thomas Read's blog https://blog.thjread.com/posts/2020-03-09-getting-started-category-theory.html?reddit= 4 comments
- GitHub - prathyvsh/category-theory-resources: Resources for learning Category Theory for an enthusiast https://github.com/prathyvsh/category-theory-resources 3 comments
- Understanding Weighted Colimits as Tensor Products of Modules · Tony Zorman https://tony-zorman.com/posts/weighted-colimits.html 1 comment
- GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments
Related searches:
Search whole site: site:www.math.jhu.edu
Search title: Consider contravariant functor F: Set→Set that carries set to the set of preorders on it; is F representable?
See how to search.