Using this functor, we construct several operads that involve various combinatorial objects.
En utilisant ce foncteur, nous construisons plusieurs opérades qui mettent en jeu divers objets combinatoires.
To each of these arenas we associate an open functor on the category of arenas and innocent strategies.
À chacune de ces arènes ouvertes est associé un foncteur ouvert sur la catégorie des stratégies innocentes.
Use manifest type specifications in the arguments of the functor.
Utilisez des spécifications de types explicites dans les arguments des foncteurs.
This way, it is possible to call up the same lambda functor with different types of arguments.
Il sera ainsi possible d'appeler le même foncteur lambda avec différents types d'arguments.
So, just make the functor or signature be a component of a compilation unit.
Il suffit donc de transformer le foncteur ou la signature en un élément d'une unité de compilation.
We prove the existence of a fiber functor over Q p and that the associate group is simply connected.
On prouve l'existence d'un foncteur fibre sur Q p et la simple connexité du groupe associé.
A functor with one argument can be defined like this
Un foncteur avec un argument peut être définit comme ceci
What if I want to make a unit with a functor or a signature instead?
Comment puis-je avoir une unité qui soit plutôt un foncteur ou une signature ?
Σ gives rise to a functor from the category of pointed spaces to itself.
Σ est un foncteur de la catégorie des espaces pointés dans elle-même.
If you are interested in the generalization of map to other data structures, search for functor and fmap.
Si vous vous intéressez à la généralisation de map à d'autres structures de données, cherchez des informations sur les foncteurs et fmap.
Actually, you may never have to define a functor yourself, but you will surely encounter them in the standard library.
En réalité, il est possible que nous n'ayons jamais à définir nous-mêmes de foncteurs, mais nous serons sûrement appelés à les rencontrer dans la librairie standard.
For example, we can define a functor that takes an int n and returns a collection of array operations that work exclusively on arrays of length n.
Par exemple, nous pourrions définir un foncteur prenant un entier n et retournant un ensemble d'opérations sur des tableaux de longeurs n uniquement.
A proof of a certain homotopy descent result, which gives sufficient conditions on when an inverse image functor is an equivalence between suitable categories of derived sections.
Une preuve d'un certain résultat de la descente homotopique, qui donne des conditions suffisantes pour que le foncteur d'image inverse soit une équivalence entre catégories de sections dérivées au sens adapté.