Documentation

Mathlib.CategoryTheory.Limits.Filtered

Possession of filtered colimits #

Class for having all cofiltered limits of a given size.

Instances

    Class for having all filtered colimits of a given size.

    Instances