A topos foundation for theories of physics:: IV.: Categories of systems - Doering,A; Isham,CJ (JOURNAL OF MATHEMATICAL PHYSICS, 2008)