Categories, Topoi, and Logic

Guerino Mazzola

doi:10.1007/978-3-319-64495-0_7

Categories, Topoi, and Logic

Guerino Mazzola

Music (Twin Cities)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

For a comprehensive introduction to category theory, see [637]. For topos theory and sheaves see [639], for topos theory and logic, see [376].

Original language	English (US)
Title of host publication	Computational Music Science
Publisher	Springer Nature
Pages	1419-1441
Number of pages	23
DOIs	https://doi.org/10.1007/978-3-319-64495-0_7
State	Published - 2017

Publication series

Name	Computational Music Science
ISSN (Print)	1868-0305
ISSN (Electronic)	1868-0313

Bibliographical note

Publisher Copyright:
© 2017, Springer International Publishing AG, part of Springer Nature.

Publisher link

10.1007/978-3-319-64495-0_7

Find It

Find It at U of M Libraries

Cite this

@inbook{b662f9296dd74024ac691a91af28c380,

title = "Categories, Topoi, and Logic",

abstract = "For a comprehensive introduction to category theory, see [637]. For topos theory and sheaves see [639], for topos theory and logic, see [376].",

author = "Guerino Mazzola",

note = "Publisher Copyright: {\textcopyright} 2017, Springer International Publishing AG, part of Springer Nature.",

year = "2017",

doi = "10.1007/978-3-319-64495-0\_7",

language = "English (US)",

series = "Computational Music Science",

publisher = "Springer Nature",

pages = "1419--1441",

booktitle = "Computational Music Science",

address = "United States",

}

TY - CHAP

T1 - Categories, Topoi, and Logic

AU - Mazzola, Guerino

PY - 2017

Y1 - 2017

N2 - For a comprehensive introduction to category theory, see [637]. For topos theory and sheaves see [639], for topos theory and logic, see [376].

AB - For a comprehensive introduction to category theory, see [637]. For topos theory and sheaves see [639], for topos theory and logic, see [376].

UR - https://www.scopus.com/pages/publications/85136830779

UR - https://www.scopus.com/pages/publications/85136830779#tab=citedBy

U2 - 10.1007/978-3-319-64495-0_7

DO - 10.1007/978-3-319-64495-0_7

M3 - Chapter

AN - SCOPUS:85136830779

T3 - Computational Music Science

SP - 1419

EP - 1441

BT - Computational Music Science

PB - Springer Nature

ER -

Categories, Topoi, and Logic

Abstract

Publication series

Bibliographical note

Publisher link

Find It

Other files and links

Fingerprint

Cite this