Category theory-based collaborative design methodology for mechatronic systems. (January 2023)