I give a brief exposition of some categories related to the mathematic
al representation of physical systems; namely smooth spaces, defined a
s spaces with coherent sets of curves and functions, and Hilbert geome
tries, considered as specializations of state spaces to the case of en
tities.