Record: found
Abstract: not found
Book Chapter: not found

Weak ω-Categories from Intensional Type Theory

other

Author(s): Peter LeFanu Lumsdaine

Publication date (Print): 2009

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 5

Record: found
Abstract: not found
Article: not found

Monoidal Globular Categories As a Natural Environment for the Theory of Weakn-Categories

M.A. Batanin (1998)

0 comments Cited 36 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Generalised algebraic theories and contextual categories

John Cartmell (1986)

0 comments Cited 28 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

Higher Operads, Higher Categories

Tom Leinster (2004)

0 comments Cited 15 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2009

Pages: 172-187

DOI: 10.1007/978-3-642-02273-9_14

SO-VID: 34bade6e-4b1e-4c32-b654-5a6437d38949

License:

http://www.springer.com/tdm

History

Data availability:

Weak ω-Categories from Intensional Type Theory

Read this book at

Related collections

Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory

Most cited references 5

Monoidal Globular Categories As a Natural Environment for the Theory of Weakn-Categories

Generalised algebraic theories and contextual categories

Higher Operads, Higher Categories

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,795

Cited by 8