敌人死了，但那个会幸福的人没有复活 ——Rick and Morty、神经科学与《天龙八部》：评9-2

 

敌人死了，但那个会幸福的人没有复活

《Rick and Morty》、神经科学与《天龙八部》

《Rick and Morty》和《天龙八部》表面上是两种完全不同的作品。一个是科幻动画，写多元宇宙、科学虚无主义、家庭创伤和宇宙级阴谋；一个是武侠小说，写宋辽江湖、佛教因果、民族身份、情义与命运。但它们深处共享同一种悲剧结构：众生越追求什么，越被什么所困；越想用力量摆脱痛苦，越会把痛苦扩展成更大的因果网。

如果说《天龙八部》写的是江湖中的业力宇宙，那么《Rick and Morty》写的就是多元宇宙中的业力江湖。一个用佛教意象写武林，一个用科幻荒诞写家庭创伤。二者共同指向同一句话：

有情皆孽，而无人不怨。

早期《Rick and Morty》的哲学底色更接近还原论、新无神论和存在主义危机。它不断追问：“What is the point?” 如果宇宙没有目的，如果人只是进化、神经递质、奖赏回路和化学反应的产物，如果多元宇宙中有无数个“我”，那么个体生命、爱情、家庭、道德和尊严还有什么不可替代的意义？

黄油机器人问 Rick：“我的目的是什么？”Rick 回答：“递黄油。”它随即陷入存在主义崩溃。这个笑话很锋利，因为它不是没有本质，而是本质太贫瘠、太工具化、太荒谬。它有足够的意识理解自己的功能，却发现这个功能低级到无法承载意识本身。

使命必达先生则更极端。它们不是先存在，然后寻找意义；它们是先有任务，后有存在。任务完成即可消失，任务无法完成，存在本身就变成痛苦。人类痛苦于“不知道自己为什么存在”，使命必达先生痛苦于“太清楚自己为什么存在”。一个是无目的的痛苦，一个是目的过度明确的痛苦。

这似乎是在讨论萨特式“存在先于本质”。但从神经科学角度看，这句话如果按字面理解，太粗糙了。人并不是赤裸裸地先存在，然后完全自由地创造自己的本质。人一开始就带着身体、依恋系统、奖赏机制、恐惧结构、记忆回路、预测模型和早期经验进入世界。存在并不先于所有本质；更准确地说，存在是在一套原初神经约束和可塑性之中展开的。

一个人反复被什么奖励，被什么伤害，被什么激活，就会逐渐形成自己的价值、欲望和人格轨迹。所谓“我是什么样的人”，并不只是一个理性叙事，也是一套奖赏—威胁—记忆—习惯—控制系统长期塑形的结果。

因此，《Rick and Morty》越往后，问题越不再只是“宇宙有没有意义”，而变成：“即使我知道宇宙没有意义，为什么我仍然不能不爱，不能不痛，不能不被过去定义？”

这时它就从存在主义危机进入了更深的神经科学和佛教悲剧：不是神死之后人获得自由，而是神死了，边缘系统还活着，海马体还活着，依恋系统还活着，创伤记忆还活着，求不得和爱别离仍然在运转。

C-137 Rick 和 Rick Prime 的分叉，正好说明了这一点。

C-137 Rick 一开始并不是一个追求“成为最强 Rick”的人。他不是没有能力攀升科技，而是他的奖赏系统并不把“无限技术突破”当作最高善。他真正被奖励的是 Diane、Beth、家庭、温暖、日常生活，以及一种可以停下来的幸福。他的天才原本可以服务于生活，而不是逃离生活。

所以当他面对继续攀升科技水平和回归家庭之间的选择时，他选择了后者。他拒绝 Prime 的路，准备带着妻女去吃冰淇淋。

Rick Prime 则不同。他的奖赏系统奖励的是技术突破、支配、超越、无牵挂、摆脱家庭尺度，以及证明自己是最 Rick 的 Rick。他创造跨平行宇宙传送枪，不只是因为他聪明，而是因为“打开无限宇宙”这件事本身对他有奖赏价值：更大的空间、更高的自由、更强的控制、更彻底地摆脱依恋。

所以两人的差异不是智商差异，而是乐趣来源不同。同样的智力，被两套不同的奖赏系统导向了两种完全不同的人生。Prime 的奖赏通向无限宇宙，C-137 的奖赏通向家。Prime 用天才撕开多元宇宙，C-137 原本想用天才回家吃冰淇淋。

一切的转折都发生在那枚炸弹，以及后来的 Omega 装置。

Rick Prime 杀死了 C-137 的 Diane 和 Beth。这不是单纯的“失去妻女”。它摧毁的是 C-137 整套 reward ecology，也就是他原本赖以感到幸福、稳定和意义的奖赏生态。Diane-world 原本能稳定奖励他：妻子、女儿、家庭晚饭、日常生活、可以停下来的科学、不是为了逃跑而发明、不是为了复仇而变强。

炸弹之后，这个世界被摧毁了。

于是 C-137 的神经系统不得不转轨。家庭奖赏系统崩塌后，复仇、追猎、控制、冒险、酒精、危险、战争和技术压制开始接管他的动机系统。他完善传送枪，进入多元宇宙，开始追杀 Rick Prime。天才不再是生活的工具，而变成创伤的发动机。

这就是 C-137 最深的悲剧：他原本不是主动成为阿修罗的人。他是被雁门关事件逼成阿修罗的人。

这里《Rick and Morty》和《天龙八部》的结构开始重合。Diane 之死和 Omega 机器，就是 Rick 宇宙里的雁门关事件。

在《天龙八部》中，慕容博假传消息，导致带头大哥与中原群雄围攻萧远山一家。雁门关惨案不是普通悲剧，而是整个故事的因果奇点。萧远山从此变成复仇幽灵，萧峰的一生也被这场惨案深刻改写。此后江湖中的大量血案、误会、复仇和清算，都可以追溯到这个源头。

Rick 的故事也是如此。Diane 之死之后，C-137 不再只是原来的 C-137。他变成了跨宇宙复仇者。多元宇宙不再是探索之地，而成为追债之地。受害者在复仇中继续制造受害者，创伤不再只是记忆，而变成行动方式、世界结构和新的杀孽。

萧远山在雁门关之后把江湖变成复仇场；C-137 在 Diane 之后把多元宇宙变成复仇场。

Omega 装置则把这场悲剧推到更残酷的层面。炸弹杀死的是 C-137 的 Diane；Omega 装置抹除的是“Diane 仍然可能存在”的世界结构。无限平行宇宙本来意味着替代性：这个世界坏了，可以去另一个世界；这个人死了，也许有另一个版本。但 Omega 装置取消了这一点。它让 Diane 不只是死去，而是在多元宇宙层面不可返回。

所以 Rick 的痛不是“我找不到 Diane”，而是“世界本身已经被改造成没有 Diane 的世界”。无限宇宙没有安慰他，反而羞辱了他。它告诉他：你可以去任何地方，但你真正想回去的地方，不在坐标系里。

这也解释了为什么 Rick 的虚无主义更像镇痛剂，而不是终极真理。他说无限宇宙让一切无意义，说爱情只是化学反应，说人可以替代，世界可以替代，死亡可以绕过。但他的行为一直在反驳自己。如果一切真的可替代，Diane 就不该是创伤核心；如果一切真的无意义，他就不会执着于 Rick Prime；如果家庭只是化学反应，他就不会在 Smith 家族中反复破防。

