Projectivity of acts and Morita equivalence of monoids.
Projektive geordnete Moduln und n-fache Erweiterungen geordneter Moduln.
Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.
Proper left type- covers.
Properads and homological differential operators related to surfaces
We give a biased definition of a properad and an explicit example of a closed Frobenius properad. We recall the construction of the cobar complex and algebra over it. We give an equivalent description of the algebra in terms of Barannikov’s theory which is parallel to Barannikov’s theory of modular operads. We show that the algebra structure can be encoded as homological differential operator. Example of open Frobenius properad is mentioned along its specific properties.
Propriétés catégorielles dans la théorie des algèbres universelles
Propriétés de permanence et existence de réalisations minimales pour les algèbres multisortes
Propriétés du groupe tannakien des structures de Hodge -adiques et torseur entre cohomologies cristalline et étale
On donne des propriétés de la catégorie tannakienne des modules de Dieudonné filtrés sur un corps -adique (ces modules de Dieudonné jouent en -adique un rôle analogue aux structures de Hodge complexes). On prouve l’existence d’un foncteur fibre sur et la simple connexité du groupe associé. Ceci permet de montrer, sous la conjecture de Fontaine : “faiblement admissible entraîne admissible”, une conjecture de Rapoport et Zink décrivant le torseur entre cohomologie cristalline et étale, et de prouver...
Pro-reflections and pro-factorizations
Protolocalisations of exact Mal'cev categories.
Protomodularity, descent, and semidirect products.
Pseudo algebras and pseudo double categories.
Pseudo-categories.
Pseudogroupoids and commutators.
Pseudohereditary and pseudocohereditary preradicals
Pullback and finite coproduct preserving functors between categories of permutation representations.
Pullback and finite coproduct preserving functors between categories of permutation representations: corrigendum and addendum.
Pullback and pushout squares in a special double category with connection
Pullback functors and crossed complexes
Pullbacks equivalent to pseudopullbacks