This book provides a general framework for doing geometric group theory for non-locally-compact topological groups that arise in mathematical practice. With sufficient introductory material for beginning graduate students, it is of interest to researchers in geometric group theory, functional analysis, geometric topology and mathematical logic.