The Homotype Type of a Combinatorially Aspherical Presentation.
We study the sensibility of an invariant of 2-dimensional CW complexes in the case when it comes as a reduction (through a change of ring) of a modular invariant of 4-dimensional thickenings of such complexes: it is shown that if the Euler characteristic of the 2-complex is greater than or equal to 1, its invariant depends only on homology. To see what is happening when the Euler characteristic is smaller than 1, we use ideas of Kerler and construct, from any tortile category, an invariant of 4-thickenings...
All maps of type (m,n) are covered by a universal map M(m,n) which lies on one of the three simply connected Riemann surfaces; in fact M(m,n) covers all maps of type (r,s) where r|m and s|n. In this paper we construct a tessellation M which is universal for all maps on all surfaces. We also consider the tessellation M(8,3) which covers all triangular maps. This coincides with the well-known Farey tessellation and we find many connections between M(8,3) and M.