Index - Z
| Z | |
| 1 (Type/Class) | Data.Category.Discrete |
| 2 (Data Constructor) | Data.Category.Discrete |
| 3 (Type/Class) | Data.Category.Omega |
| 4 (Data Constructor) | Data.Category.Omega |
| 5 (Data Constructor) | Data.Category.Dialg |
| 6 (Data Constructor) | Data.Category.Peano |
| Z2S | Data.Category.Omega |
| Zero | Data.Category.Limit |
| zeroComonoid | Data.Category.Omega |
| zeroMonoid | Data.Category.Omega |