Opérateurs D'extension Dans Les Ultracatégories

il y a 3 jours

Le BourgetduLac, France Université de Savoie Mont-Blanc Temps plein

**Opérateurs d'extension dans les ultracatégories // Extension operators in ultracategories**:

- Réf **ABG-132266**
**ADUM-66352**
- Sujet de Thèse
- 28/05/2025
- Université de Savoie Mont-Blanc
- Lieu de travail- Le Bourget-du-Lac Cedex - Auvergne-Rhône-Alpes - France
- Intitulé du sujet- Opérateurs d'extension dans les ultracatégories // Extension operators in ultracategories
- Champs scientifiques- Mathématiques
- Mots clés- Théorie des modèles, Ultracatégories
Model theory, Ultracategories

**Description du sujet**:

- Ce projet de thèse fait partie du domaine de la théorie catégorielle des modèles
qui, comme son nom l'indique, déploie des
techniques basées sur la théorie des catégories afin d'aborder les problèmes découlant de la
théorie des modèles. Cette dernière est le domaine de la logique traitant l'interaction entre la syntaxe et la sémantique. La recherche proposée vise à établir un moyen systématique
de construire des extensions de modèles de théories telles que ces extensions admettent des
automorphismes prescrits, ceci au niveau des ultracatégories, c'est-à-dire des catégories

The thematic material of this proposal belongs to the area of
categorical model theory which, as the name suggests, deploys
techniques based on category theory in order to tackle problems stemming from
model theory. The latter is the area of logic concerned with the
interaction between syntax and semantics of
theories. The proposed research aims at establishing a systematic way
to build extensions of models of theories such that these extensions admit
prescribed automorphisms, this at the level of ultracategories, that is categories

Début de la thèse : 01/10/2025

**Nature du financement**:
**Précisions sur le financement**:

- Concours allocations

**Présentation établissement et labo d'accueil**:

- Université de Savoie Mont-Blanc

**Etablissement délivrant le doctorat**:

- Université de Savoie Mont-Blanc

**Ecole doctorale**:

- 217 MSTII - Mathématiques, Sciences et technologies de l'information, Informatique
- Profil: master Compétences: théorie des catégories, théories des topos, catégories accéssibles, logique catégorielle, esquisses, topos classifiant, bases en théorie des modèles
Profile: master degree Skills: category theory, topos theory, accessible catgeories, categorical logic, sketches, classifying topoi, basic model theory- 09/06/2025

  • agent d'operations aeriennes

    il y a 3 jours

    Le Bourget-du-Lac, Auvergne-Rhône-Alpes, France Compagnie Aérienne - Aéroport Chambéry Temps plein

    Votre environnement sera celui d'une compagnie aérienne privée. Vous participerez pleinement à la partie opérationnelle. Vous devrez assurer l'interface entre les différents services de la compagnie et une clientèle exigeante. L'objectif est d'assurer la réalisation de vols sur mesure au service d'une clientèle élitiste tant dans le domaine des...

  • Opérateur (Trice) Machine D'assemblage Ossature

    il y a 3 jours

    Le Guerno, France CMBS Temps plein

    **Qui sommes-nous ?** Située dans le Morbihan, **CMBS** est une entreprise spécialisée dans la menuiserie intérieure bois, charpente bois, murs à ossature bois, bardage bois, et menuiserie extérieure. Au service des professionnels et forte de ses 95 collaborateurs, CMBS intervient sur des opérations de logements, de bureaux, et d'ouvrages...

  • Technicien comptable F/H

    il y a 1 semaine

    Viviers-du-Lac, Auvergne-Rhône-Alpes, France VINCI Temps plein

    Rattaché(e) à la Direction des aéroports de Chambéry Savoie-Mont-Blanc (SEACA) et Annecy Haute Savoie Mont-Blanc (SEAAM), et sous l'autorité du Responsable Administratif et Financier et/ou de la Responsable Comptable de la SEACA, et au sein d'une équipe de 3 personnes, vous serez responsable de la tenue comptable de votre périmètre, vous assurez au...

  • Opérateur Assembleur D'atelier

    il y a 3 jours

    Rumersheim-le-Haut, France axia-interim Temps plein

    Description AXIA INTERIM Mulhouse, recherche pour le compte de son client, un(e) Opérateur assembleur en atelier H\F **Le poste**: - Opérations d'assemblage, telles que rivetage, perçage, vissage... ou préparation avant peinture masticage et adhésif... - Expérience en assemblage mécanique souhaité - Lecture de plan mécanique - Débutant accepter si...

  • Opérateur Reconditionnement

    il y a 5 jours

    Le Broc, France REZOCORP Temps plein

    **REBORN est la première marque en matière de smartphone reconditionné made in France** Nous mettons en avant des solutions eco-responsables en proposant des smartphones et appareils connectés d'excellente qualité. Dans le cadre d'un surcroît d'activité nous recherchons un Opérateur de reconditionnement (H/F). En tant qu'Opérateur en...

  • Opérateur de Production

    il y a 3 jours

    Val-du-Maine, France EMSUR FRANCE SPO Temps plein

    **Présentation de la société** Le groupe LANTERO est l’une des références espagnoles et mondiales dans le secteur de l’emballage, du packaging et des arts graphiques, avec des effectifs de plus de 2 300 personnes dans le monde et présent dans plus de 12 pays. Au sein de la Division EMSUR, un des leaders de son marché dans la fabrication...

  • Opérateur de Production

    il y a 1 jour

    Val-du-Maine, France EMSUR FRANCE SPO Temps plein

    **Présentation de la société** Le groupe LANTERO est l’une des références espagnoles et mondiales dans le secteur de l’emballage, du packaging et des arts graphiques, avec des effectifs de plus de 2 300 personnes dans le monde et présent dans plus de 12 pays. Au sein de la Division EMSUR, un des leaders de son marché dans la fabrication...

  • Chargé de Projets Exploitation Aéroportuaire

    il y a 5 jours

    Viviers-du-Lac, France VINCI Airports Temps plein

    **Métier**: - INGENIERIE / ETUDES / METHODES - Autres **Intitulé du poste**: - Chargé de Projets Exploitation Aéroportuaire F/H **Type de contrat**: - Convention de stage **Présentiel / télétravail ?**: - Sur site **Description de la mission**: - Au sein du Pôle Exploitation de la Direction de l'aéroport Chambéry Savoie Mont Blanc et sous...

  • Opérateurs de Teillage

    il y a 1 semaine

    Le Neubourg, France CE27 Temps plein

    **Localisation**:Le Neubourg (27).** **Date de prise de poste : septembre/ octobre** **Type de contrat : CDI temps plein 39h** ► **"Une matière noble, un savoir-faire unique, une formation assurée"** **La Linière du Ressault**, entreprise centenaire spécialisée dans la transformation du lin, recrute **2 Opérateurs de teillage H/F** pour accompagner...

  • Conducteur D'equipements

    il y a 2 semaines

    Lons-le-Saunier, France Lactalis Temps plein

    La Division Lactalis Fromages est spécialisée dans la fabrication et la commercialisation de fromages. Avec un Chiffre d'affaires de 840 Millions d'€, elle produit un volume annuel de 253 000 tonnes réparti sur 13 usines. Lactalis Fromages porte des marques fortes telles que PRESIDENT, GALBANI, CHAUSSEE AUX MOINES ainsi que RONDELE, LEPETIT, BRIDELIGHT...