Index - D
| Diag | |
| 1 (Data Constructor) | Data.Category.Limit |
| 2 (Type/Class) | Data.Category.Limit |
| DiagF | Data.Category.Limit |
| DiagProd | |
| 1 (Data Constructor) | Data.Category.Functor |
| 2 (Type/Class) | Data.Category.Functor |
| Dialg | Data.Category.Dialg |
| DialgA | Data.Category.Dialg |
| Dialgebra | |
| 1 (Data Constructor) | Data.Category.Dialg |
| 2 (Type/Class) | Data.Category.Dialg |
| dialgebra | Data.Category.Dialg |
| dialgId | Data.Category.Dialg |
| Discrete | Data.Category.Discrete |
| DiscreteDiagram | Data.Category.Discrete |
| Dom | Data.Category.Functor |