Category theory seems very natural from the the programming point of view, there are things which are connected to other things by 'arrows', much like data-structures, or function call-graphs.