monolithic domes are a form of monolithic architecture kora uko ushoboye umwibagize amahabara yirukira this shows that pullbacks exist in any category with binary products and equalizers