“一切皆无意义”不是 Rick 的洞见，而是他的麻醉叙事。他把宇宙无限性转化成一种避免哀悼的语言。你把 Diane 还给他，他还会 wubba lubba dub dub 吗？至少原初的 C-137 不会。

但如果现在的 Rick 得到 Diane，情况会更复杂。因为他已经被多年复仇、酒精、冒险、暴力、成瘾性刺激和防御性虚无主义改写了。Diane 回来，不等于他的边缘系统自动恢复。他要面对一个更痛的问题：他已经不完全是 Diane 曾经爱的那个人了。

后来，Rick 结束宇宙漂泊，回到了家庭场域。这里必须强调：他不是回到了原本的 Diane-world，而是来到了一个错位的、替代性的 Smith 家庭。这个家不是他的原初家庭，甚至带有仇人家庭的阴影。但它仍然足够像家。

Beth 占据“女儿”的位置，Morty 占据“孙子/陪伴/延续”的位置，Summer、Jerry、饭桌、车库和家庭争吵构成了完整的家庭场域。神经系统并不只对同一个对象反应，也会对结构相似的线索反应。这个家庭重新激活了 Rick 身上还没有完全泯灭的旧奖励回路。

于是 Rick 不是单纯复仇机器。他依旧是醉鬼，依旧成瘾，依旧控制欲强，依旧残酷，但 Smith 家庭让他没有完全 Prime 化。这个家庭不是 Diane-world，但它证明了 Rick 仍然能被家庭奖励。

这也解释了为什么他要拉 Morty 去冒险。Morty 对 Rick 来说不是普通助手。他同时是家庭奖励对象，也是冒险成瘾系统的接口。Rick 不能单纯待在家庭里，因为那太慢、太温柔、太容易触发丧失感；他也不能完全离开家庭，因为那会重新掉进宇宙漂泊的空洞。于是他把 Morty 带进冒险，把“家”和“逃离家”缝成同一个回路。

Morty 既是药，也是毒；既是家，也是逃离家；既是情感锚点，也是冒险成瘾的共同载体。

这就是主线 Rick 的病态稳定结构：他把家庭、酒精、冒险、控制、依恋和虚无主义缠在一起，勉强活下去。

但接下来，复仇成功了。

Rick Prime 死了。C-137 终于杀死了那个杀害 Diane、摧毁他一生的人。按普通复仇叙事，这应该是终点，是清算，是解脱。但《Rick and Morty》更冷酷。Rick Prime 死后，Rick 没有得到真正的满足。他得到的是巨大的空虚。

因为复仇长期以来不只是一个目标，而是 Rick 的人格支架。它解释了他为什么还要继续活，为什么还要变强，为什么还要穿越宇宙，为什么还要喝酒、冒险、杀戮、嘲讽、控制一切。复仇给痛苦一个方向。

Rick Prime 死后，方向消失了。但 Diane 没有回来，原来的 Beth 没有回来，那个可以被温暖家庭生活充分奖励的自己也没有回来。

这就是第二次断裂。第一次断裂是：Diane 死了，家庭奖励系统被炸毁，仇恨和复仇接管了他的动机系统。第二次断裂是：复仇完成了，仇恨驱动力坍塌，但原来的家庭奖励系统并没有恢复。

所以 Rick Prime 的死不是 cure，而像 withdrawal。复仇杀死了仇人，但没有复活被仇恨替代掉的奖赏系统。敌人死了，但那个会幸福的人没有复活。

第九季第二集的 Ted 线，正是在这个意义上变得极其重要。

Rick 为什么要成为 Ted？这不是一个随便设计出来的度假人格。Ted 之所以重要，是因为他比后来的 Rick 更接近 C-137 原本的自己。

C-137 一开始并不是追求无限技术、无限冒险和无限控制的人。他原本能够被 Diane、Beth、家庭晚饭、日常生活和温暖关系深深奖励。他真正想要的不是成为多元宇宙中最聪明、最危险、最不可战胜的人，而是一个可以停下来的世界。Rick Prime 的炸弹摧毁了这个世界，Omega 装置又抹除了 Diane 返回的可能。于是 Rick 后来只能靠复仇、酒精、冒险、战争和控制维持运转。

但这些都不是他最初的奖赏系统。它们是创伤之后的代偿。

Ted 正是 Rick 对原初奖励系统的一次人工回访。小镇、朋友、钓鱼、保龄球、喝酒聊天、修车、普通爱情、低宇宙尺度的生活，这些东西不是 Rick 随便拿来消遣的低级娱乐，而是更接近他当年渴求、后来失去、再也无法真正回去的那套生活结构。Ted 不是 Rick 的降级版；Ted 是 Rick 内部那个仍然能够被平凡生活奖励的自己。

所以 Rick 成为 Ted，本身就是一种求不得。

他想重新拥有那种生活，但不能以 Rick 的身份拥有。因为 Rick 这个身份已经被 Diane 之死、Rick Prime、复仇、酒精、冒险、Smith 家族和无数血债写满。于是他只能把自己切开，降低智力，隔离记忆，创造 Ted，让 Ted 去替他短暂生活在那个更接近原初幸福的小世界里。

可是 Ted 最终又变回 Rick，这正是第二重求不得。

Rick 求 Ted-world，得不到。Ted 求继续做 Ted，也得不到。Rick 想通过 Ted 回到自己原本的奖赏系统，但 Ted 一旦真正生活，就不再只是 Rick 的止痛药，而是一个有朋友、有爱、有习惯、有世界的人格。于是当 Rick 的记忆和因果重新压回来时，不只是 Rick 的度假结束了，也是 Ted 的小世界被吞没了。

这就是第九季第二集最残酷的地方：Rick 终于技术性地制造出了一个仍能被平凡生活奖励的自己，但这个自己不能长久存在。Rick 回不去 Diane-world，Ted 也留不住 Ted-world。Rick 成为 Ted，是为了靠近原本的幸福；Ted 变回 Rick，则证明这种幸福依然是求不得。

Ted 线最痛的地方不是 Rick 降低了智商，而是他进入了“我是萧峰还是乔峰”的巨大身份迷茫。

乔峰不是假身份，萧峰也不是假身份。乔峰在丐帮长大，他的义气、武德、朋友、江湖经验、人格形成，都是真的。可他的契丹血缘、萧远山之子的身份，也是真的。问题不是哪个身份是假，而是两个真实身份被历史暴力强行制造成互相排斥的东西。

Ted 和 Rick 也是如此。Ted 不是假的。他真的生活过，真的有朋友，真的爱过，真的在那个低刺激的小镇世界里形成了人格。Rick 也不是假的。Diane、Beth、Rick Prime、Morty、Smith 家族、酒精、冒险、复仇、创伤，也全是真的。

于是 Ted 的迷茫不是认知错误，而是身份结构塌陷。如果我是 Rick，那么 Ted 的爱和朋友是不是只是程序性幻觉？如果我是 Ted，那么 Rick 的创伤、家人和罪孽是不是都可以不算？

答案很残酷：都不能不算。

Ted 不能只做 Ted，因为 Rick 的历史会找上门。Rick 也不能简单恢复 Rick，因为 Ted 已经经历过真实的爱别离。Rick 想制造一个不用承受 Rick 因果的人格；但这个人格一旦真正生活，就也开始拥有自己的因果。

这就是第九季第二集最《天龙八部》的地方：身份真相不是解答，而是劫数。

但这里还需要再推进一层。Rick/Ted 的身份撕裂像乔峰/萧峰：两个身份都是真的，却互相撕裂。可是如果单独看 Ted，他更像虚竹。

