Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
Javascript must be enabled to continue!

Catégories inductives et pseudogroupes

View through CrossRef
Cet article précise et généralise les notions introduites dans une publication antérieure (C. Ehresmann, Jahresbericht der Deutschen Math. Vereinigung , 60, 1957, p. 49-77) et servant à établir une théorie des structures locales. La donnée sur une classe d’une loi de composition partout définie et d’une sous-classe d’idempotents vérifiant certains axiomes détermine une structure de groupoïde inductif ou de pseudo-groupe ; les différents types de sous-pseudogroupes sont examinés. Une étude analogue est faite dans le cas des catégories inductives. Une catégorie inductive C au-dessus d’une catégorie inductive C ′ est étalée au-dessus de la catégorie I ( C ′ ) dont les objets sont les paratopologies sur les unités de C ′ . On définit la catégorie inductive des jets locaux de C au-dessus de C ′  ; elle est étalée au-dessus de la catégorie des jets locaux de I ( C ′ ) au-dessus de C ′ . La catégorie de jets locaux est étudiée d’une façon plus précise dans le cas d’une catégorie inductive au-dessus de la catégorie des applications d’un ensemble quelconque dans un ensemble quelconque.
Title: Catégories inductives et pseudogroupes
Description:
Cet article précise et généralise les notions introduites dans une publication antérieure (C.
 Ehresmann, Jahresbericht der Deutschen Math.
Vereinigung , 60, 1957, p.
 49-77) et servant à établir une théorie des structures locales.
La donnée sur une classe d’une loi de composition partout définie et d’une sous-classe d’idempotents vérifiant certains axiomes détermine une structure de groupoïde inductif ou de pseudo-groupe ; les différents types de sous-pseudogroupes sont examinés.
Une étude analogue est faite dans le cas des catégories inductives.
Une catégorie inductive C au-dessus d’une catégorie inductive C ′ est étalée au-dessus de la catégorie I ( C ′ ) dont les objets sont les paratopologies sur les unités de C ′ .
On définit la catégorie inductive des jets locaux de C au-dessus de C ′  ; elle est étalée au-dessus de la catégorie des jets locaux de I ( C ′ ) au-dessus de C ′ .
La catégorie de jets locaux est étudiée d’une façon plus précise dans le cas d’une catégorie inductive au-dessus de la catégorie des applications d’un ensemble quelconque dans un ensemble quelconque.

Related Results

Categories
Categories
Even though categories play an important role in philosophy (especially in ontology and metaphysics), it is clear that not all categories play such a role. Philosophers are very in...
Fixpoints of types in linear logic from a Curry-Howard-Lambek perspective
Fixpoints of types in linear logic from a Curry-Howard-Lambek perspective
Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek Cette thèse porte sur l'étude d'une extension de la logique linéaire propositionnell...
Comment tirer le meilleur parti des données ?
Comment tirer le meilleur parti des données ?
La GRH est significativement impactée par la révolution des « big data » : l’accumulation de masses de données importantes sur les salariés apparaît aujourd’hui dans le discours de...
Le concept d’emergent-fit dans les approches méthodologiques inductives
Le concept d’emergent-fit dans les approches méthodologiques inductives
Cet article aborde l’un des aspects méthodologiques centraux des approches inductives, celui de l’emergent-fit, qui est aussi l’une des propriétés principales de la recherche quali...
Introduction to structure theory and its application to boolean functions
Introduction to structure theory and its application to boolean functions
Introduction à la théorie des structures et son application aux fonctions booléennes Cette dissertation introduit et formalise la notion de structures comme moyen m...
Prolongement d'applications linéaires, espaces des fractions et problème des moments
Prolongement d'applications linéaires, espaces des fractions et problème des moments
Nous nous intéressons dans ce travail au prolongement d'applications linéaires, que ce soit des fonctions à valeurs scalaires ou des applications à valeurs opérateurs, sur des limi...
Considérer les écrits scientifiques comme données à l’étude
Considérer les écrits scientifiques comme données à l’étude
L’objectif de cet article est de montrer l’intérêt des approches inductives pour la recherche qualitative en communication sociale. Plus précisément, il vise à appréhender comment ...
Khazanah Leksikon Ke-Pena-An dalam Bahasa Dawan Malaka
Khazanah Leksikon Ke-Pena-An dalam Bahasa Dawan Malaka
Indonesia is a country that is nicknamed as an archipelagic country which is rich in identity in the form of various cultures, ethnicities, and traditions. Each region has its own ...

Back to Top