Partial toposes.
Pasting in multiple categories.
Paths in double categories.
Polarized category theory, modules, and game semantics.
Preface to the special volume: “Chu spaces: theory and applications".
Proarrows II
Product preserving bundle functors on fibered fibered manifolds
We investigate the category of product preserving bundle functors defined on the category of fibered fibered manifolds. We show a bijective correspondence between this category and a certain category of commutative diagrams on product preserving bundle functors defined on the category ℳ f of smooth manifolds. By an application of the theory of Weil functors, the latter category is considered as a category of commutative diagrams on Weil algebras. We also mention the relation with natural transformations...
Profinite relational structures
Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.
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.
Pseudo algebras and pseudo double categories.
Pseudo-categories.
Pseudogroupoids and commutators.
Pullback and pushout squares in a special double category with connection
Pullback functors and crossed complexes
Pullbacks equivalent to pseudopullbacks