虚竹本来只想做一个小和尚，守戒、清净、安稳。他不求武功，不求女人，不求权力，不求灵鹫宫，也不求逍遥派掌门身份。可是命运偏偏把这些东西一股脑塞给他。别人梦寐以求的绝世武功、绝色佳人和江湖权力，对虚竹来说首先不是幸福，而是破戒、失序和身份崩塌。

Ted 也是这样。

他并不想成为宇宙中最聪明的人，不想拥有 Rick 的武器，不想背负 Rick 的仇恨，不想进入 Rick 与 Rick Prime、Evil Morty、Smith 家族、多元宇宙之间的整套因果网。他只想和朋友钓鱼、打保龄球、喝酒聊天、修车、爱一个普通人，过低刺激、低野心、低业力的生活。

所以 Ted 的求不得不是“求强大而不得”。恰恰相反，他的悲剧是：求平凡而不得。

这非常残酷。因为在 Rick 的世界里，平凡反而成了最奢侈的东西。

别人羡慕 Rick 的天才，Ted 却想摆脱 Rick 的天才。别人羡慕 Rick 的自由，Ted 却发现那种自由其实是漂泊。别人羡慕 Rick 的力量，Ted 却发现力量会把小镇生活压碎。别人羡慕 Rick 的身份，Ted 却发现身份真相本身就是劫数。

所以 Ted 是一种“反向虚竹”。

虚竹无求而得，得的是武功、女人、权力。Ted 无求而得，得的是 Rick 的智力、科技、罪孽和宇宙级因果。

二者的共同点是：他们都没有主动追求这些东西，却被迫成为巨大因果网络的中心。虚竹的清净被江湖撕开，Ted 的小镇生活被 Rick 撕开。

这也让第九季第二集变得更残酷。Rick 成为 Ted，本来是为了重新访问一种普通幸福；但 Ted 一旦真的生活，就不再只是 Rick 的止痛药。他有了自己的朋友、爱、习惯和世界。于是当 Rick 的身份回归时，Ted 不是被“唤醒”，而是被卷入一场他从未求过的江湖。

这正是“有情皆孽”。如果 Ted 只是一个程序，那不痛。但他有情，所以有孽。他爱那个小镇，爱朋友，爱普通生活，于是 Rick 的真相就不是信息，而是劫数。

Rick 的求不得是：想回到 Diane-world。Ted 的求不得是：想留在 Ted-world。

但 Rick 回不去，Ted 也留不住。

Ted 不是 Rick 的失败人格，而是 Rick 内部那个仍然能够被平凡生活奖励的自己，被短暂养活之后，又被 Rick 的因果活活吞回去。

同样，《Rick and Morty》不是只有 Rick 一个人在求不得。整个 Smith 家族都是求不得机器。Rick 是最大的黑洞，但每个人都有自己的怨、自己的情、自己的孽。

Morty 表面上求的是爱情：Jessica、各种女孩、正常青春期、被喜欢、被选择。但更深一层，他求的是“我能不能被某个人不可替代地选择”。这和 Rick 的多元宇宙虚无主义正好冲突。Rick 一直暗示：人可以替换，世界可以替换，死亡可以绕过，Morty 也有很多个。但 Morty 的青春期欲望恰恰要求“这个具体的人选择我”。爱情的本质不是有一个兼容对象，而是这个具体的人看见我。

所以 Morty 的求不得不只是爱情求不得，而是不可替代性求不得。他想成为 Rick 真正的搭档、真正的孙子、真正被需要的人。但 Rick 又不断用“你可以被替换”来伤害他。Evil Morty 的存在尤其刺痛普通 Morty，因为 Evil Morty 不只是另一个 Morty，而是一个更强、更冷、更能和 Rick 对等谈判的 Morty。普通 Morty 在这里被迫面对自己的核心恐惧：如果有一个更强的 Morty，那我还是 Rick 的 Morty 吗？

Summer 的求不得更社会化。她想受欢迎，想被看见，想摆脱普通、尴尬、不够酷的位置。但随着剧情发展，她不只是想在学校里受欢迎，她也想在 Rick 的世界里被看见。于是她的求不得变成：我想成为重要的人，但我不想只是通过变得像 Rick 才重要。她越进入 Rick 的世界，就越被冷酷、危险、执行力和反情感塑形。她追求可见性，结果可见性越来越和危险绑定。

Jerry 的核心求不得是尊严。他想被 Beth 尊重，被孩子尊重，被 Rick 尊重，也被自己尊重。但他的求尊重方式往往是防御性的：抱怨、道德化、被动攻击、试图站在“正常人”的位置上审判 Rick。问题是，这些方式常常让他显得更可怜、更不可靠，于是进一步破坏他想要的尊严。Jerry 是典型的求尊严者，却常以不尊严的方式求尊严。

但 Jerry 不能只被看成笑话。他代表普通生活、软弱、依赖、婚姻中的笨拙需求，以及“不强也想被爱”的权利。Rick 世界的逻辑是强者逻辑：聪明、控制、冒险、冷酷。Jerry 的存在提醒我们：一个人不强，并不意味着他没有痛苦；一个人可笑，并不意味着他不值得被爱。

Beth 的求不得最接近 Rick。她的核心裂缝是：我想让父亲回来，但我又想证明我不需要他。Rick 的回归给了她一个巨大诱惑：那个缺席的父亲终于回来了。但 Rick 回来的方式不是稳定、温柔、负责任的父亲，而是一个危险、聪明、魅力巨大、能重新组织整个家庭奖赏系统的人。

Beth 求父爱，求自我价值，也求婚姻中的真爱。她不想只是被 Jerry 耽误的人、不想只是马外科医生、不想只是早孕后的母亲。她想证明自己本可以更大、更自由、更像 Rick。可是她轻视 Jerry，却也需要 Jerry。Jerry 代表的普通婚姻生活让她不满，但也给她提供某种锚点。Space Beth 和 Domestic Beth 的分裂，几乎就是她求不得的外化：一个版本去冒险，一个版本留在家里。但分裂没有解决问题，只是把矛盾变成两个 Beth。

所以 Smith 家族正是“无人不怨，有情皆孽”的现代 sitcom 版本。

这里的怨不是简单仇恨，而是每个人都觉得自己没有被正确地爱、正确地看见、正确地承认。于是爱没有消失，反而变成了怨。

Rick 怨宇宙，怨 Prime，怨 Diane 不可返回，怨自己仍然需要家庭。Beth 怨 Rick 离开她，怨 Jerry 不够强，怨自己被家庭困住，却又怨自己离不开家庭。Jerry 怨自己不被尊重，怨 Rick 夺走家庭权威，怨 Beth 看不起自己。Morty 怨 Rick 利用他、替换他、伤害他，却又离不开 Rick 的选择。Summer 怨自己不够被重视，怨 Morty 更接近 Rick，怨自己只能通过变酷、变危险来获得位置。

有情，所以期待。
有期待，所以失望。
有失望，所以怨。
有怨，却又割舍不了，于是成孽。

这正是《天龙八部》式的众生相。不是恶人害好人这么简单，而是每个人都有自己的求不得，每个人的求不得又会成为别人痛苦的一部分。萧峰求忠义两全，得不到；段誉求纯情，得不到；虚竹求清净，反而被推入尘网；慕容复求复国，只得到疯癫的皇帝幻影；段正淳处处有情，结果处处成孽。

