You are seeing Ask web results for category theory because there was not a match on Dictionary.com.
|
Category theory has come to occupy a central position in contemporary mathematics and theoretical computer science, and is also applied to mathematical physics. Roughly, it is a general mathematical theory of structures and of systems of structures.
|
|
Category theory - Wikipedia, the free encyclopedia
|
||
|
Why should we be interested in Category Theory? How much Category Theory is it useful to know? What kinds of things can you do with Category Theory in Software Engineering? (for the ASE audience) Does Category Theory help us to automate things?
|
||
|
This is going to be a short but sweet post on topology. 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...
|
||
|
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. ... Category theory is popular among algebraic topologists. Typically an algebraic topologist will try to assign algebraic invariants to topological structures.
|
||
|
Limit (category theory) - Wikipedia, the free encyclopedia
|
||
|
6. Balanced category theory Claudio Pisani, 85-115 abstract | dvi | ps | pdf ... Proceedings of the International Category Theory Conference, CT 2006 The organizers, 1-3 pdf ... 2. Polarized category theory, modules, and game semantics J.R.B. Cockett and R.A.G. Seely, 4-101 abstract | dvi | ps | pdf...
|
||
|
This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions we feel are basic to category theory in the context of examples and applications to computing science. Some categorical ideas and constructions are...
|
||
|
A Gentle Introduction to Category Theory - the calculational approach ... In these notes we present the important notions from category theory. The intention is to provide a fairly good skill in manipulating with those concepts formally.
|
||
|
There are several good introductions to category theory, each written for a different audience. However, I have never seen one aimed at someone trained as a programmer rather than as a computer scientist or as a mathematician.
|
.svg){kind=link}