De Morgan's and strong De Morgan's laws in a topos of shaves
Décompositions et Lax-complétions
Decompositions of adjoint situations
Decompositions of the category of noncommutative sets and Hochschild and cyclic homology
In this note we show that the main results of the paper [PR] can be obtained as consequences of more general results concerning categories whose morphisms can be uniquely presented as compositions of morphisms of their two subcategories with the same objects. First we will prove these general results and then we will apply it to the case of finite noncommutative sets.
Deductive systems and categories.
Definable orthogonality classes in accessible categories are small
We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopěnka’s principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Lévy hierarchy. For example, the statement that, for a class of morphisms in a locally presentable category of structures, the orthogonal class of objects is a small-orthogonality...
Derivations of crossed modules.
Des propriétés de finitude des foncteurs polynomiaux
We study finiteness properties, especially the noetherian property, the Krull dimension and a variation of finite presentation, in categories of polynomial functors (notion introduced by Djament and Vespa) from a small symmetric monoidal category whose unit is an initial object to an abelian category. We prove in particular that the category of polynomial functors from the category of free abelian groups ℤⁿ with split monomorphisms to abelian groups is "almost" locally noetherian. We also give an...
Descent for compact 0-dimensional spaces.
Descent in categories of (co)algebras.
Diagonalisierungspaare. I.
Diagonalisierungspaare. II.
Diagrammes localement libres extensions de corps et théorie de Galois
Diagrammes structurés de modèles
Direct limits and filtered colimits are strongly equivalent in all categories
Disjointness and related properties of coproducts
Distributive adjoint strings.
Doctrines whose structure forms a fully faithful adjoint string.
Does exist for a proper class X?
Dualities for Stone algebras, double Stone algebras, and relative Stone algebras