Smith 家族也是如此。Morty 求爱情，求不可替代，得不到；Summer 求被看见，得不到纯净的承认；Jerry 求尊严，越求越狼狈；Beth 求父爱和自由，两者互相撕裂；Rick 求家，求 Diane，求旧的自己，永远回不去；Ted 求平凡，求留在自己的小镇生活，也终究留不住。

所以 Smith 家族不是 Rick 创伤故事的背景板，而是 Rick 复仇之后重新入世的江湖。Rick 是最大的阿修罗，但不是唯一的受苦者。整个家庭都在他的引力场里显露各自的求不得。

最终，《Rick and Morty》最深的地方不在于它说“宇宙无意义”。那只是第一层，甚至可能只是 Rick 用来麻痹自己的话术。它更深的地方在于：即使宇宙没有意义，人还是会痛；即使存在无限平行宇宙，某些人还是不可替代；即使你看穿爱情的化学机制，也不能因此关闭依恋系统；即使你杀死仇人，也不能复活那个曾经会幸福的自己。

《天龙八部》写的是江湖中的求不得，《Rick and Morty》写的是多元宇宙中的求不得。一个人可以有神一样的技术，有跨宇宙的传送枪，有杀死神明和改写现实的能力，但他仍然可能无法重新成为一个能带着妻女去吃冰淇淋的人。

C-137 Rick 的悲剧不是他追求强大失败后退回家庭，而是他原本选择家庭，后来被创伤强行训练成强者。Rick Prime 是主动成为阿修罗；C-137 是被雁门关事件逼成阿修罗，但心里仍然记得自己曾经想做人。

Ted 则是那个被短暂养活的平凡自我：他不想当天才，不想入江湖，不想背负宇宙因果，只想和朋友钓鱼、打保龄球、喝酒聊天。但在 Rick 的世界里，连平凡也是求不得。

所以这整个故事可以压缩成一句话：

Rick Prime 创造的是跨宇宙传送枪；C-137 原本选择的是冰淇淋。炸弹摧毁了冰淇淋世界，Omega 装置抹除了回家的可能。后来的 Rick 把 Morty、酒精、冒险、家庭和复仇缝在一起，勉强活下去。直到复仇完成，他才发现：敌人死了，但那个会幸福的人没有复活。而当他终于技术性地制造出 Ted 这样一个仍能被平凡生活奖励的自己时，Rick 的因果又把 Ted 的小镇世界吞了回去。

A Category of Categorifications over a Set

Categorifications over a Base and the Monoid Ring ConstructionAbstract1. Naive Decategorification2. Categorifications over a Base3. The Basic Example: $\mathbb N$4. Functorial Base Transformation under Decategorification5. The Finite-Support $M$-Grading Functor6. Day Convolution and the Monoid Semiring $\mathbb N[M]$7. $M$-Graded Vector Spaces and the Monoid Ring8. Linearization and the Lifted Free Vector Space Functor9. The Relative Viewpoint Revisited10. Summary

 

Categorifications over a Base and the Monoid Ring Construction

Abstract

We introduce a relative viewpoint on naive decategorification. Instead of only asking whether a category decategorifies to a fixed set $B$$B$, we consider categories equipped with a chosen map from their set of object-isomorphism classes to $B$$B$. This leads to the comma category

$${\mathsf{Cat}}_{/B}^{\mathrm{decat}}=(\mathrm{Decat}\downarrow B).$$

Within this framework, the categories $\mathsf{FinSet}$$\mathsf{FinSet}$ and ${\mathsf{FinVect}}_k$$\mathsf{FinVect}_k$ appear as two categorifications of $\mathbb{N}$$\mathbb N$, and the free vector space functor $k[-]$$k[-]$ becomes a morphism between these categorifications.

We then isolate a general mechanism: an endofunctor $T$$T$ on categories induces a transformation between categories of categorifications over bases only when its effect on decategorification is controlled by a compatible set-level functor $S$$S$. The finite-support $M$$M$-grading construction

$$\mathcal{C}\mapsto {\mathrm{Fun}}_{\mathrm{fs}}(D(M),\mathcal{C})$$

is an important example. It sends categorifications over $\mathbb{N}$$\mathbb N$ to categorifications over $\mathbb{N}[M]$$\mathbb N[M]$. With Day convolution, finite-support $M$$M$-graded finite sets categorify the monoid semiring $\mathbb{N}[M]$$\mathbb N[M]$, while finite-support $M$$M$-graded finite-dimensional vector spaces have naive decategorification $\mathbb{N}[M]$$\mathbb N[M]$ and Grothendieck group $\mathbb{Z}[M]$$\mathbb Z[M]$. Thus the monoid ring $\mathbb{Z}[M]$$\mathbb Z[M]$ is obtained by first passing to $M$$M$-graded categorifications and then applying $K_0$$K_0$.

---

1. Naive Decategorification

Let $\mathsf{Cat}$$\mathsf{Cat}$ denote a suitable category of essentially small categories. Define the naive decategorification functor

$$\mathrm{Decat}:\mathsf{Cat}\to \mathsf{Set}$$

by

$$\mathrm{Decat}(\mathcal{C})=\mathrm{Obj}(\mathcal{C})/\cong .$$

Equivalently,

$$\mathrm{Decat}(\mathcal{C})={\pi }_0({\mathcal{C}}^{\simeq }),$$

where ${\mathcal{C}}^{\simeq }$$\mathcal C^{\simeq}$ is the core groupoid of $\mathcal{C}$$\mathcal C$, obtained by keeping all objects of $\mathcal{C}$$\mathcal C$ but only the isomorphisms.

If $F:\mathcal{C}\to \mathcal{D}$$F:\mathcal C\to\mathcal D$ is a functor, then $F$$F$ induces a function

$$\mathrm{Decat}(F):\mathrm{Decat}(\mathcal{C})\to \mathrm{Decat}(\mathcal{D}),[X]\mapsto [F(X)].$$

This is well-defined because functors preserve isomorphisms. Hence $\mathrm{Decat}$$\operatorname{Decat}$ is a functor from categories to sets.

This is the most elementary form of decategorification: one forgets all non-invertible morphisms, then collapses isomorphic objects to the same element. Later, when additive or exact structures are present, one may refine this by passing from ${\pi }_0$$\pi_0$ to a Grothendieck group $K_0$$K_0$. But the starting point of this paper is the naive invariant $\mathrm{Obj}(\mathcal{C})/\cong$$\operatorname{Obj}(\mathcal C)/\cong$.

---

2. Categorifications over a Base

Fix a set $B$$B$. We define the category of categorifications over $B$$B$ to be the comma category

$${\mathsf{Cat}}_{/B}^{\mathrm{decat}}=(\mathrm{Decat}\downarrow B).$$

An object of ${\mathsf{Cat}}_{/B}^{\mathrm{decat}}$$\mathsf{Cat}^{\operatorname{decat}}_{/B}$ is a pair

$$(\mathcal{C},p),$$

where $\mathcal{C}$$\mathcal C$ is a category and

$$p:\mathrm{Decat}(\mathcal{C})\to B$$

is a function. Thus each object of $\mathcal{C}$$\mathcal C$, up to isomorphism, is assigned a decategorified value in $B$$B$.

A morphism

$$F:(\mathcal{C},p)\to (\mathcal{D},q)$$

is a functor

$$F:\mathcal{C}\to \mathcal{D}$$

such that

$$q\circ \mathrm{Decat}(F)=p.$$

Equivalently, for every object $X\in \mathcal{C}$$X\in\mathcal C$, one has

$$q([F(X)])=p([X]).$$

