Get PDF Higher-Dimensional Categories

Free download. Book file PDF easily for everyone and every device. You can download and read online Higher-Dimensional Categories file PDF Book only if you are registered here. And also you can download or read online all Book PDF file that related with Higher-Dimensional Categories book. Happy reading Higher-Dimensional Categories Bookeveryone. Download file Free Book PDF Higher-Dimensional Categories at Complete PDF Library. This Book have some digital formats such us :paperbook, ebook, kindle, epub, fb2 and another formats. Here is The CompletePDF Book Library. It's free to register here to get Book file PDF Higher-Dimensional Categories Pocket Guide.

The existence of the category of globular CW-complexes was already conjectured in [ 11 ].

ANR CATHRE — Categories, Homotopy and Rewriting

After localizing the category of globular CW-complexes by spatial and temporal deformations, we get a category the category of dihomotopy types whose objects up to isomorphism represent exactly the higher dimensional automata up to deformation. Thus globular CW-complexes provide a rigorous mathematical foundation to study from an algebraic topology point of view higher dimensional automata and concurrent computations.

Source Homology Homotopy Appl. Zentralblatt MATH identifier Gaucher, Philippe; Goubault, Eric. Topological deformation of higher dimensional automata.


  • Higher-Dimensional Beings?
  • Homology, Homotopy and Applications;
  • The Ethical School: Consequences, Consistency and Caring (Educational Management Series)!

Online ISSN: Primary MSC: 03 ; Applied Math? MAA Book? Electronic Media? Apparel or Gift: false.

Higher-dimensional category

Online Price 1 Label: List. Online Price 1: Print Price 1 Label: List. Print Price 1: Online Price 2: Print Price 2: Online Price 3: Print Price 3: The opetopic definition of n -category has two stages.

Models, Logics, and Higher-Dimensional Categories: A Tribute to the Work of Mihaly Makkai

First, the language for describing k -cells is set up; this, in the language of Baez and Dolan, is the theory of opetopes. Then, a concept of universality is introduced, to deal with composition and coherence.

We first exhibit an equivalence between the three theories of opetopes as far as they have been proposed. We then give an explicit description of the category Opetope of opetopes.