Lawvere theories and C-systems (Q4959711)

From MaRDI portal
scientific article; zbMATH DE number 7186901
Language Label Description Also known as
English
Lawvere theories and C-systems
scientific article; zbMATH DE number 7186901

    Statements

    title
    Lawvere theories and C-systems (English)
    0 references
    DOI
    10.1090/proc/14660
    0 references
    author
    Vladimir Voevodsky
    0 references
    Marcelo P. Fiore
    0 references
    publication date
    7 April 2020
    0 references
    Mathematics Subject Classification ID
    18C10
    0 references
    18C50
    0 references
    08C99
    0 references
    03F50
    0 references
    zbMATH DE Number
    7186901
    0 references
    describes a project that uses
    GitHub
    0 references
    UniMath
    0 references
    OpenAlex ID
    W3007277766
    0 references
    arXiv ID
    1512.08104
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4959711&oldid=36575092"
    Powered by MediaWiki