categories - Category Theory list
 help / color / mirror / Atom feed
* Terminology; categorical versus categorial.
@ 2012-09-06 18:39 peasthope
  2012-09-07 15:12 ` Michael Barr
                   ` (4 more replies)
  0 siblings, 5 replies; 7+ messages in thread
From: peasthope @ 2012-09-06 18:39 UTC (permalink / raw)
  To: categories; +Cc: peasthope

Apologies in case this story is in the archive.  I failed to find it.

According to online dictionaries, categorical and categorial can be 
synonyms.  Almost everyone seems to prefer categorical whereas 
categorial comes from the simple rule of replacing the last vowel of 
the noun with "ial".

So, is the preference for categorical just an inheritance from early 
authors?  Is there a stronger reason to use it?  Is the explanation 
in the archive?

Thanks,            ... Peter E.



-- 
123456789 123456789 123456789 123456789 123456789 123456789 123456789 12
Telephone +13606390202.  Bcc: peter at easthope.ca  http://carnot.yi.org/   
"http://members.shaw.ca/peasthope/index.html#Itinerary "



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Terminology; categorical versus categorial.
  2012-09-06 18:39 Terminology; categorical versus categorial peasthope
@ 2012-09-07 15:12 ` Michael Barr
  2012-09-07 15:39 ` Graham White
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 7+ messages in thread
From: Michael Barr @ 2012-09-07 15:12 UTC (permalink / raw)
  To: peasthope; +Cc: categories

Someone (Lambek?) used a title of the sort "On categorical and categorial
grammars".  Categorial grammars are based on grammatical categories such
as noun, verb, etc.  That doesn't explain why categorists have always used
"categorical", but it is a minor reason not to change.  Of course, the
major reason is that there is no reason to change.

Michael

-- 
The modern conservative is engaged in one of man's oldest exercises in
moral philosophy--the search for a superior moral justification
for selfishness.  --J.K. Galbraith


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Terminology; categorical versus categorial.
  2012-09-06 18:39 Terminology; categorical versus categorial peasthope
  2012-09-07 15:12 ` Michael Barr
@ 2012-09-07 15:39 ` Graham White
  2012-09-07 21:48   ` Charles Wells
  2012-09-07 16:18 ` Robert Seely
                   ` (2 subsequent siblings)
  4 siblings, 1 reply; 7+ messages in thread
From: Graham White @ 2012-09-07 15:39 UTC (permalink / raw)
  To: peasthope; +Cc: categories

One factor might be that the philosophical tradition also has the
terminology "category", but means rather different things by it,
and they tend to use "categorial" (I think, but I haven't really
checked). In particular, both Kant and Husserl use categorial a lot.
So (since we started using the word category later than the philosophers
did) saying "categorical" is a way of avoiding confusion.

(Philosophers do use the pair hypothetical/categorical as a way of
talking about preconditions for assertions, but that's so different from
what we do that it's unlikely to cause confusion). All of this is off
the top of my head, and could do with checking.

Graham

On 06/09/12 19:39, peasthope@shaw.ca wrote:
> Apologies in case this story is in the archive.  I failed to find it.
>
> According to online dictionaries, categorical and categorial can be
> synonyms.  Almost everyone seems to prefer categorical whereas
> categorial comes from the simple rule of replacing the last vowel of
> the noun with "ial".
>
> So, is the preference for categorical just an inheritance from early
> authors?  Is there a stronger reason to use it?  Is the explanation
> in the archive?
>
> Thanks,            ... Peter E.
>
>
>



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Terminology; categorical versus categorial.
  2012-09-06 18:39 Terminology; categorical versus categorial peasthope
  2012-09-07 15:12 ` Michael Barr
  2012-09-07 15:39 ` Graham White
@ 2012-09-07 16:18 ` Robert Seely
  2012-09-07 17:58 ` Robert Dawson
  2012-09-07 19:57 ` Peter Selinger
  4 siblings, 0 replies; 7+ messages in thread
From: Robert Seely @ 2012-09-07 16:18 UTC (permalink / raw)
  To: peasthope; +Cc: categories

AFAIK, the only (main?) use of "categorial" is in the context of
categorial grammar (a monoidal-category approach to linguistics,
roughly) - and it'd probably cause confusion now if it moved into
other applications of category theory.

-= rags =-

On Thu, 6 Sep 2012, peasthope@shaw.ca wrote:

> Apologies in case this story is in the archive.  I failed to find it.
>
> According to online dictionaries, categorical and categorial can be
> synonyms.  Almost everyone seems to prefer categorical whereas
> categorial comes from the simple rule of replacing the last vowel of
> the noun with "ial".
>
> So, is the preference for categorical just an inheritance from early
> authors?  Is there a stronger reason to use it?  Is the explanation
> in the archive?
>
> Thanks,            ... Peter E.
>
>
>
>

