×

Algèbres graphiques (Sur un concept de dimension dans les langages formels). (French) Zbl 0497.18004


MSC:

18A10 Graphs, diagram schemes, precategories
18A15 Foundations, relations to logic and deductive systems
18C05 Equational categories
18G30 Simplicial sets; simplicial objects in a category (MSC2010)
03C99 Model theory
PDF BibTeX XML Cite
Full Text: Numdam EuDML