Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Homotopy theoretic models of identity types - MaRDI portal

Homotopy theoretic models of identity types (Q3598111)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Homotopy theoretic models of identity types
scientific article

    Statements

    title
    Homotopy theoretic models of identity types (English)
    0 references
    author
    Michael A. Warren
    0 references
    Steven Awodey
    0 references
    publication date
    30 January 2009
    0 references
    Mathematics Subject Classification ID
    03F07
    0 references
    03F50
    0 references
    55P05
    0 references
    55P10
    0 references
    zbMATH DE Number
    5500699
    0 references
    zbMATH Keywords
    type theory
    0 references
    homotopy theory
    0 references
    Quillen model categories
    0 references
    Wikidata QID
    Q56831024
    0 references
    arXiv ID
    0709.0248
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3598111&oldid=35091155"
    Powered by MediaWiki