-- 
<rags@math.mcgill.ca>
<www.math.mcgill.ca/rags>


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Terminology; categorical versus categorial.
  2012-09-06 18:39 Terminology; categorical versus categorial peasthope
                   ` (2 preceding siblings ...)
  2012-09-07 16:18 ` Robert Seely
@ 2012-09-07 17:58 ` Robert Dawson
  2012-09-07 19:57 ` Peter Selinger
  4 siblings, 0 replies; 7+ messages in thread
From: Robert Dawson @ 2012-09-07 17:58 UTC (permalink / raw)
  To: peasthope; +Cc: categories

On 06/09/2012 3:39 PM, peasthope@shaw.ca wrote:
> Apologies in case this story is in the archive.  I failed to find it.
>
> According to online dictionaries, categorical and categorial can be
> synonyms.  Almost everyone seems to prefer categorical whereas
> categorial comes from the simple rule of replacing the last vowel of
> the noun with "ial".
>
> So, is the preference for categorical just an inheritance from early
> authors?  Is there a stronger reason to use it?  Is the explanation
> in the archive?

 	Firstly, the usage goes back far before category theory. The early
authors include Kant and W. S. Gilbert.

           Secondly, I think "categorical" has always been the more
common usage.

 	Robert


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Terminology; categorical versus categorial.
  2012-09-06 18:39 Terminology; categorical versus categorial peasthope
                   ` (3 preceding siblings ...)
  2012-09-07 17:58 ` Robert Dawson
@ 2012-09-07 19:57 ` Peter Selinger
  4 siblings, 0 replies; 7+ messages in thread
From: Peter Selinger @ 2012-09-07 19:57 UTC (permalink / raw)
  To: peasthope; +Cc: categories

According to the Merriam Webster dictionary, the etymology of
"categorical" derives, via Latin, from Greek kategorikos, which seems
to be a Greek adjective derived from kategoria.

This seems to be consistent with other English words deriving from
Greek adjectives ending in -kos, such as logikos (from logos) and
graphikos (from graphein), explaining "geographical", "psychological",
and so on.

I found one online source claiming "Greek adjectives that end in -kos
do not describe the substance out of which something is made. They
describe the force that is animating the thing in question", but I
don't know if it's a reliable source. See also page 28 in this book
(from 1772, copyright probably expired):

books.google.com.ar/books?id=o6EDAAAAQAAJ&pg=PA28

-- Peter

peasthope@shaw.ca wrote:
>
> Apologies in case this story is in the archive.  I failed to find it.
>
> According to online dictionaries, categorical and categorial can be=20
> synonyms.  Almost everyone seems to prefer categorical whereas=20
> categorial comes from the simple rule of replacing the last vowel of=20
> the noun with "ial".
>
> So, is the preference for categorical just an inheritance from early=20
> authors?  Is there a stronger reason to use it?  Is the explanation=20
> in the archive?
>
> Thanks,            ... Peter E.
>

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Re: Terminology; categorical versus categorial.
  2012-09-07 15:39 ` Graham White
@ 2012-09-07 21:48   ` Charles Wells
  0 siblings, 0 replies; 7+ messages in thread
From: Charles Wells @ 2012-09-07 21:48 UTC (permalink / raw)
  To: Graham White, categories

Logicians also use "categorical" to refer to a theory with just one
model.  --Charles

On Fri, Sep 7, 2012 at 10:39 AM, Graham White <graham@eecs.qmul.ac.uk> wrote:
> One factor might be that the philosophical tradition also has the
> terminology "category", but means rather different things by it,
> and they tend to use "categorial" (I think, but I haven't really
> checked). In particular, both Kant and Husserl use categorial a lot.
> So (since we started using the word category later than the philosophers
> did) saying "categorical" is a way of avoiding confusion.
>
> (Philosophers do use the pair hypothetical/categorical as a way of
> talking about preconditions for assertions, but that's so different from
> what we do that it's unlikely to cause confusion). All of this is off
> the top of my head, and could do with checking.
>
> Graham
>
> On 06/09/12 19:39, peasthope@shaw.ca wrote:
>>
>> Apologies in case this story is in the archive.  I failed to find it.
>>
>> According to online dictionaries, categorical and categorial can be
>> synonyms.  Almost everyone seems to prefer categorical whereas
>> categorial comes from the simple rule of replacing the last vowel of
>> the noun with "ial".
>>
>> So, is the preference for categorical just an inheritance from early
>> authors?  Is there a stronger reason to use it?  Is the explanation
>> in the archive?
>>
>> Thanks,            ... Peter E.
>>
>>
>>
>

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 7+ messages in thread

end of thread, other threads:[~2012-09-07 21:48 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-09-06 18:39 Terminology; categorical versus categorial peasthope
2012-09-07 15:12 ` Michael Barr
2012-09-07 15:39 ` Graham White
2012-09-07 21:48   ` Charles Wells
2012-09-07 16:18 ` Robert Seely
2012-09-07 17:58 ` Robert Dawson
2012-09-07 19:57 ` Peter Selinger

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).