24 results
Contributors
-
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
1 - Categories
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 1-33
-
- Chapter
- Export citation
2 - Basic gadgetry
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 34-71
-
- Chapter
- Export citation
4 - Limits and colimits in general
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 108-147
-
- Chapter
- Export citation
3 - Functors and natural transformations
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 72-107
-
- Chapter
- Export citation
Index
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 224-226
-
- Chapter
- Export citation
6 - Posets and monoid sets
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 190-222
-
- Chapter
- Export citation
Bibliography
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 223-223
-
- Chapter
- Export citation
An Introduction to Category Theory
-
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011
5 - Adjunctions
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 148-189
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp i-iv
-
- Chapter
- Export citation
Contents
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp v-vi
-
- Chapter
- Export citation
Preface
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp vii-x
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- The Cambridge Dictionary of Christianity
- Published online:
- 05 August 2012
- Print publication:
- 20 September 2010, pp xi-xliv
-
- Chapter
- Export citation
The glueing construction and lax limits
-
- Journal:
- Mathematical Structures in Computer Science / Volume 4 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 04 March 2009, pp. 393-431
-
- Article
- Export citation
Tiering as a Recursion Technique
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 321-350
- Print publication:
- September 2005
-
- Article
- Export citation
Contents
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp v-vi
-
- Chapter
- Export citation
Programme of lectures
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp ix-x
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp i-iv
-
- Chapter
- Export citation
Proof Theory
- A selection of papers from the Leeds Proof Theory Programme 1990
-
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993