Tag category-theory - Dies ist Seite 13 - GeneraCodice

What is the name of this type of function composition?

https://www.generacodice.com/de/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/de/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/de/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/de/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/de/articolo/1570804/generators-in-category-theory
  category-theory
cs.stackexchange cs.stackexchange

Intuition behind F-algebra

https://www.generacodice.com/de/articolo/1545711/intuition-behind-f-algebra
  functional-programming  -  logic  -  category-theory
cs.stackexchange cs.stackexchange

How can I formalize key value stores with set theory?

https://www.generacodice.com/de/articolo/1544319/how-can-i-formalize-key-value-stores-with-set-theory
  storage  -  category-theory  -  database-theory  -  databases  -  sets
cs.stackexchange cs.stackexchange

Definition of opposite category

https://www.generacodice.com/de/articolo/1542318/definition-of-opposite-category
  functional-programming  -  category-theory
cs.stackexchange cs.stackexchange

Which fixpoint is Haskell list type?

https://www.generacodice.com/de/articolo/1518749/which-fixpoint-is-haskell-list-type
  functional-programming  -  semantics  -  programming-languages  -  type-theory  -  category-theory
cs.stackexchange cs.stackexchange

Category theory and graphs

https://www.generacodice.com/de/articolo/1495979/category-theory-and-graphs
  category-theory  -  graphs
cs.stackexchange cs.stackexchange
Gefundene Ergebnisse: 162
scroll top