kan-extensions-5.2.3: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads
Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.
Modules
- Control
- Data
Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.
Modules
You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.
| Key | Shortcut |
|---|---|
| s | Open this search box |
| esc | Close this search box |
| ↓,ctrl + j | Move down in search results |
| ↑,ctrl + k | Move up in search results |
| ↵ | Go to active search result |