Portability | non-portable |
---|---|

Stability | experimental |

Maintainer | sjoerd@w3future.com |

# Documentation

The diagonal functor from (index-) category J to (~>).

type Cone f n = Const (Dom f) (Cod f) n :~> fSource

A cone from N to F is a natural transformation from the constant functor to N to F.