# Overview

## Theoretical Background

CorrLang is based on a mathematical formalism called *Comprehensive Systems* and additionally uses the concept of *colimits* to perform schema merging. Our paper published in FoAC gives a very thorough introduction into these ideas.

## Architecture

The following figure gives a high-level overview on “how” CorrLang works.