"The book offers categorical introductions to order, topology, algebra, and sheaf theory, suitable for graduate students, teachers, and researchers of pure mathematics. Readers familiar with the most basic notions of category theory will learn about the main tools that are used …
"30" Result
Sort By:
"The book offers categorical introductions to order, topology, algebra, and sheaf theory, suitable for graduate students, teachers, and researchers of pure mathematics. Readers familiar with the most basic notions of category theory will learn about the main tools that are used …
Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other …
Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any other fields i…
Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other …
Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by MatheƯ maticians working in a variety of other fields of Mathematical research. This occurs at several levels. On the first level, categories provide a c…
Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe{u00AD} maticians working in a variety of other fields of Mathematical research. This occurs at several levels. On the first level, categories provi…
Comprises six presentations on new developments in category theory from the March 1997 workshop. The topics are categorification, computads for finitary monads on globular sets, braided n- categories and a-structures, categories of vector bundles and Yang- Mills equations, the r…
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an i…
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
