paperFinite Localities IIIarXiv:1610.06161AbstractThis third in the series establishes a category of finite localities.Cited by in corpus (1)Rigid automorphisms of linking systems