The reasonable man adapts himself to the world; the unreasonable one persists in trying to adapt the world to himself. Therefore all progress depends on the unreasonable man.
It is not the critic who counts; not the man who points out how the strong man stumbles, or where the doer of deeds could have done them better. The credit belongs to the man who is actually in the arena, whose face is marred by dust and sweat and blood; who strives valiantly; who errs, who comes short again and again, because there is no effort without error and shortcoming; but who does actually strive to do the deeds; who knows great enthusiasms, the great devotions; who spends himself in a worthy cause; who at the best knows in the end the triumph of high achievement, and who at the worst, if he fails, at least fails while daring greatly, so that his place shall never be with those cold and timid souls who neither know victory nor defeat.
All animals are equal but some animals are more equal than others
Sincerity of conviction and purity of motive will surely gain the day; and even a small minority, armed with these, is surely destined to prevail against all odds.
This is great news!
• David Spivak, Category Theory for Scientists, http://arxiv.org/abs/1302.6946.
"This course is an attempt to extol the virtues of a new branch of mathematics, called category theory, which was invented for powerful communication of ideas between different fields and subfields within mathematics. By powerful communication of ideas I actually mean something precise. Different branches of mathematics can be formalized into categories. These categories can then be connected together by functors. And the sense in which these functors provide powerful communication of ideas is that facts and theorems proven in one category can be transferred through a connecting functor to yield proofs of an analogous theorem in another category. A functor is like a conductor of mathematical truth."
"I believe that the language and toolset of category theory can be useful throughout science. We build scientific understanding by developing models, and category theory is the study of basic conceptual building blocks and how they cleanly fit together to make such models. Certain structures and conceptual frameworks show up again and again in our understanding of reality. No one would dispute that vector spaces are ubiquitous. But so are hierarchies, symmetries, actions of agents on objects, data models, global behavior emerging as the aggregate of local behavior, self-similarity, and the effect of methodological context."
"Some ideas are so common that our use of them goes virtually undetected, such as set-theoretic intersections. For example, when we speak of a material that is both lightweight and ductile, we are intersecting two sets. But what is the use of even mentioning this set-theoretic fact? The answer is that when we formalize our ideas, our understanding is almost always clarified. Our ability to communicate with others is enhanced, and the possibility for developing new insights expands. And if we are ever to get to the point that we can input our ideas into computers, we will need to be able to formalize these ideas first."
"It is my hope that this course will offer scientists a new vocabulary in which to think and communicate, and a new pipeline to the vast array of theorems that exist and are considered immensely powerful within mathematics. These theorems have not made their way out into the world of science, but they are directly applicable there. Hierarchies are partial orders, symmetries are group elements, data models are categories, agent actions are monoid actions, local-to-global principles are sheaves, self-similarity is modeled by operads, context can be modeled by monads."
David Spivak asks readers from different subjects for help in finding new ways to apply category theory to those subjects. And that's the right attitude to take when reading this book. I've found category immensely valuable in my work. But it took effort to learn category theory and see how it can apply to different subjects. People are just starting to figure out these things, so don't expect instant solutions to the problems in your own favorite field. But Spivak does the best job I've seen so far at explaining category theory as a general-purpose tool for thinking clearly.
Thanks to for pointing this out!
10 Reasons Why 2013 Will Be The Year You Quit Your Job | TechCrunch
Editor’s note: James Altucher is an investor, programmer, author, and entrepreneur. You can't make money without selling something real. You
HTML5 Rocks - How Browsers Work: Behind the Scenes of Modern Web Browsers
A resource for developers looking to put HTML5 to use today, including information on specific features and when to use them in your apps.
Kilobots are leaving the nest: Swarm of tiny, collaborative robots will ...
The Kilobots are coming. Computer scientists and engineers have developed and licensed technology that will make it easy to test collective
Science Daily: News & Articles in Science, Health, Environment &...
Breaking science news and articles on global warming, extrasolar planets, stem cells, bird flu, autism, nanotechnology, dinosaurs, evolution
Machine-Learning Algorithms Could Help Debunk Twitter Rumors
Twitter is one of the fastest and most comprehensive ways of staying abreast of breaking news. However, it's not always easy to tell whether
In space and on Earth, why build it, when a robot can build it for you?
Like something straight out of “Star Wars,” armies of robots could nimbly be crawling up towers and skyscrapers to make repairs in the not-s
Scientists find the stem cells that drive our creativity
A newly-discovered type of stem cell could be the key to higher thinking in humans, research suggests.
Researchers produce first complete computer model of an organism
In a breakthrough effort for computational biology, the world's first complete computer model of an organism has been completed, researchers
CERN experiments observe particle consistent with long-sought Higgs boson
Physicists with the the ATLAS and CMS experiments have presented their latest preliminary results in the search for the long-sought Higgs pa
Easter Island drug raises cognition throughout life span in mice
Rapamycin, a compound first isolated from soil on Easter Island, enhanced learning and memory in a study of young, middle-aged and older mic
New computers respond to students' emotions, boredom
Emotion-sensing computer software that models and responds to students' cognitive and emotional states -- including frustration and boredom
How the alphabet of data processing is growing: Flying 'qubits' generated
The alphabet of data processing could include more elements than the "0" and "1" in future. Scientists have achieved a new kind of bit with