Skip to main content
  • Conference proceedings
  • © 1991

Category Theory

Proceedings of the International Conference held in Como, Italy, July 22-28, 1990

Part of the book series: Lecture Notes in Mathematics (LNM, volume 1488)

Buy it now

Buying options

eBook USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (28 papers)

  1. Front Matter

    Pages I-VI
  2. Some thoughts on the future of category theory

    • F. William Lawvere
    Pages 1-13
  3. What are locally generated categories?

    • Jiří Adámek, Jiří Rosický
    Pages 14-19
  4. Some remarks on free monoids in a topos

    • Jean Benabou
    Pages 20-29
  5. A generic sheaf representation for rings

    • Francis Borceux, Gilberte Van den bossche
    Pages 30-42
  6. Computing quotients of actions of a free category

    • S. Carmody, R. F. C. Walters
    Pages 63-78
  7. A long exact sequence in non-abelian cohomology

    • Antonio M. Cegarra, Antonio R. Garzón
    Pages 79-94
  8. Algebraically complete categories

    • Peter Freyd
    Pages 95-104
  9. First steps in synthetic domain theory

    • J. M. E. Hyland
    Pages 131-156
  10. Precategories and Galois theory

    • George Janelidze
    Pages 157-173
  11. How algebraic is the change-of-base functor?

    • George Janelidze, Walter Tholen
    Pages 174-186
  12. Fixpoint and loop constructions as colimits

    • C. Barry Jay
    Pages 187-192
  13. Preframe presentations present

    • Peter Johnstone, Steven Vickers
    Pages 193-212
  14. Strong stacks and classifying spaces

    • André Joyal, Myles Tierney
    Pages 213-236
  15. Trees in distributive categories

    • S. Kasangian, S. Vigna
    Pages 237-248

About this book

With one exception, these papers are original and fully refereed research articles on various applications of Category Theory to Algebraic Topology, Logic and Computer Science. The exception is an outstanding and lengthy survey paper by Joyal/Street (80 pp) on a growing subject: it gives an account of classical Tannaka duality in such a way as to be accessible to the general mathematical reader, and to provide a key for entry to more recent developments and quantum groups. No expertise in either representation theory or category theory is assumed. Topics such as the Fourier cotransform, Tannaka duality for homogeneous spaces, braided tensor categories, Yang-Baxter operators, Knot invariants and quantum groups are introduced and studies. From the Contents: P.J. Freyd: Algebraically complete categories.- J.M.E. Hyland: First steps in synthetic domain theory.- G. Janelidze, W. Tholen: How algebraic is the change-of-base functor?.- A. Joyal, R. Street: An introduction to Tannaka duality and quantum groups.- A. Joyal, M. Tierney: Strong stacks andclassifying spaces.- A. Kock: Algebras for the partial map classifier monad.- F.W. Lawvere: Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes.- S.H. Schanuel: Negative sets have Euler characteristic and dimension.-

Bibliographic Information

  • Book Title: Category Theory

  • Book Subtitle: Proceedings of the International Conference held in Como, Italy, July 22-28, 1990

  • Editors: Aurelio Carboni, Maria Cristina Pedicchio, Guiseppe Rosolini

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0084207

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1991

  • Softcover ISBN: 978-3-540-54706-8Published: 23 October 1991

  • eBook ISBN: 978-3-540-46435-8Published: 14 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: VIII, 496

  • Topics: Topology, Algebraic Topology, Mathematical Logic and Foundations, Computer Science, general

Buy it now

Buying options

eBook USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access