Thus morphisms in ${\mathsf{Cat}}_{/B}^{\mathrm{decat}}$$\mathsf{Cat}^{\operatorname{decat}}_{/B}$ are functors that preserve the assigned decategorified value.

This definition is intentionally relative. It does not require

$$\mathrm{Decat}(\mathcal{C})\cong B.$$

It only requires a chosen map

$$\mathrm{Decat}(\mathcal{C})\to B.$$

This is useful because many natural categories do not decategorify onto the entire intended base. For example, finite-dimensional vector spaces naturally produce nonnegative dimensions, so their naive decategorification gives $\mathbb{N}$$\mathbb N$, while the corresponding Grothendieck group gives $\mathbb{Z}$$\mathbb Z$.

There is nevertheless a stronger notion. Define

$${\mathsf{Cat}}_B^{\mathrm{cat}}\subset {\mathsf{Cat}}_{/B}^{\mathrm{decat}}$$

to be the full subcategory whose objects are pairs $(\mathcal{C},p)$$(\mathcal C,p)$ such that

$$p:\mathrm{Decat}(\mathcal{C})\to B$$

is a bijection. In that case, $\mathcal{C}$$\mathcal C$ may be regarded as a genuine categorification of $B$$B$ in the naive sense.

The relative category ${\mathsf{Cat}}_{/B}^{\mathrm{decat}}$$\mathsf{Cat}^{\operatorname{decat}}_{/B}$ is more flexible. It lets us study categories lying over $B$$B$, even when their naive decategorification only lands in a subset or substructure of $B$$B$.

---

3. The Basic Example: $\mathbb{N}$$\mathbb N$

The simplest motivating example is the pair

$$\mathsf{FinSet},{\mathsf{FinVect}}_k.$$

The category $\mathsf{FinSet}$$\mathsf{FinSet}$ of finite sets decategorifies to $\mathbb{N}$$\mathbb N$ by cardinality:

$$[X]\mapsto |X|.$$

Indeed, two finite sets are isomorphic exactly when they have the same cardinality, so

$$\mathrm{Decat}(\mathsf{FinSet})\cong \mathbb{N}.$$

Similarly, the category ${\mathsf{FinVect}}_k$$\mathsf{FinVect}_k$ of finite-dimensional vector spaces over a field $k$$k$ decategorifies to $\mathbb{N}$$\mathbb N$ by dimension:

$$[V]\mapsto {\dim }_{k}V.$$

Two finite-dimensional vector spaces over $k$$k$ are isomorphic exactly when they have the same dimension, so

$$\mathrm{Decat}({\mathsf{FinVect}}_k)\cong \mathbb{N}.$$

Thus $\mathsf{FinSet}$$\mathsf{FinSet}$ and ${\mathsf{FinVect}}_k$$\mathsf{FinVect}_k$ give two categorifications of the same base $\mathbb{N}$$\mathbb N$.

The free vector space functor

$$k[-]:\mathsf{FinSet}\to {\mathsf{FinVect}}_k$$

satisfies

$${\dim }_{k}k[X]=|X|.$$

Therefore it preserves the decategorified value. In the relative category, it is a morphism

$$(\mathsf{FinSet},|-|)\to ({\mathsf{FinVect}}_k,{\dim }_k)$$

inside

$${\mathsf{Cat}}_{/\mathbb{N}}^{\mathrm{decat}}.$$

So the free vector space functor is not merely a familiar construction. It can be regarded as a morphism between two categorifications of $\mathbb{N}$$\mathbb N$.

If one remembers addition and multiplication, the example becomes richer. The set $\mathbb{N}$$\mathbb N$ is a semiring. The category $\mathsf{FinSet}$$\mathsf{FinSet}$ categorifies this semiring structure using disjoint union and Cartesian product:

$$X+Y:=X\bigsqcup Y,XY:=X\times Y.$$

The category ${\mathsf{FinVect}}_k$$\mathsf{FinVect}_k$ categorifies the same semiring structure using direct sum and tensor product:

$$V+W:=V\oplus W,VW:=V{\otimes }_{k}W.$$

The free vector space functor is compatible with both operations:

$$k[X\bigsqcup Y]\cong k[X]\oplus k[Y],$$

and

$$k[X\times Y]\cong k[X]{\otimes }_{k}k[Y].$$

Thus $k[-]$$k[-]$ is not only a morphism between categorifications of the underlying set $\mathbb{N}$$\mathbb N$. It is also a semiring-level linearization morphism.

This example suggests the general principle of the paper:

A categorification may be studied relative to a decategorified base, and a functor between categorifications should be regarded as a morphism over that base.

---

4. Functorial Base Transformation under Decategorification

We now formulate a general mechanism.

Let

$$T:\mathsf{Cat}\to \mathsf{Cat}$$

be an endofunctor on categories. One might ask whether $T$$T$ automatically induces a functor

$${\mathsf{Cat}}_{/B}^{\mathrm{decat}}\to {\mathsf{Cat}}_{/B^{\prime }}^{\mathrm{decat}}$$

for suitable bases $B$$B$ and $B^{\prime }$$B'$.

The answer is no. The functor $T$$T$ alone is not enough. To transform categories over bases, one must also control how $T$$T$ behaves after decategorification.

A convenient sufficient condition is the following. Suppose we are given:

1. an endofunctor

$$T:\mathsf{Cat}\to \mathsf{Cat};$$

2. an endofunctor

$$S:\mathsf{Set}\to \mathsf{Set};$$

3. a natural transformation

$$\alpha :\mathrm{Decat}\circ T\Rightarrow S\circ \mathrm{Decat}.$$

Thus, for every category $\mathcal{C}$$\mathcal C$, there is a natural map

$${\alpha }_{\mathcal{C}}:\mathrm{Decat}(T\mathcal{C})\to S(\mathrm{Decat}(\mathcal{C})).$$

This says that the decategorification of $T\mathcal{C}$$T\mathcal C$ can be measured functorially in terms of the decategorification of $\mathcal{C}$$\mathcal C$.

Now fix a map of bases

$$\gamma :S(B)\to B^{\prime }.$$

Given an object

$$(\mathcal{C},p)\in {\mathsf{Cat}}_{/B}^{\mathrm{decat}},$$

where

$$p:\mathrm{Decat}(\mathcal{C})\to B,$$

define

$$p_T:\mathrm{Decat}(T\mathcal{C})\to B^{\prime }$$

by the composite

$$\mathrm{Decat}(T\mathcal{C})\stackrel{{\alpha }_{\mathcal{C}}}{\to }S(\mathrm{Decat}(\mathcal{C}))\stackrel{S(p)}{\to }S(B)\stackrel{\gamma }{\to }{B}^{\prime }.$$

In other words,

$$p_T=\gamma \circ S(p)\circ {\alpha }_{\mathcal{C}}.$$

Then $T$$T$ sends $(\mathcal{C},p)$$(\mathcal C,p)$ to

$$(T\mathcal{C},p_T)\in {\mathsf{Cat}}_{/B^{\prime }}^{\mathrm{decat}}.$$

This construction is functorial on morphisms. Suppose

$$F:(\mathcal{C},p)\to (\mathcal{D},q)$$

is a morphism in ${\mathsf{Cat}}_{/B}^{\mathrm{decat}}$$\mathsf{Cat}^{\operatorname{decat}}_{/B}$. Thus

$$q\circ \mathrm{Decat}(F)=p.$$

We claim that

$$T(F):T\mathcal{C}\to T\mathcal{D}$$

is a morphism

$$(T\mathcal{C},p_T)\to (T\mathcal{D},q_T)$$

