made write up for commuting diagram