Category Theory Using Haskell An Introduction with Moggi and Yoneda /

This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created. Offering excellent use of helpful examples in Haskell, the work covers...

Πλήρης περιγραφή

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Yukita, Shuichi (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:Αγγλικά
Έκδοση: Cham : Springer Nature Switzerland : Imprint: Birkhäuser, 2025.
Έκδοση:1st ed. 2025.
Σειρά:Computer Science Foundations and Applied Logic,
Θέματα:
Διαθέσιμο Online:https://doi.org/10.1007/978-3-031-68538-5
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
Πίνακας περιεχομένων:
  • 1. Catetory, Functor, Natural Transformation
  • 2. Equivalence of categories
  • 3. Universality and Limits
  • 4. Functors and Limits
  • 5. Adjoints
  • 6. Monads
  • 7. Representable Functors.