nLab
sound doctrine

Sound doctrines

Idea

A class Φ\Phi of diagram shapes for limits, or more generally a class of weights for limits, is sound if it behaves nicely when paired with the class Φ +\Phi^+ of all colimit shapes (or weights) that commute with Φ\Phi-limits in Set (or more generally in the base of enrichment).

Definition

References

Created on February 19, 2017 at 06:46:13. See the history of this page for a list of all contributions to it.