categories - Category Theory list
 help / color / mirror / Atom feed
* composite qualities (extensive x intensive)
@ 2021-10-19  1:55 Posina Venkata Rayudu
  0 siblings, 0 replies; only message in thread
From: Posina Venkata Rayudu @ 2021-10-19  1:55 UTC (permalink / raw)
  To: categories

Dear All,

I hope and pray that you and your families are all well.

If I may, space, according to Kant, is the form of intuition, i.e. the
canonical extensive quality of intuition.

Along similar lines, time, according to Proust, is the shape of
memory, i.e. the canonical extensive quality of memory.

Now, given a category of objects, we can find out its qualities.  For
example, the category of irreflexive graphs satisfies one of the
axioms of cohesion (see F. William Lawvere, 2007, Axiomatic Cohesion;, which is: subobject
classifier is 1 piece (see Lawvere and Schanuel, Conceptual
Mathematics, p. 345), but doesn't satisfy another cohesion axiom:
pieces of product equals the product of pieces of the factors (p(A x
A) = 3, while p(A) x p(A) = 1 x 1 = 1, where A = * ---> *, one of the
two basic shapes of the category of irreflexive graphs).  However,
reflexive graphs, wherein arrows have distinguished loops as sources
and targets, satisfy the product preservation of the pieces functor
(for illustration see Fig. 6 in  Simply put, given a
category, we can see if it is cohesive; its qualities: both extensive
and intensive qualities.

Now, according to Poincaré (see p. 45 in F. William Lawvere, Axiomatic

Extensive E and intensive I qualities jointly reflect isomorphisms.
For example, with (E1 x I1) and (E2 x I2) as products of the canonical
extensive AND intensive qualities of two cohesive objects C1 and C2,
respectively, if composite quality E1 x I1 is isomorphic to E2 x I2,
then the cohesive object C1 is isomorphic to C2 (see pp. 173-174 in
Lawvere and Schanuel's Conceptual Mathematics).

In light of the above, I was wondering if we can characterize the
nature of a category whose extensive quality is space and/or that of a
category whose extensive quality is time.  Isn't it a problem of
knowing only one of the two variables of a 2-variable function (e.g.
instead of a surface on a plane we have a curve).

Independent of Kant and Proust, isn't it mathematically interesting to
know if the calculation of qualities of a category can be inverted
(not necessarily isomorphisms, but, say, inverse images or fibers of a
map from the category C of categories to a product category E x I of
extensive and intensive quality types)?

Returning to Poincaré, is the product category (E x I) of categories
of extensive (E) and intensive (I) quality types coadequate for the
category C of categories?

Now, given a functor

C ---> E x I

we get a pair of functors

C ---> E AND C ---> I

by aft composition with corresponding projections to factor categories E and I.

With extensive quality

E = S

(category of spaces/modes of cohesion), we get to know how the
codomain intensive qualities I structure the domain category C of
categories.  Similarly, with extensive quality

E = T

(category of time(s?)/types of change), we get to know how intensive
qualities structure the category of categories.

These calculations can then be brought to bear on the nature of and
relations between intuition and memory (since they have space and time
as their respective extensive qualities; for worked out examples of
cohesive categories (reflexive graphs) and quality types
(idempotents), see:

I look forward to your corrections of any mistakes I might have made
in my description of extensive and intensive qualities.

Thanking you,

[For admin and other information see: ]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-10-19  1:55 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-10-19  1:55 composite qualities (extensive x intensive) Posina Venkata Rayudu

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox