Showing 1 - 20 results of 134 for search '"category theory"', query time: 0.24s Refine Results
  1. 1

    Category theory ; lectures / by Hilton, Peter, 1923-2010

    Hamilton, N.Y. : Dept. of Mathematics, Colgate University, 1972
    Format: Book


  2. 2

    Category theory : an introduction / by Herrlich, Horst

    Berlin : Heldermann, 1979
    2nd ed.
    Format: Book


  3. 3

    Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 /

    Berlin : New York. Springer-Verlag, 1991
    Format: Book


  4. 4

    Category theory; an introduction by Herrlich, Horst, Strecker, George E.

    Boston, Allyn and Bacon 1973
    Format: Book


  5. 5

    Category theory / by Awodey, Steve, 1959-

    Oxford : Oxford ; New York : Clarendon Press ; Oxford University Press, 2006
    Format: Book


  6. 6

    Category theory : proceedings of the International Conference on Category Theory: Applications to Algebra, Logic, and Topology, held at Gummersbach, July 6-10, 1981 /

    Berlin : New York. Springer-Verlag, 1982
    Format: Conference Proceeding Book


  7. 7

    Involutive category theory / by Yau, Donald Y. (Donald Ying), 1977-

    Cham, Switzerland : Springer, 2020
    Table of Contents: “…Intro -- Preface -- Contents -- 1 Category Theory -- 1.1 Basic Concepts of Category Theory -- 1.2 Monoidal Categories -- 1.3 Monads -- 1.4 Colimits in Cat -- 1.5 Exercises and Notes -- 1.5.1 Notes -- 2 Involutive Categories -- 2.1 Definition and Examples -- 2.2 Involutive Functors -- 2.3 Involutive Natural Transformations and Adjunctions -- 2.4 Involutive Equivalences -- 2.5 Involutive Objects -- 2.6 Lifting Structures to Involutive Objects -- 2.7 Exercises and Notes -- 3 Coherence of Involutive Categories -- 3.1 Free Strict Involutive Categories -- 3.2 Free Involutive Categories…”
    Format: Book


  8. 8

    Basic category theory / by Leinster, Tom, 1971-

    Cambridge : Cambridge University Press, 2014
    Format: Book


  9. 9

    Category theory 1991 : proceedings of an International Summer Category Theory Meeting, held June 23-30, 1991 /

    Providence, R.I. : Published by the American Mathematical Society for the Canadian Mathematical Society, 1992
    Format: Conference Proceeding Book


  10. 10

    Category theory at work /

    Berlin : Heldermann Verlag, 1991
    Format: Book


  11. 11

    Higher category theory : Workshop on Higher Category Theory, March 28-30, 1997, Northwestern University, Evanston, IL /

    Providence, R.I. : American Mathematical Society, 1998
    Format: Conference Proceeding Book


  12. 12

    Category theory for the sciences / by Spivak, David I., 1978-

    Cambridge, Massachusetts : The MIT Press, 2014
    Format: Book


  13. 13

    Higher category theory : Workshop on Higher Category Theory and Physics, March 28-30, 1997, Northwestern University, Evanston, IL /

    Providence, R.I. : American Mathematical Society, 1998
    Format: Conference Proceeding Book


  14. 14

    An introduction to category theory / by Krishnan, V. Sankrithi (Viakalathur Sankrithi), 1919-

    New York : North Holland, 1981
    Format: Book


  15. 15

    Category theory in context / by Riehl, Emily

    Mineola, New York : Dover Publications, 2016
    Table of Contents: “…Categories, functors, natural transformations -- Universal properties, representability, and the Yoneda lemma -- Limits and colimits -- Adjunctions -- Monads and their algebras -- All concepts are Kan extensions -- Epilogue : theorems in category theory.…”
    Format: Book


  16. 16

    Category theory for programmers / by Milewski, Bartosz

    [Place of publication not identified] : [Bartosz Milewski], 2019
    Version v1.3.0
    Format: Book


  17. 17

    Category theory and computer science : proceedings.

    Format: Conference Proceeding


  18. 18

    Algebra, topology, and category theory : a collection of papers in honor of Samuel Eilenberg /

    New York : Academic Press, 1976
    Format: Book


  19. 19

    Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings /

    Berlin ; New York : Springer-Verlag, 1987
    Format: Book


  20. 20

    Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings /

    Berlin ; New York : Springer-Verlag, 1986
    Format: Book