Les catégories localement (multi)présentables comme domaines de Scott
Lifting tensorproducts along non-adjoint functors
Limites projectives conditionnelles dans les catégories accessibles
Locally cartesian closed categories without chosen constructions.
Metric enrichment, finite generation, and the path coreflection
We prove a number of results involving categories enriched over CMet, the category of complete metric spaces with possibly infinite distances. The category CPMet of path complete metric spaces is locally -presentable, closed monoidal, and coreflective in CMet. We also prove that the category CCMet of convex complete metric spaces is not closed monoidal and characterize the isometry--generated objects in CMet, CPMet and CCMet, answering questions by Di Liberti and Rosický. Other results include...
Model-theoretic characterisations of convenience properties in topological categories
Modules over a quantale and models for the operator in linear logic
Monoidal categories for Morita theory
Monoidal closed structures for topological spaces : counter-example to a question of Booth and Tillotson
Motivic symmetric spectra.
Multiple functors. III. The cartesian closed category
Natural deduction and coherence for non-symmetric linearly distributive categories.
Normalisation of the theory of Cartesian closed categories and conservativity of extensions of
Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T
Using an inductive definition of normal terms of the theory of Cartesian Closed Categories with a given graph of distinguished morphisms, we give a reduction free proof of the decidability of this theory. This inductive definition enables us to show via functional completeness that extensions of such a theory by new constants (“indeterminates”) are conservative.
On a construct of closure spaces
On a tensor product in initially structured categories
On *-autonomous categories of topological vector spaces
On categories over the closed categories of fuzzy sets
On Double Dualization Monads.
On functors from compact to Banach algebras