Modeling Multi-Agent Systems with Category Theory - Spectrum: Concordia University Research Repository