Talk:Glossary of category theory

From Wikipedia, the free encyclopedia

I started this article, as there are many terms in category theory and the glossary article can come handy like many others. I know there are a good deal of overlaps right now but I think we can keep each main article (e.g., category (mathematics) focusing on more theorems and basic notions, and less on definitions and terminology. It is generally a bad idea to bombard readers with unfamiliar terms. -- Taku 07:05, August 6, 2005 (UTC)

Contents

[edit] a/the - language question

I'm not a native speaker, but:

CAT is the quasicategory of all categories

sounds imho better than.

CAT is a quasicategory of all categories

--Kompik 15:13, 20 February 2006 (UTC)

[edit] Construct/concrete category

The book Abstract and Concrete Categories uses construct in the same meaning as concrete category is used in the glossary. (Construct is a concrete category over Set - Definition 5.1) --Kompik 15:13, 20 February 2006 (UTC)

[edit] Sorting

All sections apart from the first are alphabetically sorted. I cannot see the reason why the items in the first section are ordered in this way. --Kompik 15:16, 20 February 2006 (UTC)

[edit] 2007-02-1 Automated pywikipediabot message

This page has been transwikied to Wiktionary.
The article has content that is useful at Wiktionary. Therefore the article can be found at either here or here (logs 1 logs 2.)

Note: This means that the article has been copied to the Wiktionary Transwiki namespace for evaluation and formatting. It does not mean that the article is in the Wiktionary main namespace, or that it has been removed from Wikipedia's. Furthermore, the Wiktionarians might delete the article from Wiktionary if they do not find it to be appropriate for the Wiktionary.

Removing this tag will usually trigger CopyToWiktionaryBot to re-transwiki the entry. This article should have been removed from Category:Copy to Wiktionary and should not be re-added there.

--CopyToWiktionaryBot 14:32, 1 February 2007 (UTC)

[edit] A quasicategory is not a category

The article says "A category A is said to be: ... quasicategory provided that objects in A may not form a class and morphisms between objects A and B may not form a set". If the objects do not form a class and Mor(A,B) does not form a set, the thing is not a category. The definition of "quasicategory" should be moved out to its own paragraph. —Preceding unsigned comment added by 83.250.109.195 (talk) 18:10, 5 March 2008 (UTC)