This paper gives an overview of the origins of fuzzy set theory and the problems for the foundations of fuzzy sets arising from those origins and current practice. It then gives detailed accounts of categorical approaches using a closed structure to capture the fuzzy AND connective. Within these categories weak forms of subobject representations provide an internal second order logic. An approach to fuzzy real numbers and fuzzy topology is included to illustrate the use of this internal; second order theory.