This volume (a sequel to LNM 1108, 1214, 1334 and 1453)continues the presentation to English speaking readers ofthe Voronezh University press series on Global Analysis andIts Applications.
With one exception, these papers are original and fullyrefereed research articles on various applications ofCategory Theory to Algebraic Topology, Logic and ComputerScience.
The Pontryagin-van Kampen duality theorem and the Bochner theorem on positive-definite functions are known to be true for certain abelian topological groups that are not locally compact.
This book presents the classical theorems about simply connected smooth 4-manifolds: intersection forms and homotopy type, oriented and spin bordism, the index theorem, Wall's diffeomorphisms and h-cobordism, and Rohlin's theorem.
Categorical algebra and its applications contain several fundamental papers on general category theory, by the top specialists in the field, and many interesting papers on the applications of category theory in functional analysis, algebraic topology, algebraic geometry, general topology, ring theory, cohomology, differential geometry, group theory, mathematical logic and computer sciences.
The first part of this research monograph discusses general properties of G-ENRBs - Euclidean Neighbourhood Retracts over B with action of a compact Lie group G - and their relations with fibrations, continuous submersions, and fibre bundles.
From the reviews of the 1st edition:"e;This book provides a comprehensive and detailed account of different topics in algorithmic 3-dimensional topology, culminating with the recognition procedure for Haken manifolds and including the up-to-date results in computer enumeration of 3-manifolds.
The morphology of spatially stuctured materials is a rapidly growing field of research at the interface of statistical physics, applied mathematics and materials science.
Several recent investigations have focused attention on spaces and manifolds which are non-compact but where the problems studied have some kind of "e;control near infinity"e;.
A small conference was held in September 1986 to discuss new applications of elliptic functions and modular forms in algebraic topology, which had led to the introduction of elliptic genera and elliptic cohomology.
This comprehensive monograph provides a self-contained treatment of the theory of I*-measure, or Sullivan's rational homotopy theory, from a constructive point of view.