A convenient setting for holomorphy
A direct description of uniform completion in locales and a characterization of -groups
A forbidden-suborder characterization of binarily-composable diagrams in double categories.
A homotopy 2-groupoid from a fibration.
A homotopy double groupoid of a Hausdorff space.
A homotopy double groupoid of a Hausdorff space. II: A van Kampen theorem.
A Maschke type theorem for relative Hom-Hopf modules
Let be a monoidal Hom-Hopf algebra and a right -Hom-comodule algebra. We first introduce the notion of a relative Hom-Hopf module and prove that the functor from the category of relative Hom-Hopf modules to the category of right -Hom-modules has a right adjoint. Furthermore, we prove a Maschke type theorem for the category of relative Hom-Hopf modules. In fact, we give necessary and sufficient conditions for the functor that forgets the -coaction to be separable. This leads to a generalized...
A metric tangential calculus.
A monadic approach to polycategories.
A note on actions of a monoidal category.
A note on categories enriched in quantaloids and modal and temporal logic
A note on closed categories
A note on connectedness in Cartesian closed categories.
A note on exactness and stability in homotopical algebra.
A note on Girard quantales
A note on tangent bundles in a category with a ring object.
A note on tensor products on the unit interval
A note on the locally Hausdorff property
A pseudo representation theorem for various categories of relations.
A remark on monoidal closed structures on top