Esquisses et types
Exactitude dans les Yoneda-structures
Extensions de théories de Lawvere. Thèse de doctorat de mathématiques
Fermeture standard des catégories algébriques II
Foncteur pleinement fidèle dense classant les algèbres
Free, iteratively closed categories of complete lattices
From where do figurative algebras come ?
Higher-dimensional categories with finite derivation type.
Information systems in categories of valued relations.
The paper presents a categorical version of the notion of information system due to D. Scott. The notion of information system is determined in the framework of ordered categories with involution and division and the category of information systems is constructed. The essential role in all definitions and constructions play correlations between inclusion relations and entailment relations.
Integrating observational and computational features in the specification of state-based, dynamical systems
We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined notion of reachability under computations. The relationship between the computations yielding new system...
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems
We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined notion of reachability under computations. The relationship between the computations yielding new system states...
Introduction à l'analyse algébrique. II. Algèbres figuratives et esquisses
Iterative and metric algebraic theories
La suffisante complétude connexe. Correctif à apporter à la section B. §5.5
La suffisante complétude connexe. Section A : amphi-syntaxes, amphi-algèbres et sesqui-algèbres
La suffisante complétude connexe. Section B : théorie générale
La suffisante complétude connexe. Section C : exemples
Lawvere's elementary theories and polyadic and cylindric algebras
Lax descent theorems for left exact categories [Book]
Lax-co-limites structurées