Modification of the ART-1 architecture based on category theoretic design principles | IEEE Conference Publication | IEEE Xplore