MétaCan
Menu
Retour à la cohorte
Enregistrement W3107248814 · doi:10.31274/rtd-20201118-272

Enriching representable functors

2002· dissertation· en· W3107248814 sur OpenAlexaboutno aff
Stefan Rothbauer

Notice bibliographique

Revuenon disponible
Typedissertation
Langueen
DomaineComputer Science
ThématiqueConstraint Satisfaction and Optimization
Établissements canadiensnon disponible
Organismes subventionnairesnon disponible
Mots-clésFunctorObject (grammar)MathematicsClass (philosophy)IdempotenceSet (abstract data type)Commutative propertyAlgebra over a fieldAlgebraic structureVector spaceAlgebraic numberCategory theoryRing (chemistry)Pure mathematicsComputer scienceProgramming languageArtificial intelligence

Résumé

récupéré en direct d'OpenAlex

As George Bergman pointed out at the International Conference of Mathematicians in Vancouver (1974) category theory can be a very efficient way to determine all possible operations on sets. In fact, under certain conditions the operations on the values of a (representable) set valued functor are in one to one correspondence with the cooperations on the representing object and the relations that hold between those operations can be determined by analyzing the relations that hold between the cooperations on the representing object. In this thesis the ideas of Bergman described above together with the approaches described below are applied to the group of units of an arbitrary ring and the idempotent elements of commutative rings. Algebra, one of the oldest and still most popular branches of mathematics, is the study of algebraic structures. An algebraic structure, loosely speaking, is a object together with one or more operations on it. If there is more than one operation on the set these operations often satisfy certain relations. The class of objects which share certain properties is called a category. Some of the most common such categories consist of objects which posses an underlying set (e.g. groups, rings, fields, vector spaces). Often these sets can be regarded as members of different categories and accordingly are endowed with a number of operations between which relations hold. In the case that a particular object is part of different categories, one can try (more often than not successfully) to make use of certain facts that are true in one category to gain knowledge about other objects in the second category. One other approach to analyze algebraic structures is to look at their substructures (whether those lie within this category or in a different one) and gain knowledge about the original object by composing the pieces of the puzzle gained by analyzing the sub objects. Frequently the opposite approach works quite as well, i.e. to look at the objects which contain an object as subobjects.

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.

Comment cette classification a été obtenuedéplier

Prédiction distillée sur la base complète

Imitation des enseignants

Ni prévalence calibrée, ni vérité terrain. Validation humaine à venir. Apprise à partir de 10 348 étiquettes directes de Codex et de 10 348 étiquettes directes de Gemma. Le mode candidate est l'union des têtes enseignantes seuillées; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des étiquettes humaines ni des étiquettes directes de modèles de pointe.

score de la tête « metaresearch » (Codex)0,000
score de la tête « metaresearch » (Gemma)0,000
Version: codex-gemma-dda1882f352aStatut de validation: machine_predicted_unvalidated
Catégories candidatesCharge utile insuffisante (le modèle a refusé de juger)
Catégories consensuellesaucune
DomaineSignal candidat: aucune · Signal consensuel: aucune
Devis d'étudeSignal candidat: Autre devis · Signal consensuel: aucune
GenreSignal candidat: Autre · Signal consensuel: Autre
Score de désaccord entre enseignants0,802
Score d'incertitude au seuil0,999

Scores Codex et Gemma par catégorie

CatégorieCodexGemma
Métarecherche0,0000,000
Méta-épidémiologie (sens strict)0,0000,000
Méta-épidémiologie (sens large)0,0000,000
Bibliométrie0,0000,000
Études des sciences et des technologies0,0000,000
Communication savante0,0000,000
Science ouverte0,0000,000
Intégrité de la recherche0,0000,000
Charge utile insuffisante (le modèle a refusé de juger)0,0020,000

Scores machine (provisoires)

Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.

Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.

Tête enseignante Opus0,012
Tête enseignante GPT0,236
Écart entre enseignants0,224 · la distance entre les deux têtes enseignantes sur ce seul travail
Statut de validationscore_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découle

Classification

machine, non validée

Prédiction automatique; un appel candidat d’une seule tête enseignante, pas un consensus.

Devis d'étudeAutre devis
Domainenon disponible
GenreAutre

Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».

En bref

Citations0
Publié2002
Routes d'admission1
Résumé présentoui

Explorer davantage

Même sujetConstraint Satisfaction and OptimizationTravaux en français237 207