Partial completions of concrete functors
Partial toposes.
Perfect maps are exponentiable - categorically.
Petits et gros topos en géométrie algébrique
Precompactness and total boundedness in products of metric spaces.
Predicative algebraic set theory.
Presentations of étendues
Prime extensions and nearness structures
Primitive classes of algebras with two unary idempotent operations, containing all algebraic categories as full subcategories
Primitive recursive categories and machines
Proarrows II
Products of locally connected locales
Products of metric, uniform and topological spaces
Projective and injective complete lattices
Proper left type- covers.
Propriétés catégorielles dans la théorie des algèbres universelles
Protomodularity, descent, and semidirect products.
Pseudogroupoids and commutators.
Pullback and pushout squares in a special double category with connection
Pullback functors and crossed complexes