Kategorie endofunktorů je v teorii typů kategorie endofunktorů nad typy, kde morfismy jsou přirozené transformace. Jedná se o monoidální kategorii, kde jednotka je funktor identity a tenzorový součin je skládání funktorů.Monoidy v této kategorii odpovídají ve funkcionálním programování monádám.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Kategorie endofunktorů je v teorii typů kategorie endofunktorů nad typy, kde morfismy jsou přirozené transformace. Jedná se o monoidální kategorii, kde jednotka je funktor identity a tenzorový součin je skládání funktorů.Monoidy v této kategorii odpovídají ve funkcionálním programování monádám.<templatestyles src="Portály/styles.css" />
dbpedia-owl:wikiPageID
  • 1402223 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 458 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 6 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 16266549 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • kategorii endofunktorů
dcterms:subject
rdfs:comment
  • Kategorie endofunktorů je v teorii typů kategorie endofunktorů nad typy, kde morfismy jsou přirozené transformace. Jedná se o monoidální kategorii, kde jednotka je funktor identity a tenzorový součin je skládání funktorů.Monoidy v této kategorii odpovídají ve funkcionálním programování monádám.<templatestyles src="Portály/styles.css" />
rdfs:label
  • Kategorie endofunktorů
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of