Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5891840> ?p ?o }
Showing triples 1 to 86 of
86
with 100 triples per page.
- Q5891840 subject Q7451631.
- Q5891840 subject Q8266666.
- Q5891840 subject Q8466124.
- Q5891840 subject Q8521258.
- Q5891840 abstract "In mathematical logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intensional type theory, based on the interpretation of types as objects to which the intuition of (abstract) homotopy theory applies.This includes, among other lines of work, the construction of homotopical and higher-categorical models for such type theories; the use of type theory as a logic (or internal language) for abstract homotopy theory and higher category theory; the development of mathematics within a type-theoretic foundation (including both previously existing mathematics and new mathematics that homotopical types make possible); and the formalization of each of these in computer proof assistants.There is a large overlap between the work referred to as homotopy type theory, and as the univalent foundations project. Although neither is precisely delineated, and the terms are sometimes used interchangeably, the choice of usage also sometimes corresponds to differences in viewpoint and emphasis. As such, this article may not represent the views of all researchers in the fields equally.".
- Q5891840 thumbnail Hott_book_cover.png?width=300.
- Q5891840 wikiPageExternalLink book.
- Q5891840 wikiPageExternalLink hott2.pdf.
- Q5891840 wikiPageExternalLink warren.pdf.
- Q5891840 wikiPageExternalLink Hlambda_short_current.pdf.
- Q5891840 wikiPageExternalLink HoTT.
- Q5891840 wikiPageExternalLink UniMath.
- Q5891840 wikiPageExternalLink Foundations.
- Q5891840 wikiPageExternalLink Ktheory.
- Q5891840 wikiPageExternalLink PAdics.
- Q5891840 wikiPageExternalLink RezkCompletion.
- Q5891840 wikiPageExternalLink 2010_CMU.
- Q5891840 wikiPageExternalLink books?id=pLnKggT_In4C&pg=PA83.
- Q5891840 wikiPageExternalLink homotopytypetheory.org.
- Q5891840 wikiPageExternalLink displayAbstract?fromPage=online&aid=2888996&fileId=S0305004108001783.
- Q5891840 wikiPageExternalLink HomePage.
- Q5891840 wikiPageExternalLink 1.abstract.
- Q5891840 wikiPageExternalLink awodey.
- Q5891840 wikiPageExternalLink htt.html.
- Q5891840 wikiPageExternalLink TTH.pdf.
- Q5891840 wikiPageExternalLink homotopy.pdf.
- Q5891840 wikiPageExternalLink Univalent_Foundations.html.
- Q5891840 wikiPageExternalLink venedig.ps.gz.
- Q5891840 wikiPageWikiLink Q1056428.
- Q5891840 wikiPageWikiLink Q1131652.
- Q5891840 wikiPageWikiLink Q11387554.
- Q5891840 wikiPageWikiLink Q1166618.
- Q5891840 wikiPageWikiLink Q118398.
- Q5891840 wikiPageWikiLink Q11942.
- Q5891840 wikiPageWikiLink Q1196038.
- Q5891840 wikiPageWikiLink Q12784531.
- Q5891840 wikiPageWikiLink Q1366002.
- Q5891840 wikiPageWikiLink Q14491931.
- Q5891840 wikiPageWikiLink Q16879377.
- Q5891840 wikiPageWikiLink Q17080465.
- Q5891840 wikiPageWikiLink Q17736.
- Q5891840 wikiPageWikiLink Q18376327.
- Q5891840 wikiPageWikiLink Q185246.
- Q5891840 wikiPageWikiLink Q190080.
- Q5891840 wikiPageWikiLink Q1941896.
- Q5891840 wikiPageWikiLink Q19667895.
- Q5891840 wikiPageWikiLink Q2067227.
- Q5891840 wikiPageWikiLink Q2073584.
- Q5891840 wikiPageWikiLink Q21198.
- Q5891840 wikiPageWikiLink Q217413.
- Q5891840 wikiPageWikiLink Q22087167.
- Q5891840 wikiPageWikiLink Q242028.
- Q5891840 wikiPageWikiLink Q2518298.
- Q5891840 wikiPageWikiLink Q2815652.
- Q5891840 wikiPageWikiLink Q284742.
- Q5891840 wikiPageWikiLink Q332903.
- Q5891840 wikiPageWikiLink Q3524190.
- Q5891840 wikiPageWikiLink Q364.
- Q5891840 wikiPageWikiLink Q369662.
- Q5891840 wikiPageWikiLink Q3915873.
- Q5891840 wikiPageWikiLink Q42989.
- Q5891840 wikiPageWikiLink Q4440864.
- Q5891840 wikiPageWikiLink Q4650723.
- Q5891840 wikiPageWikiLink Q493941.
- Q5891840 wikiPageWikiLink Q5141339.
- Q5891840 wikiPageWikiLink Q5891810.
- Q5891840 wikiPageWikiLink Q5891840.
- Q5891840 wikiPageWikiLink Q6059147.
- Q5891840 wikiPageWikiLink Q635642.
- Q5891840 wikiPageWikiLink Q656142.
- Q5891840 wikiPageWikiLink Q7345273.
- Q5891840 wikiPageWikiLink Q7451631.
- Q5891840 wikiPageWikiLink Q746083.
- Q5891840 wikiPageWikiLink Q7611834.
- Q5891840 wikiPageWikiLink Q8266666.
- Q5891840 wikiPageWikiLink Q833585.
- Q5891840 wikiPageWikiLink Q8466124.
- Q5891840 wikiPageWikiLink Q8521258.
- Q5891840 wikiPageWikiLink Q858320.
- Q5891840 wikiPageWikiLink Q9143.
- Q5891840 wikiPageWikiLink Q954246.
- Q5891840 wikiPageWikiLink Q975734.
- Q5891840 wikiPageWikiLink Q997433.
- Q5891840 comment "In mathematical logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intensional type theory, based on the interpretation of types as objects to which the intuition of (abstract) homotopy theory applies.This includes, among other lines of work, the construction of homotopical and higher-categorical models for such type theories; the use of type theory as a logic (or internal language) for abstract homotopy theory and higher category theory; the development of mathematics within a type-theoretic foundation (including both previously existing mathematics and new mathematics that homotopical types make possible); and the formalization of each of these in computer proof assistants.There is a large overlap between the work referred to as homotopy type theory, and as the univalent foundations project. ".
- Q5891840 label "Homotopy type theory".
- Q5891840 depiction Hott_book_cover.png.