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.