The paper 'Local Presentability of Certain Comma Categories' by Andrew Polonsky and Patricia Johann has been accepted for publication in the Springer journal Applied Categorical Structures. The paper proves a new and surprising result about accessible functors on locally presentable categories. This result was used in Johann and Polonsky's LICS'19 paper (see post below from 2 April) to identify conditions under which advanced data types --- ADTs, nested types, GADTs, and their higher-kinded analogues --- have well-defined functorial semantics.
 |
|
