We study the functional analysis intrinsic to sequential convergence spaces with particular attention to reflexiveness of canonical function spaces and the categorical Banach-Steinhaus principle.