nLab
sound doctrine

Sound doctrines

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

Last revised on April 29, 2021 at 14:26:53. See the history of this page for a list of all contributions to it.