Ask your own question, for FREE!
Mathematics 17 Online
OpenStudy (adrimit):

does anyone know about algebraic simplices?

OpenStudy (zzr0ck3r):

sure

OpenStudy (zzr0ck3r):

what exactly do you wan't to know. I may be able to help.

OpenStudy (zzr0ck3r):

Also, I assume you mean simplicies in reference to algebraic topology. I am not sure what an algebraic simplicity is per se.

OpenStudy (zzr0ck3r):

simplex*

OpenStudy (adrimit):

in algebraic geometry and homological algebra

OpenStudy (adrimit):

plural is simplices

OpenStudy (zzr0ck3r):

I know about homology

OpenStudy (zzr0ck3r):

I was correcting myself

OpenStudy (adrimit):

oh. well i have been researching homological algebra and came to simplices and I would like to know more about them

OpenStudy (zzr0ck3r):

well, there is much to know. So do you want to know how to find homology groups for spaces built out of simplicies?

OpenStudy (adrimit):

also I have developed a theory of prime state algebraic logic, and was wondering if i could use simplices to extend my research

OpenStudy (zzr0ck3r):

Simplices are good to compute things. Like you have some space and you want to triangulate it in order to figure out certain invariants. So if you need to compute something (homology for instance) they are great. There are many forms as well. Some have lax rules and are easier to work with but not as rich in theory.... So in short, be more specific :)

OpenStudy (zzr0ck3r):

Munkres and Hatcher both have great books about algebraic topology (this is where the idea of a simplex started).

OpenStudy (adrimit):

I am trying use category theory to prove that simplices are isomorphic to multi-dimensional spheres

OpenStudy (zzr0ck3r):

Do you know what homotopy is?

OpenStudy (zzr0ck3r):

What does isomorphism mean in terms of a general category?

OpenStudy (adrimit):

i have come across the term, but I am not very familiar with it yet

OpenStudy (adrimit):

by isomorphic, i mean there exists some map from the category of simplices to the category of spheres that is both an epimorphism and a monomorphism

OpenStudy (adrimit):

also, what is the difference between a functor and a morphism?

OpenStudy (zzr0ck3r):

I see a n-simplex as being homeotopic to a n-sphere. Which means we can "stretch" one into the other. So I am guessing your question is the same thing. But when you say a function from the catagory you lost me.

OpenStudy (adrimit):

do you know anything about category theory?

OpenStudy (zzr0ck3r):

I know about rings groups and fields

OpenStudy (zzr0ck3r):

But when you say a function from the category of simplices to the category of n-spheres then the domain is a set of n-simplices and I am not sure of the operation...

OpenStudy (zzr0ck3r):

there is no great difference between functors an morphisms. Functors are homomorphisms on categories. Morphism just means structure preserving and so depending on the structure you are preserving...

OpenStudy (adrimit):

i see. In the book i am reading, there was an entire chapter devoted to category theory. I have found a way to determine uniquely a multi-dimensional sphere with a set of linearly independent points. these points can also be thought of as the vertices of a homological simplex.

OpenStudy (zzr0ck3r):

yes for sure. The convex hull of your linearly independent points

OpenStudy (adrimit):

|dw:1464849239243:dw|

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!