Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have been unable to find any established names for functors preserving exponential objects in general ($F$ such that $F(A^B) \cong FA^{FB}$) and/or those "commuting" with functors $-^A$ (some functor $F$ such that for all objects $A$ one has $F \circ -^A \cong -^{FA} \circ F$).

Are there any such names, or am I just being stupid and missing something obvious (something along the lines of exponentials being preserved by those functors preserving limits).

Thanks in advance :)

share|improve this question

1 Answer 1

up vote 3 down vote accepted

For cartesian closed categories, we have a notion of cartesian closed functor, which are functors which preserve the cartesian closed structure. In particular, they preserve exponential objects.

Functors preserving limits need not preserve exponentials, just as continuous lattice homomorphisms need not preserve the Heyting relative pseudocomplement.

share|improve this answer
    
Thanks, I didn't think to search for such a thing. Also the fact that the n-lab page doesn't seem to mention any names for functors preserving just the exponentials suggests, to me, that no such established name exist (thus motivation the "accept"). –  Tilo Wiklund Sep 14 '11 at 17:02

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.