标签category-theory - 这是页7 - GeneraCodice

单子只是内函子范畴中的幺半群，有什么启示呢？

https://www.generacodice.com/cn/articolo/2473482/单子只是内函子范畴中的幺半群-有什么启示呢

  functional-programming  -  category-theory

cs.stackexchange

给予C到C，以及B到C的已知复杂性，大约可以说是什么？

https://www.generacodice.com/cn/articolo/2468630/给予c到c-以及b到c的已知复杂性-大约可以说是什么

  complexity-theory  -  computability  -  time-complexity  -  category-theory

cs.stackexchange

用类别描述 Bool-And 幺半群

https://www.generacodice.com/cn/articolo/2468228/用类别描述-bool-and-幺半群

  category-theory

cs.stackexchange

类型理论和算术求和的总和类型之间是否有任何对应？

https://www.generacodice.com/cn/articolo/2458116/类型理论和算术求和的总和类型之间是否有任何对应

  type-theory  -  category-theory

cs.stackexchange

为什么语言类型的类别有态度，而不是仿函数？

https://www.generacodice.com/cn/articolo/2444784/为什么语言类型的类别有态度-而不是仿函数

  programming-languages  -  category-theory

cs.stackexchange

所有 Haskell 函子都是内函子吗？

https://www.generacodice.com/cn/articolo/2374394/所有-haskell-函子都是内函子吗

  haskell  -  functor  -  category-theory

StackOverflow

如果 MonadPlus 是“生成器”类，那么什么是“消费者”类呢？

https://www.generacodice.com/cn/articolo/2272888/如果-monadplus-是-生成器-类-那么什么是-消费者-类呢

  haskell  -  category-theory  -  iterate  -  haskell-pipes

StackOverflow

Step by Step / Deep explain: The Power of (Co)Yoneda (preferably in scala) through Coroutines

https://www.generacodice.com/cn/articolo/2151388/step-by-step-deep-explain-the-power-of-co-yoneda-preferably-in-scala-through-coroutines

  haskell  -  scala  -  category-theory

StackOverflow

Is monoid the category for untyped lambda calculus?

https://www.generacodice.com/cn/articolo/1620919/is-monoid-the-category-for-untyped-lambda-calculus

  lambda-calculus  -  category-theory

cs.stackexchange

How is β-reduction a 2-morphism in Category theory?

https://www.generacodice.com/cn/articolo/1620837/how-is-β-reduction-a-2-morphism-in-category-theory

  type-theory  -  lambda-calculus  -  category-theory

cs.stackexchange

• «
• 4
• 5
• 6
• 7
• 8
• 9
• »

发现结果: 162