Homotopy type theory: the logic of space

• Published in 2017
• Added on 2017-05-03

This is an introduction to type theory, synthetic topology, and homotopy type theory from a category-theoretic and topological point of view, written as a chapter for the book "New Spaces for Mathematics and Physics" (ed. Gabriel Catren and Mathieu Anel).

Links

• http://arxiv.org/abs/1703.03007v1
• http://arxiv.org/pdf/1703.03007v1

Other information

BibTeX entry

@article{Homotopytypetheorythelogicofspace,
	key = {Homotopytypetheorythelogicofspace},
	type = {article},
	title = {Homotopy type theory: the logic of space},
	author = {Michael Shulman},
	abstract = {This is an introduction to type theory, synthetic topology, and homotopy type
theory from a category-theoretic and topological point of view, written as a
chapter for the book "New Spaces for Mathematics and Physics" (ed. Gabriel
Catren and Mathieu Anel).},
	comment = {},
	date_added = {2017-05-03},
	date_published = {2017-10-09},
	urls = {http://arxiv.org/abs/1703.03007v1,http://arxiv.org/pdf/1703.03007v1},
	collections = {},
	url = {http://arxiv.org/abs/1703.03007v1 http://arxiv.org/pdf/1703.03007v1},
	urldate = {2017-05-03},
	archivePrefix = {arXiv},
	eprint = {1703.03007},
	primaryClass = {math.CT},
	year = 2017
}