CCC : cartesian closed category (catégories cartésiennes fermées)

Henosophia Τοποσοφια οντοποσοφια μαθεσις uni√ersalis ενοσοφια

Une catégorie est dite

cartésienne

si elle possède un objet terminal et si tout couple d’objets possède un produit.

https://fr.m.wikipedia.org/wiki/Catégorie_cartésienne

https://fr.m.wikipedia.org/wiki/Produit_(catégorie)

Rappel : objet terminal comme produit sont deux exemples de limites d’un diagramme

https://mathesisuniversalis2.wordpress.com/2015/08/21/diagrammes-cones-et-limites-dans-une-categorie/

Un objet terminal (c’est à dire tel qu’il existe une flèche unique dirigée de tout objet de la catégorie vers cet objet terminal) est limité du diagramme vide (“goutte de néant qui manque à la mer”), un produit de deux objets est la limite du diagramme formé par ces deux objets uniquement (sans flèches)

Une catégorie cartésienne est dite fermée si elle est aussi munie de l’exponentiation, si pour tout couple d’objets Z et Y il existe un objet exponentielle ZYhttps://fr.m.wikipedia.org/wiki/Objet_exponentiel

La page en anglais sur les CCC est nettement meilleure:

https://en.m.wikipedia.org/wiki/Cartesian_closed_category

Une exponentielle est définie aussi comme limite d’un diagramme:


image

On comprend plus facilement si l’on regarde ce qui se passe dans…

View original post 191 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