Abstract
The notion ofsemi-functorwas introduced in Hayashi (1985) in order to make possible a category-theoretical characterization of models of the non-extensional typed lambda calculus. Motivated by the further use of semi-functors in Martini (1987), Jacobs (1991) and Hoofman (1992a), (1992b) and (1992c), we consider the general theory of semi-functors in this paper. It turns out that the notion ofsemi natural transformationplays an important part in this theory, and that various categorical notions involving semi-functors can be viewed as 2-categorical notions in the 2-category of categories, semi-functors and semi natural transformations. In particular, we find that the notion ofnormal semi-adjunctionas defined in Hayashi (1985) is the canonical generalization of the notion of adjunction to the world of semi-functors. Further topics covered in this paper are the relation between semi-functors and splittings, the Karoubi envelope construction, semi-comonads, and a semi-adjoint functor theorem.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference19 articles.
1. Pre-adjunctions and lambda-algebraic theories
2. Categorical, Functional and Algebraic Aspects of the Type-Free Lambda Calculus;Obtułowicz;Universal Algebra and Applications,1982
3. Hoofman R. (1992c) Non-Stable Models of Linear Logic, Ph.D. thesis, Utrecht University, Utrecht.
4. Models of the lambda calculus
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献