Adjonction : Het-bifoncteurs et Hom-bifoncteurs

HENOSOPHIA τοποσοφια μαθεσις υνι√ερσαλις οντοποσοφια

suite de :
https://meditationesdeprimaphilosophia.wordpress.com/2015/10/04/foncteurs-adjoints-et-heteromorphismes-les-het-bifoncteurs/

qui est dans un état assez peu satisfaisant, je n’arrive plus à suivre les changements sur WordPress au fur et à mesure des nouvelles versions IOS qui apparaissent toutes les semainesà peu près …
bref nous suivons ce travail de David Ellerman :
http://www.ellerman.org/Davids-Stuff/Maths/Het-Theory.pdf

paragraphe 2 (“Overview of the theory of adjoints”)

Un étéromorphisme est une flèche entre deux objets appartenant à des catégories différentes , alors qu’un homomorphisme est une flèche entre deux objets appartenant à la même catégorie.
on note une hétéromorphisme avec une flèche à double trait, ce qui équivaut au signe de l’implication en logique:

en html ce signe s’écrit avec “rArr” (mais il ne faut pas mettre de guillemets), placée comme d’habitude entre les signes & et ; et pour obtenir une flèehce simple ? on écrit la suite “rarr” (comme “right arrow”) entre les signes & et ;
Pour…

View original post 593 more words

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s