Sto cercando di leggere la documentazione nel pacchetto LensEdward Kmett. Non ho familiarità con molti termini usati (profunctor, isomorfismo, monomorfismo, contravariant, bifunctor, ecc ...)risorsa che spiega il vocabolario utilizzato nel pacchetto di obiettivi di Edward Kmett
Quale sarebbe una buona risorsa per andare a imparare un po 'di questo vocabolario come è usato in questa libreria
Questi sono termini da category theory. Per quanto riguarda le risorse, Ed stesso ha some suggestions. Personalmente, ho seguito i suoi consigli di Conceptual Mathematics da Lawvere e Awodey's Category Theory.
Sono un po 'più avanzati (rispetto a * Matematica Concettuale *), ma i [video Catsters] (https://byorgey.wordpress.com/catsters-guide-2/#introduction) possono fare una bella aggiunta a * Matematica concettuale * e * Teoria delle categorie *. –
I video di Catsters sono fantastici! –
Decisamente d'accordo! Ho letto l'ultimo libro del Dr. Cheng (* How to Bake π *) e, anche se è stato scritto per un pubblico principalmente non matematico, parla di alcune idee generali e della terminologia della teoria delle categorie (insieme ad alcune belle ricette di cottura) scritto nel suo stile divertente ed entusiasta. Potrebbe essere un'altra potenziale risorsa per avere alcune idee sul modo categorico di guardare le cose e alcuni argomenti categoriali, ma è un po 'meno sul lato tecnico. Inoltre ha, a mio avviso, una difesa molto efficace e chiara della matematica (applicata e pura). –
Se si ripete questa domanda per chiedere quale sia l'origine o il significato del vocabolario, non sarà confuso come richiedere una risorsa fuori sito. – Cirdec
Mi è sempre piaciuta la serie di Bartosz, http://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ –
Ho trovato le note di lezione di ["Category theory for the Sciences" al MIT OCW] (http://ocw.mit.edu/courses/mathematics/18-s996-category-theory-for-scientists-spring-2013/) molto utile. Il manuale (ormai leggermente rinnovato) è disponibile anche in stampa con soluzioni per esercizi. –