Structures · Category theory
CategoryTheory.Enriched.HasConicalLimit
HasConicalLimit F represents the mere existence of a conical limit for F.
- Shape
- 2 explicit arguments · adds preservesLimit_eCoyoneda
Extends1
Extended by1
Forgetful instances
Provided automatically by
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…