Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 5.2.3-bp155.2.14 info | GA Release | 2023-05-22 | 15 SP5 |
|
|
| 5.2.3-bp154.1.16 info | GA Release | 2022-05-09 | 15 SP4 |
|
|
| 5.2-bp153.1.20 info | GA Release | 2021-04-08 | 15 SP3 |
|
|
| 5.2-bp152.4.10 info | GA Release | 2020-05-23 | 15 SP2 |
|
|
| 5.2-bp151.2.2 info | GA Release | 2019-07-17 | 15 SP1 |
|
|
| 5.2-bp151.1.10 info | GA Release | 2019-05-31 | 15 SP1 |
|
|
| 5.0.2-bp150.2.4 info | GA Release | 2018-07-30 | 15 |
|
|
| 4.2.3-2.6 info | 5585 | 2016-09-14 | 12 GA-SP5 |
|
|
| 4.2.3-2.3 info | 5585 | 2016-09-14 | 12 GA-SP5 |
|
|