The theme of this paper is the connection between topological properties of a closed orientable hyperbolic 3-manifold M and the maximal injectivity radius of M . In [4] we showed that if the first Betti number of M is at least 3 then the maximal injectivity radius of M is at least log 3. By contrast, the best known lower bound for the maximal injectivity radius of M with no topological restrict...

The problem of deciding injectivity of functions is addressed. The functions under consideration are compositions of more basic functions for which information about injectivity properties is available. We present an algorithm which will often be able to prove that such a composite function is injective. This algorithm constructs a set of propositional Horn clause axioms from the function speci...

Some of the so called smallness conditions in algebra as well as in category theory, are important and interesting for their own and also tightly related to injectivity, are essential boundedness, cogenerating set, and residual smallness. In this overview paper, we first try to refresh these smallness condition by giving the detailed proofs of the results mainly by Bernhard Banaschewski and W...