On adjoint pairs of semifunctors in the context of categorical semantics for a version of the lambda calculus, and introducing the terminology (if not the notion) of *Karoubi envelopes*:

- Susumu Hayashi, Def. 1.2 in:
*Adjunction of semifunctors: categorical structures in nonextensional lambda calculus*, Theoretical Computer Science**41**(1985) 95-104 [doi:10.1016/0304-3975(85)90062-3]

category: people

Created on May 9, 2023 at 11:58:51. See the history of this page for a list of all contributions to it.