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:
Created on May 9, 2023 at 11:58:51. See the history of this page for a list of all contributions to it.