科研之友
微信
新浪微博
Facebook
分享链接
摘要
We establish a general method for generating reflections between categories. We then apply our technique to generate adjunctions starting from geometric morphisms between Grothendieck toposes; as particular cases, we recover various well-known Stone-type adjunctions and establish several new ones.
- 出版日期2014-2
