Categories for Embedded Systems Development