nLab sound doctrine of limits

Sound doctrines

Sound doctrines


A class Φ\Phi of diagram shapes for limits — or more generally a class of weights for limits — is called sound as a doctrine of limits [Adámek, Borceux, Lack & Rosicky (2002)] 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).



Last revised on May 12, 2023 at 09:03:52. See the history of this page for a list of all contributions to it.