Ich versuche, die Dokumentation in Edward Kmett 's Lens Paket zu lesen. Ich bin nicht vertraut mit einer Menge der verwendeten Begriffe (profunctor, Isomorphismus, monomorphe, kontravariante, bifunctor, etc ...)Ressource, die das Vokabular von Edward Kmetts Linsenpaket erklärt
Was wäre eine gute Ressource zu gehen, um etwas von diesem Vokabular zu lernen, wie es in verwendet wird diese Bibliothek.
Dies sind Begriffe aus category theory. Bezüglich Ressourcen hat Ed selbst some suggestions. Persönlich stimme ich seinen Empfehlungen Conceptual Mathematics von Lawvere und Awodey Category Theory.
Sie sind ein bisschen fortgeschrittener (relativ zu * Conceptual Mathematics *), aber die [Catsters Videos] (https://byorgey.wordpress.com/catsters-guide-2/#introduction) können eine nette Ergänzung zu * Konzeptuelle Mathematik * und * Kategorientheorie *. –
Die Videos von Catsters sind großartig! –
Definitiv vereinbart! Ich habe das neueste Buch von Dr. Cheng gelesen (* How to Bake π *) und, obwohl es für ein primär nicht-mathematisches Publikum geschrieben wurde, spricht es über einige allgemeine Ideen und Terminologien der Kategorientheorie (zusammen mit einigen netten Backrezepte) in ihrem unterhaltsamen, enthusiastischen Stil geschrieben. Das könnte eine weitere mögliche Ressource sein, um ein paar Ideen über die kategorische Sichtweise und einige kategorische Themen zu bekommen, aber es ist ein bisschen weniger auf der technischen Seite. Außerdem hat es meines Erachtens eine sehr wirksame und klare Verteidigung der (angewandten und reinen) Mathematik. –
Wenn Sie diese Frage neu formulieren, um nach dem Ursprung oder der Bedeutung des Vokabulars zu fragen, wird dies nicht mit der Frage nach einer externen Ressource verwechselt. – Cirdec
Ich mochte Bartosz Serie immer, http://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ –
Ich fand die Vorlesungsnotizen von ["Category Theorie für die Wissenschaften" am MIT OCW] (http://ocw.mit.edu/courses/mathematics/18-s996-category-theory-for-scientists-spring-2013/) sehr nützlich. Das (inzwischen leicht erneuerte) Lehrbuch ist auch in gedruckter Form mit Übungslösungen erhältlich. –