Multiplicative Linear Logics and Fibrations - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Multiplicative Linear Logics and Fibrations

Résumé

we define a notion of fibration on generalized operads that automatically gives the categorical axiomatizion of a large class of multiplicative deductive systems we described in a previous paper. We illustrate it by showing examples taken from previously descirbed logics. Also we show interesting properties of the ctegory of structas, including the fact that it contains many well-known categories as subcategories, including the category of categories.
Fichier non déposé

Dates et versions

inria-00100811 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100811 , version 1

Citer

François Lamarche. Multiplicative Linear Logics and Fibrations. Category Theory in computer science - CTCS'2002, R Blute, Ph. Scott, Nov 2002, Ottawa, Ontario, Canada, 21 p. ⟨inria-00100811⟩
63 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More