over $B^{\prime }$$B'$.

Indeed, by naturality of $\alpha$$\alpha$, the square

$$\begin{array}{ccc}\mathrm{Decat}(T\mathcal{C})& \stackrel{\mathrm{Decat}(TF)}{\to }& \mathrm{Decat}(T\mathcal{D})\\ \downarrow {\alpha }_{\mathcal{C}}& & \downarrow {\alpha }_{\mathcal{D}}\\ S(\mathrm{Decat}(\mathcal{C}))& \stackrel{S(\mathrm{Decat}(F))}{\to }& S(\mathrm{Decat}(\mathcal{D}))\end{array}$$

commutes. Therefore

$$q_T\circ \mathrm{Decat}(TF)=\gamma \circ S(q)\circ {\alpha }_{\mathcal{D}}\circ \mathrm{Decat}(TF).$$

Using naturality, this becomes

$$\gamma \circ S(q)\circ S(\mathrm{Decat}(F))\circ {\alpha }_{\mathcal{C}}.$$

Since

$$q\circ \mathrm{Decat}(F)=p,$$

we get

$$S(q)\circ S(\mathrm{Decat}(F))=S(p).$$

Hence

$$q_T\circ \mathrm{Decat}(TF)=\gamma \circ S(p)\circ {\alpha }_{\mathcal{C}}=p_T.$$

Thus $TF$$TF$ preserves the transformed decategorified value.

We have proved the following proposition.

Proposition 4.1. Let $T:\mathsf{Cat}\to \mathsf{Cat}$$T:\mathsf{Cat}\to\mathsf{Cat}$ and $S:\mathsf{Set}\to \mathsf{Set}$$S:\mathsf{Set}\to\mathsf{Set}$ be functors. Suppose there is a natural transformation

$$\alpha :\mathrm{Decat}\circ T\Rightarrow S\circ \mathrm{Decat}.$$

For every map of bases

$$\gamma :S(B)\to B^{\prime },$$

there is an induced functor

$$T_{\gamma }:{\mathsf{Cat}}_{/B}^{\mathrm{decat}}\to {\mathsf{Cat}}_{/B^{\prime }}^{\mathrm{decat}}$$

defined by

$$(\mathcal{C},p)\mapsto (T\mathcal{C},\gamma \circ S(p)\circ {\alpha }_{\mathcal{C}})$$

and

$$F\mapsto T(F).$$

This proposition explains precisely in what sense an endofunctor on categories can induce a base transformation under decategorification. The essential data is not just $T$$T$, but the compatibility

$$\mathrm{Decat}\circ T\Rightarrow S\circ \mathrm{Decat}.$$

Applying $T$$T$ before decategorifying must be controlled by applying $S$$S$ after decategorifying.

---

5. The Finite-Support $M$$M$-Grading Functor

We now apply the previous proposition to the main construction of the paper.

Let $M$$M$ be a monoid. Let $D(M)$$D(M)$ denote the discrete monoidal category associated to $M$$M$. Its objects are the elements of $M$$M$, its only morphisms are identities, and its tensor product is induced by multiplication in $M$$M$:

$$m\otimes n=mn.$$

The unit object is the identity element $e\in M$$e\in M$.

If $M$$M$ is commutative, then $D(M)$$D(M)$ is symmetric monoidal. If $M$$M$ is not commutative, then $D(M)$$D(M)$ is monoidal but not symmetric in general.

Let $\mathcal{C}$$\mathcal C$ be a category equipped with a chosen zero-like object $0_{\mathcal{C}}$$0_{\mathcal C}$. This could be the empty set in $\mathsf{FinSet}$$\mathsf{FinSet}$, or the zero vector space in ${\mathsf{FinVect}}_k$$\mathsf{FinVect}_k$.

Define

$$T_M(\mathcal{C})={\mathrm{Fun}}_{\mathrm{fs}}(D(M),\mathcal{C}),$$

the category of finite-support $M$$M$-indexed families of objects of $\mathcal{C}$$\mathcal C$.

Since $D(M)$$D(M)$ is discrete, an object of $T_M(\mathcal{C})$$T_M(\mathcal C)$ is simply a family

$$X=(X_m{)}_{m\in M}.$$

It has finite support if

$$X_m\ncong 0_{\mathcal{C}}$$

for only finitely many $m\in M$$m\in M$.

A morphism

$$X\to Y$$

is a family of morphisms

$$(f_m:X_m\to Y_m{)}_{m\in M}.$$

To make this construction functorial, we work with categories equipped with chosen zero-like objects and functors preserving them. If

$$F:\mathcal{C}\to \mathcal{D}$$

preserves the chosen zero-like objects, then $F$$F$ sends finite-support families to finite-support families. Hence it induces a functor

$$T_M(F):T_M(\mathcal{C})\to T_M(\mathcal{D})$$

by pointwise application:

$$(X_m{)}_{m\in M}\mapsto (F(X_m){)}_{m\in M}.$$

Thus

$$\mathcal{C}\mapsto {\mathrm{Fun}}_{\mathrm{fs}}(D(M),\mathcal{C})$$

is functorial in $\mathcal{C}$$\mathcal C$, on the appropriate category of categories with chosen zero-like objects.

At the set level, the corresponding construction is the finite-support function functor. If $A$$A$ is a pointed set with basepoint $a_0$$a_0$, define

$$S_M(A)=\{f:M\to A\mid f(m)\ne a_0\text{ for only finitely many }m\}.$$

For a category $\mathcal{C}$$\mathcal C$ with chosen zero-like object $0_{\mathcal{C}}$$0_{\mathcal C}$, the set

$$\mathrm{Decat}(\mathcal{C})$$

has a distinguished element $[0_{\mathcal{C}}]$$[0_{\mathcal C}]$. There is a natural map

$${\alpha }_{\mathcal{C}}:\mathrm{Decat}(T_M\mathcal{C})\to S_M(\mathrm{Decat}(\mathcal{C}))$$

defined by

$$[(X_m{)}_{m\in M}]\mapsto (m\mapsto [X_m]).$$

This is well-defined because isomorphic $M$$M$-graded objects have pointwise isomorphic components.

It is natural in $\mathcal{C}$$\mathcal C$. If $F:\mathcal{C}\to \mathcal{D}$$F:\mathcal C\to\mathcal D$ preserves the chosen zero-like objects, then

$${\alpha }_{\mathcal{D}}([(F(X_m){)}_{m\in M}])=(m\mapsto [F(X_m)]),$$

while

$$S_M(\mathrm{Decat}(F))({\alpha }_{\mathcal{C}}([(X_m)]))=S_M(\mathrm{Decat}(F))(m\mapsto [X_m])=(m\mapsto [F(X_m)]).$$

Therefore

$$\alpha :\mathrm{Decat}\circ T_M\Rightarrow S_M\circ \mathrm{Decat}$$

is a natural transformation.

Now take a category over $\mathbb{N}$$\mathbb N$,

$$(\mathcal{C},p)\in {\mathsf{Cat}}_{/\mathbb{N}}^{\mathrm{decat}},$$

where

$$p:\mathrm{Decat}(\mathcal{C})\to \mathbb{N}.$$

Assume

$$p([0_{\mathcal{C}}])=0.$$

Define the base transformation

$$\gamma :S_M(\mathbb{N})\to \mathbb{N}[M]$$

by

$$\gamma (f)=\sum _{m\in M}f(m)m.$$

Since $f$$f$ has finite support, this is a finite sum.

By Proposition 4.1, we obtain a functor

