Index - W
| WColimit | Data.Category.WeightedLimit |
| WeightedCocone | Data.Category.WeightedLimit |
| WeightedColimit | Data.Category.WeightedLimit |
| WeightedCone | Data.Category.WeightedLimit |
| WeightedLimit | Data.Category.WeightedLimit |
| WeigtedColimit | Data.Category.Enriched.Limit |
| WeigtedLimit | Data.Category.Enriched.Limit |
| WLimit | Data.Category.WeightedLimit |
| Wrap | |
| 1 (Type/Class) | Data.Category.NaturalTransformation |
| 2 (Data Constructor) | Data.Category.NaturalTransformation |
| 3 (Type/Class) | Data.Category.Fix |
| 4 (Data Constructor) | Data.Category.Fix |
| WrapTensor | Data.Category.Fix |