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...
में बचाया:
| मुख्य लेखक: | |
|---|---|
| निगमित लेखक: | |
| स्वरूप: | इलेक्ट्रोनिक ई-पुस्तक |
| भाषा: | अंग्रेज़ी |
| प्रकाशित: |
Cham :
Springer Nature Switzerland : Imprint: Birkhäuser,
2025.
|
| संस्करण: | 1st ed. 2025. |
| श्रृंखला: | Computer Science Foundations and Applied Logic,
|
| विषय: | |
| ऑनलाइन पहुंच: | https://doi.org/10.1007/978-3-031-68538-5 |
| टैग: |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
समान संसाधन
A First Course in Category Theory
द्वारा: Agore, Ana
प्रकाशित: (2023)
द्वारा: Agore, Ana
प्रकाशित: (2023)
Hochschild Cohomology, Modular Tensor Categories, and Mapping Class Groups I
द्वारा: Lentner, Simon, और अन्य
प्रकाशित: (2023)
द्वारा: Lentner, Simon, और अन्य
प्रकाशित: (2023)
Higher Structures and Operadic Calculus
प्रकाशित: (2025)
प्रकाशित: (2025)
Derived Category Methods in Commutative Algebra
द्वारा: Christensen, Lars Winther, और अन्य
प्रकाशित: (2024)
द्वारा: Christensen, Lars Winther, और अन्य
प्रकाशित: (2024)
Introduction to Ring and Module Theory
द्वारा: Facchini, Alberto
प्रकाशित: (2025)
द्वारा: Facchini, Alberto
प्रकाशित: (2025)
Homology theory; an introduction to algebraic
द्वारा: HILTON, P.J
प्रकाशित: (1960)
द्वारा: HILTON, P.J
प्रकाशित: (1960)
Foundations of Commutative Rings and Their Modules
द्वारा: Wang, Fanggui, और अन्य
प्रकाशित: (2024)
द्वारा: Wang, Fanggui, और अन्य
प्रकाशित: (2024)
Categorical Donaldson-Thomas Theory for Local Surfaces
द्वारा: Toda, Yukinobu
प्रकाशित: (2024)
द्वारा: Toda, Yukinobu
प्रकाशित: (2024)
Semi-Infinite Algebraic Geometry of Quasi-Coherent Sheaves on Ind-Schemes Quasi-Coherent Torsion Sheaves, the Semiderived Category, and the Semitensor Product /
द्वारा: Positselski, Leonid
प्रकाशित: (2023)
द्वारा: Positselski, Leonid
प्रकाशित: (2023)
Duality in 19th and 20th Century Mathematical Thinking
प्रकाशित: (2024)
प्रकाशित: (2024)
A Course in Homological Algebra/
द्वारा: Hilton, P.J
प्रकाशित: (1997)
द्वारा: Hilton, P.J
प्रकाशित: (1997)
The Mathematical and Philosophical Legacy of Alexander Grothendieck
प्रकाशित: (2025)
प्रकाशित: (2025)
Isomorphism Conjectures in K- and L-Theory
द्वारा: Lück, Wolfgang
प्रकाशित: (2025)
द्वारा: Lück, Wolfgang
प्रकाशित: (2025)
Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods FCMTCCT2 2022, Almería, Spain, July 11–15, Invited and Selected Contributions /
प्रकाशित: (2024)
प्रकाशित: (2024)
Diagrammatic Algebra
द्वारा: Bowman, Chris
प्रकाशित: (2025)
द्वारा: Bowman, Chris
प्रकाशित: (2025)
A Course on Hopf Algebras
द्वारा: Kashaev, Rinat
प्रकाशित: (2023)
द्वारा: Kashaev, Rinat
प्रकाशित: (2023)
From Rings and Modules to Hopf Algebras One Flew Over the Algebraist's Nest /
द्वारा: Broué, Michel
प्रकाशित: (2024)
द्वारा: Broué, Michel
प्रकाशित: (2024)
Algebra without Borders – Classical and Constructive Nonassociative Algebraic Structures Foundations and Applications /
प्रकाशित: (2023)
प्रकाशित: (2023)
Groups, Invariants, Integrals, and Mathematical Physics The Wisła 20-21 Winter School and Workshop /
प्रकाशित: (2023)
प्रकाशित: (2023)
Coherent Sheaves, Superconnections, and Riemann-Roch-Grothendieck
द्वारा: Bismut, Jean-Michel, और अन्य
प्रकाशित: (2023)
द्वारा: Bismut, Jean-Michel, और अन्य
प्रकाशित: (2023)
Helix Structures in Quantum Cohomology of Fano Varieties
द्वारा: Cotti, Giordano, और अन्य
प्रकाशित: (2024)
द्वारा: Cotti, Giordano, और अन्य
प्रकाशित: (2024)
Mathematical Structures From Linear Algebra over Rings to Geometry with Sheaves /
द्वारा: Hilgert, Joachim
प्रकाशित: (2024)
द्वारा: Hilgert, Joachim
प्रकाशित: (2024)
The Cohomology of Monoids
द्वारा: Cegarra, Antonio M., और अन्य
प्रकाशित: (2024)
द्वारा: Cegarra, Antonio M., और अन्य
प्रकाशित: (2024)
Lefschetz Properties Current and New Directions /
प्रकाशित: (2024)
प्रकाशित: (2024)
A Basic Course in Topology
द्वारा: Laures, Gerd, और अन्य
प्रकाशित: (2025)
द्वारा: Laures, Gerd, और अन्य
प्रकाशित: (2025)
Lagrangian Floer Theory and Its Deformations An Introduction to Filtered Fukaya Category /
द्वारा: Oh, Yong-Geun
प्रकाशित: (2024)
द्वारा: Oh, Yong-Geun
प्रकाशित: (2024)
Multi-valued Logic for Decision-Making Under Uncertainty
द्वारा: Kagan, Evgeny, और अन्य
प्रकाशित: (2025)
द्वारा: Kagan, Evgeny, और अन्य
प्रकाशित: (2025)
Topology:
द्वारा: Dugundji, James
प्रकाशित: (1966)
द्वारा: Dugundji, James
प्रकाशित: (1966)
Topology
द्वारा: Dugundji, James
द्वारा: Dugundji, James
A First Course in Algebraic Topology
द्वारा: Sutherland, W. A.
प्रकाशित: (1975)
द्वारा: Sutherland, W. A.
प्रकाशित: (1975)
The theory of ultrafilters/
द्वारा: Comfort, W.W
प्रकाशित: (1974)
द्वारा: Comfort, W.W
प्रकाशित: (1974)
A Course in Homological Algebra/
द्वारा: Hilton, P.J
प्रकाशित: (1996)
द्वारा: Hilton, P.J
प्रकाशित: (1996)
Shape theory and geometric topology; proceedings of a conference held at the Inter-
द्वारा: MARDESIC, Stbe ed
प्रकाशित: (1981)
द्वारा: MARDESIC, Stbe ed
प्रकाशित: (1981)
Lectures on algebraic topology.
द्वारा: DOLD, Albrecht
प्रकाशित: (1972)
द्वारा: DOLD, Albrecht
प्रकाशित: (1972)
Lectures on algebraic topology.
द्वारा: DOLD, Albrecht
प्रकाशित: (1980)
द्वारा: DOLD, Albrecht
प्रकाशित: (1980)
Basic Concepts of algebraic topology.
द्वारा: CROOM, Fred H.
प्रकाशित: (1928)
द्वारा: CROOM, Fred H.
प्रकाशित: (1928)