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).

## 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.