Index - S
| S | |
| 1 (Type/Class) | Data.Category.Simplex |
| 2 (Data Constructor) | Data.Category.Dialg |
| 3 (Data Constructor) | Data.Category.Cube |
| 4 (Type/Class) | Data.Category.Cube |
| 5 (Type/Class) | Data.Category.Fix |
| 6 (Data Constructor) | Data.Category.Fix |
| 7 (Data Constructor) | Data.Category.NNO |
| S0 | Data.Category.Cube |
| Self | |
| 1 (Type/Class) | Data.Category.Enriched |
| 2 (Data Constructor) | Data.Category.Enriched |
| Sign | Data.Category.Cube |
| Sign0 | Data.Category.Cube |
| Simplex | Data.Category.Simplex |
| SM | Data.Category.Cube |
| SP | Data.Category.Cube |
| src | Data.Category |
| srcF | Data.Category.NaturalTransformation |
| Star | |
| 1 (Type/Class) | Data.Category.Functor |
| 2 (Data Constructor) | Data.Category.Functor |
| State | Data.Category.CartesianClosed |
| stateMonadJoin | Data.Category.CartesianClosed |
| stateMonadReturn | Data.Category.CartesianClosed |
| suc | Data.Category.Simplex |
| succ | Data.Category.NNO |
| Swap | |
| 1 (Type/Class) | Data.Category.Functor |
| 2 (Data Constructor) | Data.Category.Functor |
| swap | Data.Category.Monoidal |
| SymmetricTensorProduct | Data.Category.Monoidal |