On the Boundedness of Topological Categories.
On the braiding on a Hopf algebra in a braided category.
On the categorical foundations of homological and homotopical algebra
On the category of topological topologies
On the completeness of localic groups
The main purpose of this paper is to show that any localic group is complete in its two-sided uniformity, settling a problem open since work began in this area a decade ago. In addition, a number of other results are established, providing in particular a new functor from topological to localic groups and an alternative characterization of -groups.
On the direct power of relational systems
On the exact completion of the homotopy category
On the External Characterization of Topological Functors.
On the geometry of intuitionistic S4 proofs.
On the homotopy transfer of structures
The present article is devoted to the study of transfers for structures, their maps and homotopies, as developed in [7]. In particular, we supply the proofs of claims formulated therein and provide their extension by comparing them with the former approach based on the homological perturbation lemma.
On the monadicity of categories with chosen colimits.
On the monadicity over graphs of categories with limits
On the nerve of an -category
On the corresponding to bialgebras
On the representability of actions in a semi-abelian category.
On the structure of halfdiagonal-halfterminal-symmetric categories with diagonal inversions
The category of all binary relations between arbitrary sets turns out to be a certain symmetric monoidal category Rel with an additional structure characterized by a family of diagonal morphisms, a family of terminal morphisms, and a family of diagonal inversions having certain properties. Using this properties in [11] was given a system of axioms which characterizes the abstract concept of a halfdiagonal-halfterminal-symmetric monoidal category with diagonal inversions (hdht∇s-category)....
On topological modules and duality
One obstruction for closedness
Opérades différentielles graduées sur les simplexes et les permutoèdres
On définit plusieurs opérades différentielles graduées, dont certaines en relation avec des familles de polytopes : les simplexes et les permutoèdres. On obtient également une présentation de l’opérade liée aux associaèdres introduite dans un article antérieur.
Operads and algebraic combinatorics of trees.