Strong functors on many-sorted sets
We show that, on a category of many-sorted sets, the only functors that admit a cartesian strength are those that are given componentwise.
Structures d’asphéricité, foncteurs lisses, et fibrations
Le but de cet article est de généraliser la théorie des foncteurs lisses de Grothendieck afin d’inclure dans ce cadre la théorie des catégories fibrées. On obtient en particulier une nouvelle caractérisation des catégories fibrées.
Topological hulls revisited
Topologically-algebraic structure functors full reflective or coreflective restrictions of semitopological functors
Torsion free types
Totality of product completions
Categories whose Yoneda embedding has a left adjoint are known as total categories and are characterized by a strong cocompleteness property. We introduce the notion of multitotal category by asking the Yoneda embedding to be right multiadjoint and prove that this property is equivalent to totality of the formal product completion of . We also characterize multitotal categories with various types of generators; in particular, the existence of dense generators is inherited by the formal product...
Universal concrete categories and functors
When are induction and coinduction functors isomorphic?
Двойственность функторов