en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag category-theory - This is page 7 - GeneraCodice
A monad is just a monoid in the category of endofunctors, what's the enlightenment?
https://www.generacodice.com/en/articolo/2473482/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-what-s-the-enlightenment
functional-programming
-
category-theory
cs.stackexchange
Given A to C, and B to C with known complexities, what can be said about A to B?
https://www.generacodice.com/en/articolo/2468630/given-a-to-c-and-b-to-c-with-known-complexities-what-can-be-said-about-a-to-b
complexity-theory
-
computability
-
time-complexity
-
category-theory
cs.stackexchange
Describing the Bool-And monoid in terms of categories
https://www.generacodice.com/en/articolo/2468228/describing-the-bool-and-monoid-in-terms-of-categories
category-theory
cs.stackexchange
Is there any correspondence between SUM type in type theory and arithmetical summation?
https://www.generacodice.com/en/articolo/2458116/is-there-any-correspondence-between-sum-type-in-type-theory-and-arithmetical-summation
type-theory
-
category-theory
cs.stackexchange
Why does the category of language types have morphisms, not functors?
https://www.generacodice.com/en/articolo/2444784/why-does-the-category-of-language-types-have-morphisms-not-functors
programming-languages
-
category-theory
cs.stackexchange
Are all Haskell functors endofunctors?
https://www.generacodice.com/en/articolo/2374394/are-all-haskell-functors-endofunctors
haskell
-
functor
-
category-theory
StackOverflow
If MonadPlus is the “generator” class, then what is the “consumer” class?
https://www.generacodice.com/en/articolo/2272888/if-monadplus-is-the-generator-class-then-what-is-the-consumer-class
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/en/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/en/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/en/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
»
Results found: 162