Homology functors on shape categories
In the paper we give a survey of (co)homologies of braid groups and groups connected with them. Among these groups are pure braid groups and generalized braid groups. We present explicit formulations of some theorems of V. I. Arnold, E. Brieskorn, D. B. Fuks, F. Cohen, V. V. Goryunov and others. The ideas of some proofs are outlined. As an application of (co)homologies of braid groups we study the Thom spectra of these groups.
We generalize the notion of cubical homology to the class of locally compact representable sets in order to propose a new convenient method of reducing the complexity of a set while computing its homology.
A homology theory is developed for set-theoretic Yang-Baxter equations, and knot invariants are constructed by generalized colorings by biquandles and Yang-Baxter cocycles.
The notion of free group is defined, a relatively wide collection of groups which enable infinite set summation (called commutative -group), is introduced. Commutative -groups are studied from the set-theoretical point of view and from the point of view of free groups. Commutativity of the operator which is a special kind of inverse limit and factorization, is proved. Tensor product is defined, commutativity of direct product (also a free group construction and tensor product) with the special...
Homology functor in the spirit of the AST is defined, its basic properties are studied. Eilenberg-Steenrod axioms for this functor are formulated and established.
The isomorphism between our homology functor and these of Vietoris and Čech is proved. Introductory result on dimension is proved.
For the n-dimensional Hawaiian earring n ≥ 2, and is trivial for each 1 ≤ i ≤ n - 1. Let CX be the cone over a space X and CX ∨ CY be the one-point union with two points of the base spaces X and Y being identified to a point. Then for n ≥ 1.
Let X be a space with free loop space ΛX and mod two cohomology R = H*X. We construct functors and ℓ(R) together with algebra homomorphisms and . When X is 1-connected and R is a symmetric algebra we show that these are isomorphisms.