搜索 - 腾讯云开发者社区-腾讯云

文章/答案/技术大牛

发布

来自专栏CreateAMind
如何找到类比的结构
(cs.ox.ac.uk) 4）富范畴/度量化的“软匹配”：把“相似度/代价”内生化表示：用Lawvere 富范畴把“距离/相似度”写进 Hom-对象；把两域间的“对应强度”表示为富 profunctor (GitHub) 如何找良好映射：先学得/指定对象间的相似度（如[0,∞] 代价或[0,1] 隶属度），形成 (V)-profunctor (P:\mathcal A^{op}\times\mathcal B\to V)；取 profunctor 的 nucleus/Isbell 完备得到概念对齐格（泛化的形式概念分析）：核中的“闭包对”就是稳固的对应候选；再从这些候选抽取（近似）函子或最小代价匹配若需要“软打分”，将对象/关系相似度放入富 profunctor，用nucleus 提炼稳定对应再转为候选函子，Score 里再加“距离惩罚”。 (科学直通车) 富化与重排（可选）：若需要连续/模糊相似，用 (V)-profunctor + nucleus 先选“强对应对”，再回到第3步细化为函子。
7410编辑于 2026-03-11
来自专栏一个会写诗的程序员的博客
数论代数群论范畴论与函数式编程 Haskell, Scala数论代数群论范畴论
范畴论把很多代数群一起来研究，看看有各个代数群之间有什么共通的特性；常用术语 Functor, Bifunctor, Profunctor, Monad, Comonad, Bimonad, MonoidK
1K40发布于 2018-08-20