علامة category-theory - هذه الصفحة 12 - GeneraCodice

What's the theory behind the operator precedences of common operators?

https://www.generacodice.com/ar/articolo/1590297/what-s-the-theory-behind-the-operator-precedences-of-common-operators
  algebra  -  category-theory
cs.stackexchange cs.stackexchange

Writing the coherence conditions for a monad in a functional laguage

https://www.generacodice.com/ar/articolo/1589745/writing-the-coherence-conditions-for-a-monad-in-a-functional-laguage
  functional-programming  -  category-theory
cs.stackexchange cs.stackexchange

Expressing that a functor is natural

https://www.generacodice.com/ar/articolo/1589669/expressing-that-a-functor-is-natural
  category-theory
cs.stackexchange cs.stackexchange

How is the definition of monads in category theory equivalent to the definition in functional programming?

https://www.generacodice.com/ar/articolo/1589272/how-is-the-definition-of-monads-in-category-theory-equivalent-to-the-definition-in-functional-programming
  functional-programming  -  category-theory
cs.stackexchange cs.stackexchange

Can the formalisms of category theory replace those of type theory?

https://www.generacodice.com/ar/articolo/1588087/can-the-formalisms-of-category-theory-replace-those-of-type-theory
  type-theory  -  category-theory
cs.stackexchange cs.stackexchange

What is the name of this type of function composition?

https://www.generacodice.com/ar/articolo/1581288/what-is-the-name-of-this-type-of-function-composition
  functional-programming  -  category-theory  -  mathematical-foundations
cs.stackexchange cs.stackexchange

Is there an isomorphism between (subset of) category theory and relational algebra?

https://www.generacodice.com/ar/articolo/1578654/is-there-an-isomorphism-between-subset-of-category-theory-and-relational-algebra
  relational-algebra  -  category-theory  -  curry-howard
cs.stackexchange cs.stackexchange

Are there any type constructors which are *not* functors?

https://www.generacodice.com/ar/articolo/1574723/are-there-any-type-constructors-which-are-not-functors
  haskell  -  type-theory  -  category-theory
cs.stackexchange cs.stackexchange

Reference request: Category theory as it applies to type systems

https://www.generacodice.com/ar/articolo/1573747/reference-request-category-theory-as-it-applies-to-type-systems
  programming-languages  -  type-theory  -  category-theory  -  reference-request
cs.stackexchange cs.stackexchange

Generators in category theory

https://www.generacodice.com/ar/articolo/1570804/generators-in-category-theory
  category-theory
cs.stackexchange cs.stackexchange
العثور على نتائج: 162
scroll top