En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 18C10 13 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Algebra in a localic topos with applications to ring theory Borceux, Francis ; Van Den Bossche, Gilberte | Springer-Verlag 1983

Ouvrage

- 240 p.
Call n° : 00006176

16A64 ; 16A90 ; 18C10 ; 18F20

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Toposes, triples and theories Barr, Michael ; Wells, C. | Springer-Verlag 1985

Ouvrage

- 345 p.
Call n° : 00008929

18-02 ; 18B25 ; 18C10 ; 18C15 ; 18F10

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Categories of boolean sheaves of simple algebras Diers, Yves | Springer-Verlag 1986

Ouvrage

- 168 p.
Call n° : 00009967

18B99 ; 18C10 ; 18C20 ; 18D20 ; 18F20

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Indexed categories and their applications Johnstone, P. T. ; Pare, R. ; Johnstone, P. T. ; Pare, R. | Springer-Verlag 1978

Ouvrage

- 260 p.
Call n° : 00011068
catégorie # foncteur # structure des catégories # théorie algébrique des catégories # théorie des catégories # théorie des foncteurs

18A05 ; 18C10 ; 18D20 ; 18D30

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Accessible categories :
the foundations of categorical model theory Makkai, Michael ; Paré, Robert | American Mathematical Society 1989

Ouvrage

- 176 p.
Call n° : 00015333
catégorie accessible # colimite # foncteur # limite # logique algébrique # logique catégorique # thé orie des modèles abstraite # théorie des modèles catégorique # topos

03C95 ; 03G30 ; 18C10 ; 18D05

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Symposium on automatic demonstration
Dec. Lacombe, D. ; Laudet, M. ; Nolin, L. ; Schützenberger, M. | Springer-Verlag 1970

Congrès


Call n° : 00020254
axiome d'égalité en démonstration automatique # démonstration automatique # intérêt heuristique d'utilisation de métathéorème # langage automatique automath # langage de formalisation de démonstration automatique nature # paramodulation et ensemble de support # procédure de décision pour théorie catégorique en Alef # procédure de preuve à réduction de matrice # programme de Hilbert # précision des calculs # recherche de procédure de preuve automatique # système d'axiome en preuve de théorème automatique # théorie de la preuve # théorie de la résolution # théorème de complétude de Herbrand # validité constructive[-]
axiome d'égalité en démonstration automatique # démonstration automatique # intérêt heuristique d'utilisation de métathéorème # langage automatique automath # langage de formalisation de démonstration automatique nature # paramodulation et ensemble de support # procédure de décision pour théorie catégorique en Alef # procédure de preuve à réduction de matrice # programme de Hilbert # précision des calculs # recherche de procédure de preuve ...[+]

03-06 ; 03F03 ; 03F50 ; 03Fxx ; 18C10

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Exact categories and categories of sheaves Barr, Michael ; Grillet, Pierre A. ; Van Osdol , Donovan H. | Springer-Verlag 1971

Ouvrage


Call n° : 00020332
catégorie de faisceau # catégorie exacte additive # catégorie localement présentable # chasse de diagramme # co-limite dirigée en catégorie régulière # cohomologie # congruence # construction sur catégorie régulière et exacte # faisceau d'épimorphisme régulier # faisceau en catégorie régulière # plongement # processus de complétion de Lubkin # représentation de groupe # sous-objet # théorème de transfert pour triple ou co-triple

18A25 ; 18B15 ; 18C10 ; 18D99 ; 18F20

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Models, logics, and higher-dimensional categories : a tribute to the work of Mihaly Makkai.
Proceedings of a conference
Montréal # june 18-20, 2009 Hart, Bradd ; Kucera, Thomas G. ; Pillay, Anand ; Scott, Philip J. ; Seely, Robert A. G. | American Mathematical Society 2011

Congrès

- x; 426 p.
Call n° : 00036794
théorie des modèles # catégories # théorie de la classification # catégories fibrées

03-06 ; 03C45 ; 03C52 ; 03C90 ; 03G30 ; 18C10 ; 18D05 ; 18D30 ; 00B25 ; 00B30

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Algebraic theories:
a categorical introduction to general algebra Adamek, J. ; Rosicky, J. ; Vitale, E. M. ; Lawvere, F. M. | Cambridge University Press 2011

Ouvrage

- xvii; 249 p.
Call n° : 00036824
théorie algébrique # équivalence de Morita # théorie des catégories # colimite

18-02 ; 08-02 ; 18C10 ; 08C05 ; 18C05

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Operads 2009
Marseille # april 20-25, 2009 Loday, Jean-Louis ; Vallette, Bruno | Société Mathématique de France 2013

Congrès

- xvi; 279 p.
Call n° : 00038062
Actions naturelles # algèbres de Hopf # algèbres de Lie tordues # algèbres pré-Lie # algèbre dendriforme # algorithme de Buchberger # bases de Gröbner # catégories d'arbres # catégories de Koszul # catégorification # cohomologie de Hochschild # complétion de Knuth-Bendix # confluence # co-opérade de Poisson # diagrammes de flux et de programmation # enchevêtrement # espaces de configurations # foncteur de Schur # forme canonique # Haskell # Homologie des E_n-algèbres # identités entre les relations # méthodes de renormalisation perturbatives # n-catégorie # opérade # opérade des petits disques # polygraphe # pro # prop # présentation par générateurs et relations # réécriture # réécriture de diagrammes # renormalisation # S-modules # théorèmes de PBW # théorèmes libres # théorie algébrique # treillis de Tamari # tresse # type de dérivation fini[-]
Actions naturelles # algèbres de Hopf # algèbres de Lie tordues # algèbres pré-Lie # algèbre dendriforme # algorithme de Buchberger # bases de Gröbner # catégories d'arbres # catégories de Koszul # catégorification # cohomologie de Hochschild # complétion de Knuth-Bendix # confluence # co-opérade de Poisson # diagrammes de flux et de programmation # enchevêtrement # espaces de configurations # foncteur de Schur # forme canonique # Haskell # ...[+]

05C05 ; 06A11 ; 08B20 ; 16S15 ; 16G20 ; 17B35 ; 17D99 ; 18D05 ; 18C10 ; 18G15 ; 18D20 ; 18G55 ; 55P48 ; 55R80 ; 55U99 ; 57T30 ; 68Q05 ; 68Q12 ; 68N18 ; 68Q25 ; 68W30 ; 68Q42

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language