## A disjoint union of logics, where mappings between signatures also translate between logics.

## Glue signature categories together via Grothendieck construction.

## So each signature is tagged with its logic.

## Sentence functor builds sentences in appropriate logic.

Previous slide | Next slide | Back to first slide | View graphic version |