Search results for "Category Theory Using Haskell"
Items we need to order for you
Category Theory Using Haskell
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 (among other things) concepts of functors, natural transformations, monads, adjoints, universality, category equivalence, and many others. The main goal is to understand the Yoneda lemma, which can be used to reverse-engineer the implementation of a function. Later chapters offer more insights into computer science, including computation with output, nondeterministic computation, and continuation passing. Topics and features:Contains rigorous mathematical arguments to support the theoryProvides numerous Haskell code-implementing examplesEngages with plentiful diagram chasing, with special emphasis on the design patterns for constructing a large diagram out of basic small piecesOffers insights into category theory to quantum computing and the foundation of computing disciplineServes as a preparatory course for monoidal categories and higher categoriesThe work will be useful to undergraduate students in computer science who have enough background in college mathematics such as linear algebra and basics in Haskell polymorphic functions. Further, it will appeal to graduate students and researchers in computing disciplines who want to newly acquire serious knowledge of category theory.
R 9,133.02
Category Theory
This book analyzes the generation of the arrow-categories of a given category, which is a foundational and distinguishable Category Theory phenomena, in analogy to the foundational role of sets in the traditional set-based Mathematics, for defi nition of natural numbers as well. This inductive transformation of a category into the infinite hierarchy of the arrowcategories is extended to the functors and natural transformations. The author considers invariant categorial properties (the symmetries) under such inductive transformations. The book focuses in particular on Global symmetry (invariance of adjunctions) and Internal symmetries between arrows and objects in a category (in analogy to Field Theories like Quantum Mechanics and General Relativity). The second part of the book is dedicated to more advanced applications of Internal symmetry to Computer Science: for Intuitionistic Logic, Untyped Lambda Calculus with Fixpoint Operators, Labeled Transition Systems in Process Algebras and Modal logics as well as Data Integration Theory.
R 7,234.25
Category Theory
With one exception, these papers are original and fullyrefereed research articles on various applications ofCategory Theory to Algebraic Topology, Logic and ComputerScience. The exception is an outstanding and lengthy surveypaper by Joyal/Street (80 pp) on a growing subject: it givesan account of classical Tannaka duality in such a way as tobe accessible to the general mathematical reader, and toprovide a key for entry to more recent developments andquantum groups. No expertise in either representation theoryor category theory is assumed. Topics such as the Fouriercotransform, Tannaka duality for homogeneous spaces, braidedtensor categories, Yang-Baxter operators, Knot invariantsand quantum groups are introduced and studies.From the Contents: P.J. Freyd: Algebraically completecategories.- J.M.E. Hyland: First steps in synthetic domaintheory.- G. Janelidze, W. Tholen: How algebraic is thechange-of-base functor?.- A. Joyal, R. Street: Anintroduction to Tannaka duality and quantum groups.- A.Joyal, M. Tierney: Strong stacks andclassifying spaces.- A.Kock: Algebras for the partial map classifier monad.- F.W.Lawvere: Intrinsic co-Heyting boundaries and the Leibnizrule in certain toposes.- S.H. Schanuel: Negative sets haveEuler characteristic and dimension.-
R 1,992.48
R 1,320.67
Magical Haskell
Discover a unique and fun approach to adopting modern typed functions programming patterns. This book uses playful metaphors and examples to help you learn Haskell through imagination, building on math without relying on imperative crutches or technical complexity. You’ll use math to build completely different Typed Functional patterns from the ground up and understand the link between building Mathematics through Types and constructing Haskell as a programming language. Intended for working with various applications, especially AI-powered apps, the book gently builds up to what are normally considered complex and difficult concepts all without needing a PhD to understand them. Illustrative explanations will guide you to tackle monads, using monad transformer stacks to structure real programs, foldable and traversable structures, as well as other Type classes. This book will also help you structure programs efficiently and apply your own abstractions to real-life problem domains. Next, you’ll explore exciting advancements in AI, including building with OpenAI APIs, creating a terminal chatbot, adding web functionality, and enhancing with retrieval-augmented generation. Finally, you’ll delve into AI multi-agents and future directions using Arrows abstraction, reinforcing Haskell’s design.Magical Haskell is a solution for programmers who feel limited by imperative programming languages but are also put off by excessively mathematical approaches.What You Will LearnGrasp a solid math foundation without complex technicalities for Types and Typeclasses.Solve problems via a typed functional approach and understand why it’s superior to what’s available in the imperative language world (“if it compiles, it runs”).Build your own abstractions to efficiently resolve problems in any given domain.Develop AI frameworks in Haskell, including chatbots, web functionality, and retrieval-augmented generation.Who This Book Is ForHaskell programmers of all levels and those interested in Type Theory.
R 1,482.00
Starting Category Theory
One of the central highlights of this work is the exploration of the Yoneda lemma and its profound implications, during which intuitive explanations are provided, as well as detailed proofs, and specific examples. This book covers aspects of category theory often considered advanced in a clear and intuitive way, with rigorous mathematical proofs. It investigates universal properties, coherence, the relationship between categories and graphs, and treats monads and comonads on an equal footing, providing theorems, interpretations and concrete examples. Finally, this text contains an introduction to monoidal categories and to strong and commutative monads, which are essential tools in current research but seldom found in other textbooks.Starting Category Theory serves as an accessible and comprehensive introduction to the fundamental concepts of category theory. Originally crafted as lecture notes for an undergraduate course, it has been developed to be equally well-suited for individuals pursuing self-study. Most crucially, it deliberately caters to those who are new to category theory, not requiring readers to have a background in pure mathematics, but only a basic understanding of linear algebra.
R 1,825.88
Category Theory And Applications: A Textbook For Beginners
Category Theory now permeates most of Mathematics, large parts of theoretical Computer Science and parts of theoretical Physics. Its unifying power brings together different branches, and leads to a better understanding of their roots.This book is addressed to students and researchers of these fields and can be used as a text for a first course in Category Theory. It covers the basic tools, like universal properties, limits, adjoint functors and monads. These are presented in a concrete way, starting from examples and exercises taken from elementary Algebra, Lattice Theory and Topology, then developing the theory together with new exercises and applications.A reader should have some elementary knowledge of these three subjects, or at least two of them, in order to be able to follow the main examples, appreciate the unifying power of the categorical approach, and discover the subterranean links brought to light and formalised by this perspective.Applications of Category Theory form a vast and differentiated domain. This book wants to present the basic applications in Algebra and Topology, with a choice of more advanced ones, based on the interests of the author. References are given for applications in many other fields.In this second edition, the book has been entirely reviewed, adding many applications and exercises. All non-obvious exercises have now a solution (or a reference, in the case of an advanced topic); solutions are now collected in the last chapter.
R 4,668.38
Categories for Quantum Theory
Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition, and a conceptual way to understand many high-level quantum phenomena. This text lays the foundation for this categorical quantum mechanics, with an emphasis on the graphical calculus which makes computation intuitive. Biproducts and dual objects are introduced and used to model superposition andentanglement, with quantum teleportation studied abstractly using these structures. Monoids, Frobenius structures and Hopf algebras are described, and it is shown how they can be used to model classical information and complementary observables. The CP construction, a categorical tool to describeprobabilistic quantum systems, is also investigated. The last chapter introduces higher categories, surface diagrams and 2-Hilbert spaces, and shows how the language of duality in monoidal 2-categories can be used to reason about quantum protocols, including quantum teleportation and dense coding.Prior knowledge of linear algebra, quantum information or category theory would give an ideal background for studying this text, but it is not assumed, with essential background material given in a self-contained introductory chapter. Throughout the text links with many other areas are highlighted, such as representation theory, topology, quantum algebra, knot theory, and probability theory, and nonstandard models are presented, such as sets and relations. All results are stated rigorously, andfull proofs are given as far as possible, making this book an invaluable reference for modern techniques in quantum logic, with much of the material not available in any other textbook.
R 2,669.00
Basic Category Theory for Computer Scientists
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts. Contents Tutorial * Applications * Further Reading
R 1,030.00
Category Theory and Computer Science
The papers in this volume were presented at the fourthbiennial Summer Conference on Category Theory and ComputerScience, held in Paris, September3-6, 1991. Category theorycontinues to be an important tool in foundationalstudies incomputer science. It has been widely applied by logicians toget concise interpretations of many logical concepts. Linksbetween logic and computer science have been developed nowfor over twenty years, notably via the Curry-Howardisomorphism which identifies programs with proofs and typeswith propositions. The triangle category theory - logic -programming presents a rich world of interconnections.Topics covered in this volume include the following. Typetheory: stratification of types and propositions can bediscussed in a categorical setting. Domain theory: syntheticdomain theory develops domain theory internally in theconstructive universe of the effective topos. Linear logic:the reconstruction of logic based on propositions asresources leads to alternatives to traditional syntaxes. Theproceedings of the previous three category theoryconferences appear as Lecture Notes in Computer ScienceVolumes 240, 283 and 389.
R 1,558.72
Category Theory and Computer Science
This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.
R 1,568.42
Category Theory and Computer Science
This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.
R 1,557.97
Introduction to Category Theory
Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a friendly, easy-to-read textbook that explains the fundamentals at a level suitable for newcomers to the subject. Beginning postgraduate mathematicians will find this book an excellent introduction to all of the basics of category theory. It gives the basic definitions; goes through the various associated gadgetry, such as functors, natural transformations, limits and colimits; and then explains adjunctions. The material is slowly developed using many examples and illustrations to illuminate the concepts explained. Over 200 exercises, with solutions available online, help the reader to access the subject and make the book ideal for self-study. It can also be used as a recommended text for a taught introductory course.
R 1,968.89
Homotopy Theory of (∞,1)-Categories
The notion of an (∞,1)-category has become widely used in homotopy theory, category theory, and in a number of applications. There are many different approaches to this structure, all of them equivalent, and each with its corresponding homotopy theory. This book provides a relatively self-contained source of the definitions of the different models, the model structure (homotopy theory) of each, and the equivalences between the models. While most of the current literature focusses on how to extend category theory in this context, and centers in particular on the quasi-category model, this book offers a balanced treatment of the appropriate model structures for simplicial categories, Segal categories, complete Segal spaces, quasi-categories, and relative categories, all from a homotopy-theoretic perspective. Introductory chapters provide background in both homotopy and category theory and contain many references to the literature, thus making the book accessible to graduates and to researchers in related areas.
R 1,976.98
Basic Category Theory
At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in courses or for independent study. Assuming relatively little mathematical background, it is ideal for beginning graduate students or advanced undergraduates learning category theory for the first time. For each new categorical concept, a generous supply of examples is provided, taken from different parts of mathematics. At points where the leap in abstraction is particularly great (such as the Yoneda lemma), the reader will find careful and extensive explanations. Copious exercises are included.
R 2,917.20
Theory of categories
Although it is a relatively .l'oung branch of mathematics, category theorJ; has already achieved important results that are dispersed in a great number of papers and gathered in some monographs. For this reason, to write a new monograph on the theory of categories is easy, due to the abundance of material, but also difficult, due to the great quantity of ideas and results. In this work we try to give all exposition of some of the ideas and results of the theory of categories. We use current terminology and build as simple a framework as possible, but nevertheless sufficient to enable the reader of this book to understand most of the research papers deroted to this theory. In order to read this book e{fectil'ely, the reader is assumed to possess some knowledge of set theory, as well as some elementary facts from algebra and general topology. However, the reader should hare mathematical maturity. The first chapter deals with the general stud}' of categories. Here the basic notions are introduced and most of the fundamental results are proved. The second chapter discusses the problem of the completion of categories. Brief!:!-' said, this means the embedding of a gil'en category into a category that possesses some additional properties, e.lpeciallr those connected with the existence of limits and colimits. The third chapter covers the algebraic categories, i.e. categories of universal algebras and their general study. as well as the study of the functors between them.
R 1,684.94
Introduction to Category Theory
Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a friendly, easy-to-read textbook that explains the fundamentals at a level suitable for newcomers to the subject. Beginning postgraduate mathematicians will find this book an excellent introduction to all of the basics of category theory. It gives the basic definitions; goes through the various associated gadgetry, such as functors, natural transformations, limits and colimits; and then explains adjunctions. The material is slowly developed using many examples and illustrations to illuminate the concepts explained. Over 200 exercises, with solutions available online, help the reader to access the subject and make the book ideal for self-study. It can also be used as a recommended text for a taught introductory course.
R 6,124.00
Categorical Logic and Type Theory
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
R 3,531.00
Hopf Algebras and Their Generalizations from a Category Theoretical Point of View
These lecture notes provide a self-contained introduction to a wide range of generalizations of Hopf algebras. Multiplication of their modules is described by replacing the category of vector spaces with more general monoidal categories, thereby extending the range of applications.Since Sweedler's work in the 1960s, Hopf algebras have earned a noble place in the garden of mathematical structures. Their use is well accepted in fundamental areas such as algebraic geometry, representation theory, algebraic topology, and combinatorics. Now, similar to having moved from groups to groupoids, it is becoming clear that generalizations of Hopf algebras must also be considered. This book offers a unified description of Hopf algebras and their generalizations from a category theoretical point of view. The author applies the theory of liftings to Eilenberg–Moore categories to translate the axioms of each considered variant of a bialgebra (or Hopf algebra) to a bimonad (or Hopf monad) structure on a suitable functor. Covered structures include bialgebroids over arbitrary algebras, in particular weak bialgebras, and bimonoids in duoidal categories, such as bialgebras over commutative rings, semi-Hopf group algebras, small categories, and categories enriched in coalgebras.Graduate students and researchers in algebra and category theory will find this book particularly useful. Including a wide range of illustrative examples, numerous exercises, and completely worked solutions, it is suitable for self-study.
R 1,772.54
Homotopy Theory of (∞,1)-Categories
The notion of an (∞,1)-category has become widely used in homotopy theory, category theory, and in a number of applications. There are many different approaches to this structure, all of them equivalent, and each with its corresponding homotopy theory. This book provides a relatively self-contained source of the definitions of the different models, the model structure (homotopy theory) of each, and the equivalences between the models. While most of the current literature focusses on how to extend category theory in this context, and centers in particular on the quasi-category model, this book offers a balanced treatment of the appropriate model structures for simplicial categories, Segal categories, complete Segal spaces, quasi-categories, and relative categories, all from a homotopy-theoretic perspective. Introductory chapters provide background in both homotopy and category theory and contain many references to the literature, thus making the book accessible to graduates and to researchers in related areas.
R 5,639.89
Category Theory and Computer Science
This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.
R 1,551.52
Theoretical Computer Science for the Working Category Theorist
Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. In this Element, readers will meet some of the deepest ideas and theorems of modern computers and mathematics, such as Turing machines, unsolvable problems, the P=NP question, Kurt Gödel's incompleteness theorem, intractable problems, cryptographic protocols, Alan Turing's Halting problem, and much more. The concepts come alive with many examples and exercises.
R 948.58
Categories for Quantum Theory
Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition, and a conceptual way to understand many high-level quantum phenomena. This text lays the foundation for this categorical quantum mechanics, with an emphasis on the graphical calculus which makes computation intuitive. Biproducts and dual objects are introduced and used to model superposition andentanglement, with quantum teleportation studied abstractly using these structures. Monoids, Frobenius structures and Hopf algebras are described, and it is shown how they can be used to model classical information and complementary observables. The CP construction, a categorical tool to describeprobabilistic quantum systems, is also investigated. The last chapter introduces higher categories, surface diagrams and 2-Hilbert spaces, and shows how the language of duality in monoidal 2-categories can be used to reason about quantum protocols, including quantum teleportation and dense coding.Prior knowledge of linear algebra, quantum information or category theory would give an ideal background for studying this text, but it is not assumed, with essential background material given in a self-contained introductory chapter. Throughout the text links with many other areas are highlighted, such as representation theory, topology, quantum algebra, knot theory, and probability theory, and nonstandard models are presented, such as sets and relations. All results are stated rigorously, andfull proofs are given as far as possible, making this book an invaluable reference for modern techniques in quantum logic, with much of the material not available in any other textbook.
R 5,221.00
Abelian Model Category Theory
Offering a unique resource for advanced graduate students and researchers, this book treats the fundamentals of Quillen model structures on abelian and exact categories. Building the subject from the ground up using cotorsion pairs, it develops the special properties enjoyed by the homotopy category of such abelian model structures. A central result is that the homotopy category of any abelian model structure is triangulated and characterized by a suitable universal property – it is the triangulated localization with respect to the class of trivial objects. The book also treats derived functors and monoidal model categories from this perspective, showing how to construct tensor triangulated categories from cotorsion pairs. For researchers and graduate students in algebra, topology, representation theory, and category theory, this book offers clear explanations of difficult model category methods that are increasingly being used in contemporary research.
R 3,149.32
R 684.78
First Course in Category Theory
This textbook provides a first introduction to category theory, a powerful framework and tool for understanding mathematical structures. Designed for students with no previous knowledge of the subject, this book offers a gentle approach to mastering its fundamental principles.Unlike traditional category theory books, which can often be overwhelming for beginners, this book has been carefully crafted to offer a clear and concise introduction to the subject. It covers all the essential topics, including categories, functors, natural transformations, duality, equivalence, (co)limits, and adjunctions. Abundant fully-worked examples guide readers in understanding the core concepts, while complete proofs and instructive exercises reinforce comprehension and promote self-study. The author also provides background material and references, making the book suitable for those with a basic understanding of groups, rings, modules, topological spaces, and set theory.Based on the author's course at the Vrije Universiteit Brussel, the book is perfectly suited for classroom use in a first introductory course in category theory. Its clear and concise style, coupled with its detailed coverage of key concepts, makes it equally suited for self-study.
R 2,381.00
Scientific Legacy Of Professor Zbigniew Oziewicz: Selected Papers From The International Conference "Applied Category Theory Graph-operad-logic"
Dedicated to the memory of the late Professor Zbigniew Oziewicz from Universidad Nacional Autónoma de México, the book consists of papers on a wide variety of topics related to the work of Professor Oziewicz, which were presented at the special conference on Graph-Operads-Logic (GOL 2021), selected through peer review to promote his scientific legacy.Professor Oziewicz was a great enthusiast and supporter of category theory and its applications in physics, as well as in various areas of mathematics (topology, noncommutative geometry, etc.). In particular, he made significant contributions to the theory of Frobenius algebras, which now are becoming more important due to their connection with topological quantum field theories that are used in mathematical physics and in quantum topology. Professor Oziewicz was a great and very generous teacher, who immersed his students in the beautiful ideas of category theory as well as mathematical physics and computation. It was his idea to start a series of conferences under the title Graphs-Operads-Logic, most of them held in Mexico, with some of them in the USA, which were a great platform to discuss various ideas connected with category theory and its various applications, and to make friends with other scientists. Despite his passing, the GOL 2021 conference is included in this series to pay tribute to his many contributions to diverse areas of science.The book is laid out in twelve main topics where we can find relevant works from distinguished experts.
R 7,254.00
Elements of ∞-Category Theory
The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. To explain what exactly an ∞-category is requires various technical models, raising the question of how they might be compared. To overcome this, a model-independent approach is desired, so that theorems proven with any model would apply to them all. This text develops the theory of ∞-categories from first principles in a model-independent fashion using the axiomatic framework of an ∞-cosmos, the universe in which ∞-categories live as objects. An ∞-cosmos is a fertile setting for the formal category theory of ∞-categories, and in this way the foundational proofs in ∞-category theory closely resemble the classical foundations of ordinary category theory. Equipped with exercises and appendices with background material, this first introduction is meant for students and researchers who have a strong foundation in classical 1-category theory.
R 3,218.00
Topology and Category Theory in Computer Science
Since techniques from topology and category theory have been used increasingly by theoretical computer scientists in recent years, it was decided during the Oxford Topology Symposium to hold a special session which would be devoted to the application of these topics in computer science. By holding this session in the context of the topology symposium, the organizers hoped to achieve a cross-fertilization between the communities they brought together - providing mathematicians with a course of new problems with a more practical flavour, and computer scientists with a source of solutions and ideas.
R 5,027.00
Theory of Categories
This book contains the definitive statement of Franz Brentano's views on meta physics. It is made up of essays which were dictated by Brentano during the last ten years of his life, between 1907 and 1917. These dictations were assembled and edited by Alfred Kastil and first published by the Felix Meiner Verlag in 1933 under the title Kategorienlehre. Kastil added copious notes to Brentano's text. These notes have been included, with some slight omissions, in the present edition; the bibliographical references have been brought up to date. Brentano's approach to philosophy is unfamiliar to many contemporay readers. I shall discuss below certain fundamental points which such readers are likely to find the most difficult. I believe that once these points are properly understood, then what Brentano has to say will be seen to be of first importance to philosophy. THE PRIMACY OF THE INTENTIONAL To understand Brentano's theory of being, one must realize that he appeals to what he calls inner perception for his paradigmatic uses of the word "is". For inner perception, according to Brentano, is the source of our knowledge of the nature of being, just as it is the source of our knowledge of the nature of truth and of the nature of good and evil. And what can be said about the being of things that are not apprehended in inner perception can be understood only by analogy with what we are able to say about ourselves as thinking subjects.
R 4,653.42
Category Theory in Physics, Mathematics, and Philosophy
The contributions gathered here demonstrate how categorical ontology can provide a basis for linking three important basic sciences: mathematics, physics, and philosophy. Category theory is a new formal ontology that shifts the main focus from objects to processes.The book approaches formal ontology in the original sense put forward by the philosopher Edmund Husserl, namely as a science that deals with entities that can be exemplified in all spheres and domains of reality. It is a dynamic, processual, and non-substantial ontology in which all entities can be treated as transformations, and in which objects are merely the sources and aims of these transformations.Thus, in a rather surprising way, when employed as a formal ontology, category theory can unite seemingly disparate disciplines in contemporary science and the humanities, such as physics, mathematics and philosophy, but also computer and complex systems science.
R 7,683.08
R 434.55
R 4,804.97
From Categories to Homotopy Theory
Category theory provides structure for the mathematical world and is seen everywhere in modern mathematics. With this book, the author bridges the gap between pure category theory and its numerous applications in homotopy theory, providing the necessary background information to make the subject accessible to graduate students or researchers with a background in algebraic topology and algebra. The reader is first introduced to category theory, starting with basic definitions and concepts before progressing to more advanced themes. Concrete examples and exercises illustrate the topics, ranging from colimits to constructions such as the Day convolution product. Part II covers important applications of category theory, giving a thorough introduction to simplicial objects including an account of quasi-categories and Segal sets. Diagram categories play a central role throughout the book, giving rise to models of iterated loop spaces, and feature prominently in functor homology and homology of small categories.
R 3,202.56
Higher Topos Theory (AM-170)
Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable: the theory of infinity-categories, higher categories in which all higher morphisms are assumed to be invertible. In Higher Topos Theory, Jacob Lurie presents the foundations of this theory, using the language of weak Kan complexes introduced by Boardman and Vogt, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language. The result is a powerful theory with applications in many areas of mathematics. The book's first five chapters give an exposition of the theory of infinity-categories that emphasizes their role as a generalization of ordinary categories. Many of the fundamental ideas from classical category theory are generalized to the infinity-categorical setting, such as limits and colimits, adjoint functors, ind-objects and pro-objects, locally accessible and presentable categories, Grothendieck fibrations, presheaves, and Yoneda's lemma.A sixth chapter presents an infinity-categorical version of the theory of Grothendieck topoi, introducing the notion of an infinity-topos, an infinity-category that resembles the infinity-category of topological spaces in the sense that it satisfies certain axioms that codify some of the basic principles of algebraic topology. A seventh and final chapter presents applications that illustrate connections between the theory of higher topoi and ideas from classical topology.
R 4,130.35
R 1,111.44
Monoidal Categories and Topological Field Theory
This monograph is devoted to monoidal categories and their connections with 3-dimensional topological field theories. Starting with basic definitions, it proceeds to the forefront of current research.Part 1 introduces monoidal categories and several of their classes, including rigid, pivotal, spherical, fusion, braided, and modular categories. It then presents deep theorems of Müger on the center of a pivotal fusion category. These theorems are proved in Part 2 using the theory of Hopf monads. In Part 3 the authors define the notion of a topological quantum field theory (TQFT) and construct a Turaev-Viro-type 3-dimensional state sum TQFT from a spherical fusion category. Lastly, in Part 4 this construction is extended to 3-manifolds with colored ribbon graphs, yielding a so-called graph TQFT (and, consequently, a 3-2-1 extended TQFT). The authors then prove the main result of the monograph: the state sum graph TQFT derived from any spherical fusion category is isomorphic to the Reshetikhin-Turaev surgery graph TQFT derived from the center of that category.The book is of interest to researchers and students studying topological field theory, monoidal categories, Hopf algebras and Hopf monads.
R 7,245.44
Algebraic Set Theory
This book offers a new, algebraic, approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore the authors explicitly construct such algebras using the theory of bisimulations. Their approach is completely constructive, and contains both intuitionistic set theory and topos theory. In particular it provides a uniform description of various constructions of the cumulative hierarchy of sets in forcing models, sheaf models and realisability models. Graduate students and researchers in mathematical logic, category theory and computer science should find this book of great interest, and it should be accessible to anyone with some background in categorical logic.
R 2,418.36
Simplicial and Dendroidal Homotopy Theory
This open access book offers a self-contained introduction to the homotopy theory of simplicial and dendroidal sets and spaces. These are essential for the study of categories, operads, and algebraic structure up to coherent homotopy. The dendroidal theory combines the combinatorics of trees with the theory of Quillen model categories. Dendroidal sets are a natural generalization of simplicial sets from the point of view of operads. In this book, the simplicial approach to higher category theory is generalized to a dendroidal approach to higher operad theory. This dendroidal theory of higher operads is carefully developed in this book. The book also provides an original account of the more established simplicial approach to infinity-categories, which is developed in parallel to the dendroidal theory to emphasize the similarities and differences. Simplicial and Dendroidal Homotopy Theory is a complete introduction, carefully written with the beginning researcher in mind and ideally suited for seminars and courses. It can also be used as a standalone introduction to simplicial homotopy theory and to the theory of infinity-categories, or a standalone introduction to the theory of Quillen model categories and Bousfield localization.
R 1,744.10
Invitation to Applied Category Theory
Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusive preserve of pure mathematicians, it is now proving itself to be a powerful tool in science, informatics, and industry. By facilitating communication between communities and building rigorous bridges between disparate worlds, applied category theory has the potential to be a major organizing force. This book offers a self-contained tour of applied category theory. Each chapter follows a single thread motivated by a real-world application and discussed with category-theoretic tools. We see data migration as an adjoint functor, electrical circuits in terms of monoidal categories and operads, and collaborative design via enriched profunctors. All the relevant category theory, from simple to sophisticated, is introduced in an accessible way with many examples and exercises, making this an ideal guide even for those without experience of university-level mathematics.
R 4,982.00
Realistic Theory of Categories
Roderick Chisholm has been for many years one of the most important and influential philosophers contributing to metaphysics, philosophy of mind, and epistemology. This book can be viewed as a summation of his views on an enormous range of topics in metaphysics and epistemology. Yet it is written in the terse, lucid, unpretentious style that has become a hallmark of Chisholm's work. The book is an original treatise designed to defend an original, non-Aristotelian theory of categories. Chisholm argues that there are necessary things and contingent things; necessary things being things that are not capable of coming into being or passing away. He defends the argument from design, and thus includes the category of necessary substance (God). Further contentions of the essay are that attributes are also necessary beings, but not necessary substances, and that human beings are contingent substances but may not be material substances.
R 2,135.71
R 1,593.56
Invitation to Applied Category Theory
Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusive preserve of pure mathematicians, it is now proving itself to be a powerful tool in science, informatics, and industry. By facilitating communication between communities and building rigorous bridges between disparate worlds, applied category theory has the potential to be a major organizing force. This book offers a self-contained tour of applied category theory. Each chapter follows a single thread motivated by a real-world application and discussed with category-theoretic tools. We see data migration as an adjoint functor, electrical circuits in terms of monoidal categories and operads, and collaborative design via enriched profunctors. All the relevant category theory, from simple to sophisticated, is introduced in an accessible way with many examples and exercises, making this an ideal guide even for those without experience of university-level mathematics.
R 2,215.00
Effective Haskell
Put the power of Haskell to work in your programs, learning from an engineer who uses Haskell daily to get practical work done efficiently. Leverage powerful features like Monad Transformers and Type Families to build useful applications. Realize the benefits of a pure functional language, like protecting your code from side effects. Manage concurrent processes fearlessly. Apply functional techniques to working with databases and building RESTful services. Don't get bogged down in theory, but learn to employ advanced programming concepts to solve real-world problems. Don't just learn the syntax, but dive deeply into Haskell as you build efficient, well-tested programs.Haskell is a pure functional programming language with a rich ecosystem of tools and libraries. Designed to push the boundaries of programming, it offers unparalleled power for building reliable and maintainable systems. But to unleash that power, you need a guide. Effective Haskell is that guide. Written by an engineer who understands how to apply Haskell to the real world and uses it daily to get practical work done, it is your ticket to Haskell mastery.Gain deep understanding of how Haskell deals with IO and the outside world by writing a complete Haskell application that does several different kinds of IO. Reinforce your learnings with practice exercises in every chapter.Write stable and performant code using Haskell's type system, code that is easier to grow and refactor. Leverage the power of pure functional programming to improve collaboration, make concurrency safe and easy, and make large code bases manageable.Implement type-safe web services, write generative tests, design strongly typed embedded domain-specific languages, and build applications that exploit parallelism and concurrency without fear of deadlocks and race conditions. Create and deploy cloud-native Haskell applications. Master the performance characteristics of functional applications to make them run faster and use less memory.Write Haskell programs that solve real-world business problems.What You Need:Intel based Mac, M1 Macs, Linux PC, or Windows with WSL2ghcup (http://www. Haskell.org/ghcup/)An active internet connection will be required for some projects.
R 2,005.00
Programming in Haskell
Haskell is a purely functional language that allows programmers to rapidly develop clear, concise, and correct software. The language has grown in popularity in recent years, both in teaching and in industry. This book is based on the author's experience of teaching Haskell for more than twenty years. All concepts are explained from first principles and no programming experience is required, making this book accessible to a broad spectrum of readers. While Part I focuses on basic concepts, Part II introduces the reader to more advanced topics. This new edition has been extensively updated and expanded to include recent and more advanced features of Haskell, new examples and exercises, selected solutions, and freely downloadable lecture slides and example code. The presentation is clean and simple, while also being fully compliant with the latest version of the language, including recent changes concerning applicative, monadic, foldable, and traversable types.
R 1,950.44
