The first introductory account of using string diagrams to reason in elementary category theory.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Ralf Hinze is Professor of Software Engineering at the University of Kaiserslautern-Landau (RPTU). His research is centered around the construction of provably correct software, with a particular emphasis on functional programming, algebra of programming, applied category theory, and persistent data structures. His goal is to develop theory, languages, and tools that simplify the construction of reliable software systems.
Dan Marsden is a theoretical computer scientist currently working as Transitional Assistant Professor at the University of Nottingham. He is interested in the foundations of computer science, logic, and mathematics, with particular emphasis on the application of category theory.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New. Bestandsnummer des Verkäufers 45647791-n
Anzahl: Mehr als 20 verfügbar
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Hardback or Cased Book. Zustand: New. Introducing String Diagrams: The Art of Category Theory. Book. Bestandsnummer des Verkäufers BBS-9781009317863
Anbieter: California Books, Miami, FL, USA
Zustand: New. Bestandsnummer des Verkäufers I-9781009317863
Anzahl: Mehr als 20 verfügbar
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 45647791
Anzahl: Mehr als 20 verfügbar
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Hardcover. Zustand: new. Hardcover. String diagrams are powerful graphical methods for reasoning in elementary category theory. Written in an informal expository style, this book provides a self-contained introduction to these diagrammatic techniques, ideal for graduate students and researchers. Much of the book is devoted to worked examples highlighting how best to use string diagrams to solve realistic problems in elementary category theory. A range of topics are explored from the perspective of string diagrams, including adjunctions, monad and comonads, Kleisli and EilenbergMoore categories, and endofunctor algebras and coalgebras. Careful attention is paid throughout to exploit the freedom of the graphical notation to draw diagrams that aid understanding and subsequent calculations. Each chapter contains plentiful exercises of varying levels of difficulty, suitable for self-study or for use by instructors. This is the first self-contained introduction to the use of string diagrams to reason in elementary category theory. Written in an informal expository style, it features hundreds of carefully chosen diagrams to aid understanding. With numerous worked examples and exercises, the text is ideal for graduate students and advanced undergraduates. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9781009317863
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Hardback. Zustand: New. String diagrams are powerful graphical methods for reasoning in elementary category theory. Written in an informal expository style, this book provides a self-contained introduction to these diagrammatic techniques, ideal for graduate students and researchers. Much of the book is devoted to worked examples highlighting how best to use string diagrams to solve realistic problems in elementary category theory. A range of topics are explored from the perspective of string diagrams, including adjunctions, monad and comonads, Kleisli and Eilenberg-Moore categories, and endofunctor algebras and coalgebras. Careful attention is paid throughout to exploit the freedom of the graphical notation to draw diagrams that aid understanding and subsequent calculations. Each chapter contains plentiful exercises of varying levels of difficulty, suitable for self-study or for use by instructors. Bestandsnummer des Verkäufers LU-9781009317863
Anzahl: 1 verfügbar
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. 1st edition NO-PA16APR2015-KAP. Bestandsnummer des Verkäufers 26396097834
Anzahl: 1 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Hardcover. Zustand: Brand New. 195 pages. 9.88x6.97x0.71 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __1009317865
Anzahl: 1 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. Bestandsnummer des Verkäufers 401360629
Anzahl: 1 verfügbar
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. Bestandsnummer des Verkäufers 18396097824
Anzahl: 1 verfügbar