Categories in Research and Computing