Index - D
| DC | Data.Category.Coproduct |
| Diag | |
| 1 (Type/Class) | Data.Category.Limit |
| 2 (Data Constructor) | Data.Category.Limit |
| DiagF | Data.Category.Limit |
| DiagProd | |
| 1 (Type/Class) | Data.Category.Functor |
| 2 (Data Constructor) | Data.Category.Functor |
| 3 (Type/Class) | Data.Category.Enriched |
| 4 (Data Constructor) | Data.Category.Enriched |
| Dialg | Data.Category.Dialg |
| DialgA | Data.Category.Dialg |
| Dialgebra | |
| 1 (Type/Class) | Data.Category.Dialg |
| 2 (Data Constructor) | Data.Category.Dialg |
| dialgebra | Data.Category.Dialg |
| dialgId | Data.Category.Dialg |
| Dom | Data.Category.Functor |