Codensity and binding categories
Codescente en K-théorie étale et corps de nombres.
Codisjoncteurs dans les catégories d'algèbres commutatives
Coequalizers in the generalized algebraic categories
Cofibrations and the realization of non-deterministic automata
Cofinalities of complete Boolean algebras.
Cogeneration and minimal realization (Preliminary communication)
Coherence and Embedding of Algebras.
Coherence for factorization algebras.
Coherence for pseudodistributive laws revisited.
Coherence of Proof-net Categories
Coherence of the double involution on -autonomous categories.
Coherent categories with respect to monads and coherent prohomotopy theory
Coherent euclidean geometry
Coherent functors in stable homotopy theory
Coherent functors 𝓢 → Ab from a compactly generated triangulated category into the category of abelian groups are studied. This is inspired by Auslander's classical analysis of coherent functors from a fixed abelian category into abelian groups. We characterize coherent functors and their filtered colimits in various ways. In addition, we investigate certain subcategories of 𝓢 which arise from families of coherent functors.
Coherent prohomotopical algebra
Coherent prohomotopy theory
Coherent Rings and Homologically Finite Subcategories.
Coherent spaces constructively
Coherent unit actions on regular operads and Hopf algebras.