This article contains a comprehensive study of +-groupoids, +-functors, +-natural transformations, and +-bicategories for applications to Br([italic]R) and Pg([italic]R). Key theorems are examined, which explain how coherently the +-groupoids Br([italic]R) and Pg([italic]R) are …