@AaronMazel-Gee following
numdam.org/article/CTGDC_2002__43_3_221_0.pdf I think that if you want to talk about PROPs and so forth, you probably want to put a sort of double category structure on Fin_* and then have a "Mackey functor straightening/unstraightening" type of thing