$$(-{)}^{(M)}:{\mathsf{Cat}}_{/\mathbb{N}}^{\mathrm{decat},0}\to {\mathsf{Cat}}_{/\mathbb{N}[M]}^{\mathrm{decat}},$$

where the source denotes the category of categories over $\mathbb{N}$$\mathbb N$ equipped with a chosen zero-like object, and whose morphisms preserve it.

Explicitly,

$$(\mathcal{C},p)\mapsto ({\mathcal{C}}^{(M)},p^{(M)}),$$

where

$${\mathcal{C}}^{(M)}={\mathrm{Fun}}_{\mathrm{fs}}(D(M),\mathcal{C})$$

and

$$p^{(M)}:\mathrm{Decat}({\mathcal{C}}^{(M)})\to \mathbb{N}[M]$$

is given by

$$p^{(M)}([(X_m{)}_{m\in M}])=\sum _{m\in M}p([X_m])m.$$

On morphisms,

$$F\mapsto F^{(M)}={\mathrm{Fun}}_{\mathrm{fs}}(D(M),F).$$

Thus forming finite-support $M$$M$-graded objects is not merely a way to build examples. It is a functorial operation

$$\text{categorifications over }\mathbb{N}⟶\text{categorifications over }\mathbb{N}[M].$$

This is the structural core of the monoid-ring construction.

---

6. Day Convolution and the Monoid Semiring $\mathbb{N}[M]$$\mathbb N[M]$

We now add the monoidal structure.

Consider

$${\mathsf{Fin}}^{(M)}={\mathrm{Fun}}_{\mathrm{fs}}(D(M),\mathsf{FinSet}).$$

Objects of ${\mathsf{Fin}}^{(M)}$$\mathsf{Fin}^{(M)}$ are finite-support $M$$M$-graded finite sets

$$A=(A_m{)}_{m\in M}.$$

The monoidal structure on $D(M)$$D(M)$ induces, by Day convolution, a monoidal structure on ${\mathsf{Fin}}^{(M)}$$\mathsf{Fin}^{(M)}$. Since $D(M)$$D(M)$ is discrete, the formula is concrete:

$$(A\ast B{)}_r=\coprod _{mn=r}{A}_m\times B_n.$$

Equivalently, since $A$$A$ and $B$$B$ have finite support, the coproduct is taken over the finite set of pairs

$$(m,n)\in \mathrm{supp}(A)\times \mathrm{supp}(B)$$

such that $mn=r$$mn=r$.

The unit object is the graded finite set ${\delta }_e$$\delta_e$ defined by

$$({\delta }_e{)}_e=\{\ast \},({\delta }_e{)}_m=\varnothing (m\ne e).$$

Disjoint union gives addition, while Day convolution gives multiplication. The naive decategorification map is

$$[A]\mapsto \sum _{m\in M}|A_m|m.$$

This lands in the monoid semiring

$$\mathbb{N}[M].$$

Moreover,

$$[A\bigsqcup B]=[A]+[B],$$

and

$$[A\ast B]=[A]\cdot [B].$$

Indeed,

$$|(A\ast B{)}_r|=\sum _{mn=r}|A_m||B_n|,$$

which is exactly the coefficient of $r$$r$ in the product

$$(\sum _m|A_m|m)(\sum _n|B_n|n).$$

If ${\delta }_m$$\delta_m$ denotes the object concentrated at $m$$m$ with value a one-point set, then

$${\delta }_m\ast {\delta }_n\cong {\delta }_{mn}.$$

Thus

$$[{\delta }_m]\cdot [{\delta }_n]=[{\delta }_{mn}].$$

This is precisely the multiplication law in $\mathbb{N}[M]$$\mathbb N[M]$.

Therefore

$${\mathsf{Fin}}^{(M)}$$

categorifies the monoid semiring $\mathbb{N}[M]$$\mathbb N[M]$, with disjoint union categorifying addition and Day convolution categorifying multiplication.

If $M$$M$ is commutative, then the monoidal structure is symmetric. If $M$$M$ is noncommutative, then the convolution is generally monoidal but not symmetric, reflecting the noncommutativity of $\mathbb{N}[M]$$\mathbb N[M]$.

---

7. $M$$M$-Graded Vector Spaces and the Monoid Ring

Now consider

$${\mathsf{Vect}}_k^{(M)}={\mathrm{Fun}}_{\mathrm{fs}}(D(M),{\mathsf{FinVect}}_k).$$

An object is a finite-support $M$$M$-graded finite-dimensional vector space

$$V=(V_m{)}_{m\in M}.$$

Day convolution gives

$$(V\ast W{)}_r=\underset{mn=r}{⨁}{V}_m{\otimes }_k{W}_n.$$

The unit object is concentrated at the identity element $e$$e$, with value $k$$k$ at $e$$e$ and $0$$0$ elsewhere.

The naive decategorification map is

$$[V]\mapsto \sum _{m\in M}{\dim }_k(V_m)m.$$

Its image lies in

$$\mathbb{N}[M]\subset \mathbb{Z}[M].$$

Thus, under naive decategorification, ${\mathsf{Vect}}_k^{(M)}$$\mathsf{Vect}_k^{(M)}$ gives $\mathbb{N}[M]$$\mathbb N[M]$, not the whole monoid ring $\mathbb{Z}[M]$$\mathbb Z[M]$. This is expected: dimensions are nonnegative integers.

To obtain $\mathbb{Z}[M]$$\mathbb Z[M]$, one passes to the Grothendieck group. The additive structure is direct sum:

$$(V\oplus W{)}_m=V_m\oplus W_m.$$

Since finite-dimensional vector spaces are semisimple, and all constructions here are pointwise, the Grothendieck group is obtained by group-completing the commutative monoid of isomorphism classes under direct sum:

$$K_0({\mathsf{Vect}}_k^{(M)})\cong \mathbb{Z}[M].$$

Explicitly, the class of $V=(V_m{)}_{m\in M}$$V=(V_m)_{m\in M}$ is sent to

$$[V]\mapsto \sum _{m\in M}{\dim }_k(V_m)m.$$

Negative coefficients in $\mathbb{Z}[M]$$\mathbb Z[M]$ do not come from actual objects. They arise from formal differences

$$[V]-[W]$$

in the Grothendieck group.

Day convolution induces multiplication on $K_0$$K_0$:

$$[V]\cdot [W]=[V\ast W].$$

For the object ${\delta }_m$$\delta_m$ concentrated at $m$$m$ with value $k$$k$, one has

$${\delta }_m\ast {\delta }_n\cong {\delta }_{mn}.$$

Hence

$$[{\delta }_m]\cdot [{\delta }_n]=[{\delta }_{mn}].$$

Therefore,

$$K_0({\mathsf{Vect}}_k^{(M)},\oplus ,\ast )\cong \mathbb{Z}[M]$$

as rings.

The process can be summarized as

$$({\mathsf{Vect}}_k^{(M)}{)}^{\simeq }\stackrel{{\pi }_0}{\to }\mathbb{N}[M]\stackrel{\mathrm{Gr}}{\to }\mathbb{Z}[M].$$

Here ${\pi }_0$$\pi_0$ records the positive part of the categorified structure, while $K_0$$K_0$ performs the group completion that produces the ring.

---

8. Linearization and the Lifted Free Vector Space Functor

The free vector space functor

$$k[-]:\mathsf{FinSet}\to {\mathsf{FinVect}}_k$$

is a morphism over $\mathbb{N}$$\mathbb N$, since

$${\dim }_{k}k[X]=|X|.$$

