A unified approach to the theory of normed structures - Part I: The single-sorted case - Université Paris Cité Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2012

A unified approach to the theory of normed structures - Part I: The single-sorted case

Résumé

We introduce the concept of a prenormed model of a particular kind of single-sorted finitary first-order theories, interpreted over a category with finite products. These are referred to as prealgebraic theories, for the fact that their signature comprises, together with arbitrary function symbols (of finite ariety), only relation symbols whose interpretation, in any possible model, is a reflexive and transitive binary relation, namely a preorder. The result is an abstract approach to the very notion of norm and, consequently, to the theory of normed structures.
Fichier principal
Vignette du fichier
S_Tringali-A_unified_approach_to_the_theory_of_normed_structures-Part_I-The_single-sorted_case.pdf (266.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00696491 , version 1 (11-05-2012)
hal-00696491 , version 2 (14-05-2012)
hal-00696491 , version 3 (22-05-2012)

Identifiants

Citer

Salvatore Tringali. A unified approach to the theory of normed structures - Part I: The single-sorted case. 2012. ⟨hal-00696491v3⟩
98 Consultations
482 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More