Talk:Category theory

From Citizendium
Revision as of 10:32, 20 May 2008 by imported>J. Noel Chiappa (→‎English, please?: Go ahead in the base page of the article)
Jump to navigation Jump to search
This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
 Definition Loosely speaking, a class of objects and a collection of morphisms which act upon them; the morphisms can be composed, the composition is associative and there are identity objects and rules of identity. [d] [e]
Checklist and Archives
 Workgroup category Mathematics [Categories OK]
 Talk Archive none  English language variant American English

English, please?

An introductory section in English that someone with 'only' beginning college math might understand is desireable. J. Noel Chiappa 07:24, 18 May 2008 (CDT)

I've drafted something. Does it help any? Criticize away, ... Peter Lyall Easthope 14:55, 18 May 2008 (CDT)
I'm having a bit of struggle seeing the common thread among the examples in the intro - and between them and the examples at the end of the article. Perhaps you could explain the concept in words, at slightly more length than "two mathematical concepts .. the object and the map or morphism"? Having done that, having some examples following that text might then be more illuminating. J. Noel Chiappa 15:24, 18 May 2008 (CDT)

Noel, is this any better? Now an introductory essay rather than paragraph.

Languages such as English have nouns and verbs. A noun identifies an object while a verb identifies an action or process. Thus the sentence "Please lift the tray." conjures an image of a tray on a table, a person who can lift it and the tray in its elevated position.
In a pocket calculator, a datum is a number or pair of numbers. The calculator has a selection of operations which can be performed. Given the number 5, pressing the "square" key produces the number 25.
High school mathematics introduces the concepts of set and function. Given the function
f(a) = a2
we know that the solution set for
f(a) = 25
is
{-5, 5}.
The mathematical abstraction drawn from these examples is based on two concepts: objects and the things which act on objects. In category theory, the thing which acts upon an object to produce another object is called a map or morphism.
Morphisms can be composed. In the first example the tray can be lifted L and then rotated R. Composition simply means that two actions such as L and R can be thought of as combined into a single action R∘L. The symbol ∘ denotes composition.
Morphisms are associative. Think of three motions of the tray.
L: Lifting of the tray 10 cm above the table.
R: Rotation of the tray 180 degrees clockwise.
S: Shifting of the tray 1 m north while maintaining the elevated position.
The lift and rotation can be thought of as combined into a single motion followed by the shift; this is denoted S∘(R∘L). Alternatively, the rotation and shift can be thought of as a single motion following the lift: (S∘R)∘L. Associativity simply means that S∘(R∘L) = (S∘R)∘L.
An identity motion is any motion which brings the tray back to a starting position. If M denotes lowering the tray 10 cm then M∘L is an identity motion. The identity rule in the formal definition of a category states that any action preceded or following by the identity is equal to the action alone.
This formal definition embodies the preceding concepts in concise mathematical notation.

... Peter Lyall Easthope 12:40, 19 May 2008 (CDT)

Hi, this is a great improvement. It still needs some work, I expect, but you're now in the right ball-park (or cricket-grounds, depending on which side of the Atlantic you're from :-). A couple of suggestions:
  • Lose the "High school mathematics" example; it doesn't add much, and basically just slows down getting to the text about what category theory actually is.
  • The section about "The mathematical abstraction" could probably use a little more expansion. For example, I am getting the impression (and maybe this is incorrect, if so, apologies) that a 'category' consists of a set of objects, along with a set of maps/morphisms that can be applied to that set, and that category theory allows one to say something about anything which meets that definition? If that's sort of correct, something like that (with any errors I have included fixed, obviously) would be a useful thing to add there.
  • Some text explaining what the importance of category theory is, and what it is used for (i.e. the kinds of problems it can be used on), and how it is used, would be really useful and informative.
Anyway, you're getting there! J. Noel Chiappa 13:28, 19 May 2008 (CDT)
So now which is better: edit the essay where it is or tag the fresh version on here? ...Peter Lyall Easthope 10:17, 20 May 2008 (CDT)
Oh, just go ahead and transplant the text into the base page of the article, and work on it there. That's the usual mode of doing stuff here; it's marked as a draft article that's just getting started. J. Noel Chiappa