In this paper we prove some results on combinatorics of triangulations of 3-dimensional pseudo-manifolds, improving on results of [NZ], and apply them to obtain a simplicial formula for the Chern-Simons invariant of an ideally triangulated hyperbolic 3-manifold. Combining this with [MN] gives a simplicial formula for the η invariant also. In effect, the main ingredient in the formula is the sum...

We define natural A ∞ -transformations and construct A ∞ -category of A ∞ -functors. The notion of non-strict units in an A ∞ -category is introduced. The 2-category of (unital) A ∞ -categories, (unital) functors and transformations is described. The study of higher homotopy associativity conditions for topological spaces began with Stasheff’s article [Sta63, I]. In a sequel to this paper [Sta6...

The notation and terminology used in this paper have been introduced in the following articles: [3], [19], [9], [10], [16], [20], [4], [5], [22], [23], [21], [1], [6], [17], [18], [2], [25], [26], [24], [15], [12], [13], [8], [14], and [7]. Let A be a non empty set, x be an element, and a be an element of A. Let us observe that (A 7−→ x)(a) reduces to x. Let A, B be non empty topological spaces...

We define natural A ∞ -transformations and construct A ∞ -category of A ∞ -functors. The notion of non-strict units in an A ∞ -category is introduced. The 2-category of (unital) A ∞ -categories, (unital) functors and transformations is described. The study of higher homotopy associativity conditions for topological spaces began with Stasheff’s article [Sta63, I]. In a sequel to this paper [Sta6...

We define natural A∞-transformations and construct A∞-category of A∞-functors. The notion of non-strict units in an A∞-category is introduced. The 2-category of (unital) A∞-categories, (unital) functors and transformations is described. The study of higher homotopy associativity conditions for topological spaces began with Stasheff’s article [Sta63, I]. In a sequel to this paper [Sta63, II] Sta...

We show the existence of a subalgebra A ⊆ P(ω) that satisfies the following three conditions: • A is Borel (when P(ω) is identified with 2). • A is arithmetically closed (i.e., A is closed under the Turing jump, and Turing reducibility). • The forcing notion (A,⊆) modulo the ideal FIN of finite sets collapses the continuum to א0.

The current management of diseases of urinary bladder requiring resection is by augmentation cystoplasty or transplantation of ureters. Transplantation of ureters is associated with morbidity and mortality. Ideal management will be by regenerating urinary bladder in vivo. Neo-regeneration of tissues and organs like abdominal wall, aponeurosis etc., has been attempted and patented. After neo-reg...

Let G = GLn(q) be the general linear group of degree n ≥ 2 defined over a finite field Fq of characteristic p. We fix a prime l 6= p and let stand R for a local principal ideal domain having characteristic 0, maximal ideal lR, and containing a primitive p-th root of unity. Then the residue field K = R/lR has characteristic l and a primitive p-th root of unity. By a Steinberg lattice of G over R...

Parallel to the first two authors’ earlier classification of separable unital oneparameter continuous fields of Kirchberg algebras with torsion free K-groups supported in one dimension, one-parameter separable unital continuous fields of AF-algebras are classified by their ordered K0-sheaves. We prove Effros-Handelman-Shen type theorems for separable unital one-parameter continuous fields of AF...

We define natural A ∞ -transformations and construct A ∞ -category of A ∞ -functors. The notion of non-strict units in an A ∞ -category is introduced. The 2-category of (unital) A ∞ -categories, (unital) functors and transformations is described. The study of higher homotopy associativity conditions for topological spaces began with Stasheff’s article [Sta63, I]. In a sequel to this paper [Sta6...