Rozwijalność lokalnie wypukłych grupoidów lokalnych izometrii według Bridsona i Haefligera

Omówię język, w którym Bridson i Haefliger decydują się w swojej monografii dowodzić twierdzeń o rozwijalności. Dotyczy to m.in. niedodatnio zakrzywionych kompleksów grup i niedodatnio zakrzywionych orbifoldów. Przedstawię szkic dowodu.