Applying the finite-support $M$$M$-grading functor gives

$$k[-{]}^{(M)}:={\mathrm{Fun}}_{\mathrm{fs}}(D(M),k[-]):{\mathsf{Fin}}^{(M)}\to {\mathsf{Vect}}_k^{(M)}.$$

Explicitly,

$$k[-{]}^{(M)}((A_m{)}_{m\in M})=(k[A_m]{)}_{m\in M}.$$

This is the pointwise free vector space functor.

It preserves the decategorified value over $\mathbb{N}[M]$$\mathbb N[M]$, because

$${\dim }_{k}k[A_m]=|A_m|$$

for each $m\in M$$m\in M$. Therefore

$$\sum _{m\in M}|A_m|m\mapsto \sum _{m\in M}{\dim }_k(k[A_m])m=\sum _{m\in M}|A_m|m.$$

Thus $k[-{]}^{(M)}$$k[-]^{(M)}$ induces the identity map on $\mathbb{N}[M]$$\mathbb N[M]$ after naive decategorification.

Moreover, $k[-{]}^{(M)}$$k[-]^{(M)}$ is compatible with Day convolution. Indeed,

$$k[(A\ast B{)}_r]=k[\coprod _{mn=r}{A}_m\times B_n].$$

Since the free vector space functor sends finite coproducts of sets to direct sums of vector spaces and finite Cartesian products to tensor products, we have natural isomorphisms

$$k[\coprod _{mn=r}{A}_m\times B_n]\cong \underset{mn=r}{⨁}k[A_m\times B_n]\cong \underset{mn=r}{⨁}k[A_m]{\otimes }_{k}k[B_n].$$

The right-hand side is precisely

$$(k[A]\ast k[B]{)}_r.$$

Therefore

$$k[A\ast B]\cong k[A]\ast k[B].$$

The unit is also preserved:

$$k[{\delta }_e]\cong {\delta }_e.$$

Hence

$$k[-{]}^{(M)}:{\mathsf{Fin}}^{(M)}\to {\mathsf{Vect}}_k^{(M)}$$

is a strong monoidal functor for Day convolution.

This gives the lifted diagram

$$\mathsf{FinSet}⟶{\mathsf{FinVect}}_k$$

over $\mathbb{N}$$\mathbb N$, transformed into

$${\mathrm{Fun}}_{\mathrm{fs}}(D(M),\mathsf{FinSet})⟶{\mathrm{Fun}}_{\mathrm{fs}}(D(M),{\mathsf{FinVect}}_k)$$

over $\mathbb{N}[M]$$\mathbb N[M]$.

The passage from $\mathbb{N}[M]$$\mathbb N[M]$ to $\mathbb{Z}[M]$$\mathbb Z[M]$ then occurs on the vector-space side by applying $K_0$$K_0$.

Thus the full picture has two stages:

$$\text{categorifications over }\mathbb{N}\stackrel{(-{)}^{(M)}}{\to }\text{categorifications over }\mathbb{N}[M]\stackrel{K_0}{\to }\text{ring-level decategorification over }\mathbb{Z}[M].$$

The first stage is functorial at the level of categories over a base. The second stage is Grothendieck group completion.

---

9. The Relative Viewpoint Revisited

The relative viewpoint is useful because it avoids an overly rigid notion of categorification.

For example, if we take

$$B=\mathbb{Z}[M],$$

then ${\mathsf{Vect}}_k^{(M)}$$\mathsf{Vect}_k^{(M)}$ has a natural map

$$\mathrm{Decat}({\mathsf{Vect}}_k^{(M)})\to \mathbb{Z}[M],$$

given by

$$[V]\mapsto \sum _{m\in M}{\dim }_k(V_m)m.$$

The image is only

$$\mathbb{N}[M]\subset \mathbb{Z}[M].$$

Nevertheless, this still defines an object of

$${\mathsf{Cat}}_{/\mathbb{Z}[M]}^{\mathrm{decat}}.$$

Thus the comma category

$$(\mathrm{Decat}\downarrow B)$$

allows us to study categories whose naive decategorification maps into $B$$B$, even when it does not exhaust $B$$B$.

If we require the stronger condition

$$\mathrm{Decat}(\mathcal{C})\cong B,$$

then ${\mathsf{Vect}}_k^{(M)}$$\mathsf{Vect}_k^{(M)}$ would not be a genuine naive categorification of $\mathbb{Z}[M]$$\mathbb Z[M]$. It is instead a category over $\mathbb{Z}[M]$$\mathbb Z[M]$ whose naive image is the positive part $\mathbb{N}[M]$$\mathbb N[M]$. To recover the whole ring, one must pass from ${\pi }_0$$\pi_0$ to $K_0$$K_0$.

This distinction is important:

$${\pi }_0\text{remembers object classes and gives positive coefficients;}$$

$$K_0\text{group-completes the additive structure and gives negative coefficients.}$$

Thus the relative framework separates two operations that are often conflated:

1. assigning decategorified values to objects;

2. completing the additive structure to produce a group or ring.

---

10. Summary

Let $M$$M$ be a monoid.

The category

$${\mathsf{Fin}}^{(M)}={\mathrm{Fun}}_{\mathrm{fs}}(D(M),\mathsf{FinSet})$$

of finite-support $M$$M$-graded finite sets categorifies the monoid semiring $\mathbb{N}[M]$$\mathbb N[M]$. Addition is given by disjoint union, and multiplication is given by Day convolution.

The category

$${\mathsf{Vect}}_k^{(M)}={\mathrm{Fun}}_{\mathrm{fs}}(D(M),{\mathsf{FinVect}}_k)$$

of finite-support $M$$M$-graded finite-dimensional vector spaces has naive decategorification $\mathbb{N}[M]$$\mathbb N[M]$. After passing to the Grothendieck group, it gives the monoid ring:

$$K_0({\mathsf{Vect}}_k^{(M)})\cong \mathbb{Z}[M].$$

The free vector space functor

$$k[-]:\mathsf{FinSet}\to {\mathsf{FinVect}}_k$$

is a morphism between categorifications over $\mathbb{N}$$\mathbb N$. By functoriality of the finite-support $M$$M$-grading construction, it lifts to

$$k[-{]}^{(M)}:{\mathrm{Fun}}_{\mathrm{fs}}(D(M),\mathsf{FinSet})\to {\mathrm{Fun}}_{\mathrm{fs}}(D(M),{\mathsf{FinVect}}_k).$$

This lifted functor is strong monoidal for Day convolution and induces the identity on $\mathbb{N}[M]$$\mathbb N[M]$ after naive decategorification.

The structural mechanism is the functor

$$(-{)}^{(M)}={\mathrm{Fun}}_{\mathrm{fs}}(D(M),-),$$

which sends categorifications over $\mathbb{N}$$\mathbb N$ to categorifications over $\mathbb{N}[M]$$\mathbb N[M]$. This mechanism is an instance of a more general principle: an endofunctor $T$$T$ on categories induces a transformation between categorifications over bases only when its decategorification is controlled by compatible data

$$\mathrm{Decat}\circ T\Rightarrow S\circ \mathrm{Decat}.$$

In the present case, $T$$T$ is finite-support $M$$M$-grading, $S$$S$ is the finite-support function construction, and the base transformation sends a finite-support function $M\to \mathbb{N}$$M\to\mathbb N$ to the corresponding element of $\mathbb{N}[M]$$\mathbb N[M]$.

Thus the monoid ring construction is not an isolated computation. It is part of a functorial theory of how categorifications transform under controlled operations on categories.