Polygraphs: From Rewriting to Higher Categories: 495 (London Mathematical Society Lecture Note Series, Series Number 495) - Image 1

£78.39

Cambridge University Press Polygraphs: From Rewriting to Higher Categories: 495 (London Mathematical Society Lecture Note Series, Series Number 495)

Name: Polygraphs: From Rewriting to Higher Categories: 495 (London Mathematical Society Lecture Note Series, Series Number 495)
Brand: Cambridge University Press
Price: 77.17 GBP
Availability: InStock

Computer Science

Price History & Forecast

Last 53 days • 53 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 53 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £78 (21 days, 39.6%)

Price range: £77 - £80

Price levels: 4 different prices over 53 days

Description

This is the first book to revisit the theory of rewriting in the context of strict higher categories, through the unified approach provided by polygraphs, and put it in the context of homotopical algebra. The first half explores the theory of polygraphs in low dimensions and its applications to the computation of the coherence of algebraic structures. Illustrated with algorithmic computations on algebraic structures, the only prerequisite in this section is basic category theory. The theory is introduced step-by-step, with detailed proofs. The second half introduces and studies the general notion of n-polygraph, before addressing the homotopy theory of these polygraphs. It constructs the folk model structure on the category on strict higher categories and exhibits polygraphs as cofibrant objects. This allows the formulation of higher-dimensional generalizations of the coherence results developed in the first half. Graduate students and researchers in mathematics and computer science will find this work invaluable.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 1009498983
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 03 April 2025
Listed Since: 25 October 2024

Barcode

No barcode data available

Cambridge University Press Polygraphs: From Rewriting to Higher Categories: 495 (London Mathematical Society Lecture Note Series, Series Number 495)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Polynomial Functors: A Mathematical Theory of Interaction: 498 (London Mathematical Society Lecture Note Series, Series Number 498)

From Categories to Homotopy Theory: 188 (Cambridge Studies in Advanced Mathematics, Series Number 188)

Higher Operads, Higher Categories: 298 (London Mathematical Society Lecture Note Series, Series Number 298)

Homotopy Theory of Enriched Mackey Functors: Closed Multicategories, Permutative Enrichments, and Algebraic Foundations for Spectral Mackey Functors: ... Lecture Note Series, Series Number 492)

The Homotopy Theory of (∞,1)-Categories: 90 (London Mathematical Society Student Texts, Series Number 90)

Higher Categories and Homotopical Algebra: 180 (Cambridge Studies in Advanced Mathematics, Series Number 180)

Introduction to Coalgebra: Towards Mathematics of States and Observation: 59 (Cambridge Tracts in Theoretical Computer Science, Series Number 59)

An Invitation to Applied Category Theory: Seven Sketches in Compositionality

Model Categories (Mathematical Surveys and Monographs)

Synthetic Differential Topology: 448 (London Mathematical Society Lecture Note Series, Series Number 448)

(Co)end Calculus: 468 (London Mathematical Society Lecture Note Series, Series Number 468)

Cohen-Macaulay Rings 2ed: Revised Edition: 39 (Cambridge Studies in Advanced Mathematics, Series Number 39)

Category Theory: No. 49 (Oxford Logic Guides)

An Invitation to Applied Category Theory: Seven Sketches in Compositionality

Categories, Allegories

Categorification and Higher Representation Theory (Contemporary Mathematics)

Galois Theories (Cambridge Studies in Advanced Mathematics, Series Number 72)

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments: 54 (Lecture Notes in Logic, Series Number 54)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Introduction to Homotopy Type Theory: 219 (Cambridge Studies in Advanced Mathematics, Series Number 219)

Monoidal Topology: A Categorical Approach to Order, Metric, and Topology: 153 (Encyclopedia of Mathematics and its Applications, Series Number 153)

Geometry of Moduli Spaces and Representation Theory (IAS/Park City Mathematics Series)

Representation Theory and Higher Algebraic K-Theory: 287 (Monographs and Textbooks in Pure and Applied Mathematics)

Structural Properties of Polylogarithms - AMS Mathematics Book