Points of affine categories and additivity.
Pointwise inductive limits in accessible categories. (Limites inductives point par point dans les catégories accessibles.)
Polarized category theory, modules, and game semantics.
Pre-adjunctions and lambda-algebraic theories
Predicative algebraic set theory.
Proarrows II
Propriétés de permanence et existence de réalisations minimales pour les algèbres multisortes
Protomodularity, descent, and semidirect products.
Pseudo algebras and pseudo double categories.
Quantizations in a category of relations.
Quasi locally connected toposes.
Quillen cohomology and Baues-Wirsching cohomology of algebraic, theories
Recursive coalgebras of finitary functors
For finitary set functors preserving inverse images, recursive coalgebras A of Paul Taylor are proved to be precisely those for which the system described by A always halts in finitely many steps.
Reflective Kleisli subcategories of the category of Eilenberg-Moore algebras for factorization monads.
Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics.
Relative injectivity as cocompleteness for a class of distributors.
Remarks on topologically algebraic functors
Remarques sur les machines et les structures
Representable T-categories. (T-catégories représentables.)
Rewriting on cyclic structures : equivalence between the operational and the categorical description