In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions ...
en.wikipedia.org/wiki/Category_theory - Cached - Similar

Category theory has come to occupy a central position in contemporary mathematics and theoretical computer science, and is also applied to mathematical ...
plato.stanford.edu/entries/category-theory/ - Similar
by JP Marquis - 2007 - Cited by 8 - Related articles - All 4 versions

by Steve Awodey - 2006 - Mathematics - 256 pages
This text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but also researchers and students...
books.google.com/books?isbn=0198568614...

File Format: PDF/Adobe Acrobat - View
Your browser may not have a PDF reader available. Google recommends visiting our text version of this document.
What kinds of things can you do with Category Theory in. Software Engineering? ... Why is category theory relevant to software engineering? ...
www.cs.toronto.edu/~sme/presentations/cat101.pdf - Similar
by S Easterbrook - 1998 - Cited by 3 - Related articles

Remember way back when I started writing about category theory? I said that the reason for doing that was because it's such a useful tool for talking about. ...
scienceblogs.com/goodmath/goodmath/category_theory/ - Cached - Similar

by Michel Bidoit - 1991 - Computers - 98 pages
This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification.
books.google.com/books?isbn=3540540601...

In fact, MacLane said: "I did not invent category theory to talk about functors. I invented it to talk about natural transformations." Huh? Wait and see. ...
math.ucr.edu/home/baez/categories.html - Cached - Similar

File Format: PDF/Adobe Acrobat
Your browser may not have a PDF reader available. Google recommends visiting our text version of this document.
This is a version of Computational Category Theory that is available .... stand the computational significance of theorems in category theory and ...
www.cs.man.ac.uk/~david/categories/book/book.pdf - Similar
by DE Rydeheard - Cited by 157 - Related articles - All 13 versions

Subjects: Category Theory (math.CT); Rings and Algebras (math.RA) ... Subjects: Quantum Physics (quant-ph); Category Theory (math.CT); Quantum Algebra (math ...
arxiv.org/list/math.CT/recent - Cached - Similar
by DC Cisinski - Cited by 2 - Related articles - All 4 versions

Jan 16, 2009 ... Category theory can be helpful in understanding Haskell's type system. There exists a "Haskell category", of which the objects are Haskell ...
www.haskell.org/haskellwiki/Category_theory - Cached - Similar