Posts Tagged ‘equivalence’

Notions of Equivalence

May 9, 2014

sq_equivalencesRecently I have been wondering what different notions of equivalence are possible. Thinking about one of my favorite fourfolds — Structure-Function — with help from the fourfold of The One and the Many, I have (naturally) come up with four notions: Identities, Isomorphisms, Confluences, and Indiscernibles.

Identities: One as One. In mathematics, an identity is an equivalence between two (or more) things that are really just the same thing. One can say there is an equivalence relation between the things and they are part of the same equivalence class. In equations, each thing can be substituted for the other thing because they are really just the same thing! In my consideration, Actions have these kind of identities, and so it is a reasonable term to use for Actions in the Structure-Function fourfold.

Isomorphisms: One as Many. In mathematics, an isomorphism is an equivalence between two (or more) things that have the same (mathematical) structure. Another way to consider this is to say that there is a paradigm or model that is representative of all the things that have this same structure. Thus it is a good term to use for Structures in the Structure-Function fourfold.

Confluences: Many as One. In logic, computer science (rewriting theory), and mathematics, a confluence is an equivalence between two (or more) things that can each be transformed into the same, maybe different, thing. Confluences can be used for this notion of equivalence because if one says that two rivers are confluent, then that means that they both flow into another larger river. Thus I think it is a valuable term to use for Functions in the Structure-Function fourfold.

Indiscernibles: Many as Many. In philosophy and perhaps physics, an indiscernible is an equivalence between two (or more) things where one cannot tell the difference between them. Thus it is a useful term to use for Parts in the Structure-Function fourfold. Another term to consider using is Substitutivities. Thus I do not believe I agree with the principle of the Identity of Indiscernibles since I think that would collapse my two notions of Identities and Indiscernibles into one. For instance, atoms of gold may be indiscernible from one another but that doesn’t mean they are the same atom.

To Do:

A recent foundational project for mathematics starts with the following:

Univalence Axiom: (A = B) ~ (A ~ B): Identity is equivalent to equivalence.

At this time I do not understand the implications of this axiom and how it might impact my four notions of equivalence.

Notes:

Perhaps Extensionalities would  be a better choice than Confluences.

References:

http://en.wikipedia.org/wiki/Identity_%28mathematics%29

http://en.wikipedia.org/wiki/Isomorphism

http://en.wikipedia.org/wiki/Confluence_%28abstract_rewriting%29

http://en.wikipedia.org/wiki/Indiscernibles

The HoTT Book: Homotopy Type Theory: Univalent Foundations of Mathematics

http://homotopytypetheory.org/book/

http://en.wikipedia.org/wiki/Univalence_axiom

http://plato.stanford.edu/entries/identity-indiscernible/

http://en.wikipedia.org/wiki/Extensionality

[*8.17, *8.40]

<>


  Bartosz Milewski's Programming Cafe

Category Theory, Haskell, Concurrency, C++

The Inquisitive Biologist

Reviewing fascinating science books since 2017

Paleofuture

Every Fourth Thing

Simplicity

Derek Wise's blog: Mathematics, Physics, Computing and other fun stuff.

COMPLEMENTARY 4x

integrating 4 binary opposites in life, learning, art, science and architecture

INTEGRATED 4x

integrating 4 binary opposites in life, learning, art, science and architecture

Playful Bookbinding and Paper Works

Chasing the Paper Rabbit

Antinomia Imediata

experiments in a reaction from the left

Digital Minds

A blog about computers, evolution, complexity, cells, intelligence, brains, and minds.

Social Systems Theory

A blog inspired by Niklas Luhmann and other social theorists

philosophy maps

mind maps, infographics, and expositions

hyde and rugg

neat ideas from unusual places

John Kutensky

The way you think it is may not be the way it is at all.

Visions of Four Notions

Introduction to a Quadralectic Epistomology

Explaining Science (formerly The Science Geek)

Astronomy, space and space travel for the non scientist

Log24

Every Fourth Thing

Ideas Without End

A Serious Look at Trivial Things

Quadralectic Architecture

A Survey of Tetradic Testimonials in Architecture

Minds and Brains

Musings from a Naturalist

Quadriformisratio

Four-fold thinking4you

Multisense Realism

Craig Weinberg's Cosmology of Sense

RABUJOI - An Anime Blog

Purveyors of Fine Anime Reviews and Ratings Since 2010

Intra-Being

Between Subject and Object

The Woodring Monitor

Every Fourth Thing

FORM & FORMALISM

Every Fourth Thing

Log24

Every Fourth Thing

The n-Category Café

Every Fourth Thing

ECOLOGY WITHOUT NATURE

Every Fourth Thing

PHILOSOPHY IN A TIME OF ERROR

Sometimes those Sticking their Heads in the Sand are Looking for Something Deep

Networkologies

Online Home of Christopher Vitale, Associate Professor of Media Studies, The Graduate Program in Media Studies, Pratt Institute, Brooklyn, NY.

DEONTOLOGISTICS

Researching the Demands of Thought

Aberrant Monism

Spinozism and Life in the Chaosmos

Object-Oriented Philosophy

"The centaur of classical metaphysics shall be mated with the cheetah of actor-network theory."

Objects & Things

objects & things, design, art & technology

%d bloggers like this: