Synthetic differential geometry of higher-order total differentials
Systèmes de générateurs et relations pour les catégories enrichies
Systèmes dynamiques et fibrations. Concept d'opt-automate
and objects at in the category of proximity spaces
In previous papers, various notions of pre-Hausdorff, Hausdorff and regular objects at a point in a topological category were introduced and compared. The main objective of this paper is to characterize each of these notions of pre-Hausdorff, Hausdorff and regular objects locally in the category of proximity spaces. Furthermore, the relationships that arise among the various , , , structures at a point are investigated. Finally, we examine the relationships between the generalized separation...
-frames and almost compact frames
-algebras of the monad -Fuzz
-catégories (catégories dans un triple)
-forms and their properties.
is a quasi-variety
-spaces and the Wallman compactification.
(t2 - t)-Reciprocities on the Affine Line and Matsumoto's Theorem.
Taking Categories Seriously.
Taylor towers for -modules
We consider Taylor approximation for functors from the small category of finite pointed sets to modules and give an explicit description for the homology of the layers of the Taylor tower. These layers are shown to be fibrant objects in a suitable closed model category structure. Explicit calculations are presented in characteristic zero including an application to higher order Hochschild homology. A spectral sequence for the homology of the homotopy fibres of this approximation is provided.
Taylor towers of symmetric and exterior powers
We study the Taylor towers of the nth symmetric and exterior power functors, Spⁿ and Λⁿ. We obtain a description of the layers of the Taylor towers, and , in terms of the first terms in the Taylor towers of and for t < n. The homology of these first terms is related to the stable derived functors (in the sense of Dold and Puppe) of and . We use stable derived functor calculations of Dold and Puppe to determine the lowest nontrivial homology groups for and .
T-categories and some representation theorems
Technique de descente et théorèmes d'existence en géométrie algébriques. II. Le théorème d'existence en théorie formelle des modules
Technique de descente et théorèmes d'existence en géométrie algébrique. I. Généralités. Descente par morphismes fidèlement plats
Techniques de construction et théorèmes d'existence en géométrie algébrique III : préschémas quotients
Teisi in .
Tenseurs et machines