Functorial polymorphism and semantic parametricity
General linear and functor cohomology over finite fields.
Homotopy cofibrations in
Initial Morphisms and Monomorphisms.
Objets Kar-initiaux
On descriptive classification of set-functors. I.
On descriptive classification of set-functors. II.
On functors which are lax epimorphisms.
On some properties of pure morphisms of commutative rings.
On subfunctors of the identity
On the integrality of the Witt polynomials.
Opérations sur les cartes et métamorphoses de la catégorie des G-ensembles.
We call metamorphosis of a given category an autoequivalence functor up to within natural equivalence. We show that, given a group G, the group of metamorphoses of the category of G-sets (as well as the corresponding group for ?sufficiently big? subcategories) may be naturally identified to the group of outer automorphism of G. We get by this way a natural description of a group of known operations on tessellations of a surface: the identity operation, the Poincaré duality, and four others which...
Order-enriched solid functors
Order-enriched solid functors, as presented in this paper in two versions, enjoy many of the strong properties of their ordinary counterparts, including the transfer of the existence of weighted (co)limits from their codomains to their domains. The ordinary version of the notion first appeared in Trnková's work on automata theory of the 1970s and was subsequently studied by others under various names, before being put into a general enriched context by C. Anghel. Our focus in this paper is on differentiating...
Pureté et platitude pour les modules généralisés
Remarks on topologically algebraic functors
Semilocalizations of exact and leftextensive categories
Set functors
Simultaneous representations in discrete structures
Small-fibred semitopological functors without small-fibred initial completions
Some Remarks or v-Ideal Systems and Categories of semigroups