Descripción del título
Contribució a l'estudi d'un...
Se transcriben unas definiciones de la teoría general de "máquinas en una categoría" introducida por Arbib i Manes, así como unas definiciones y resultados del topos de los conjuntos valuados en una álgebra de Heyting completa, topos estudiados por D. Higgs y que en esta tesis se designan como H-Set. Utilizando técnicas de la teoría de categorías, así como propiedades del topos H-Set, se construye en la categoría Dyn((X,)x-) un objeto terminal, un producto de dos objetos cualesquiera, un igualador de dos flechas paralelas cualesquiera y un "pullback" de dos flechas cualesquiera con codominio común
Monografía
monografia Rebiun02415533 https://catalogo.rebiun.org/rebiun/record/Rebiun02415533 he bdunnnb|ci 090922s1989 sp mm m 000 0 cat PM1296-1990 8476321139 CBUC 991004910579706706 UPCO0366349 UPNA0132607 UOV0735546 SpMaUCMA 517.986(043.2) 512.58(043.2) (0.035.23) Monserrat Antich, Miquel Contribució a l'estudi d'una categoria de dinàmics sobre el topos dels conjunts valuats en una àlgebra de Heyting completa Microforma] Miquel Monserrat Antich ; Tesis dirigida por Nadal Batle Nicolau Palma de Mallorca Universitat de les Illes Balears 1989 Palma de Mallorca Palma de Mallorca Universitat de les Illes Balears 2 microfichas (126 fot.) 10 x 15 cm + 1 cuadernillo 2 microfichas (126 fot.) Tesi doctoral microfitxa / Universitat de les Illes Balears 18 Tesis Univ. de las Islas Baleares, Dpto. de Ciencias Matemáticas e Informática, dirigida por Nadal Batle Nicolau y leída el 21 de julio de 1989 Se transcriben unas definiciones de la teoría general de "máquinas en una categoría" introducida por Arbib i Manes, así como unas definiciones y resultados del topos de los conjuntos valuados en una álgebra de Heyting completa, topos estudiados por D. Higgs y que en esta tesis se designan como H-Set. Utilizando técnicas de la teoría de categorías, así como propiedades del topos H-Set, se construye en la categoría Dyn((X,)x-) un objeto terminal, un producto de dos objetos cualesquiera, un igualador de dos flechas paralelas cualesquiera y un "pullback" de dos flechas cualesquiera con codominio común Álgebras topológicas- Tesis- Microfichas Categorías (Matemáticas)- Tesis- Microfichas Topological algebras- Dissertations- Microfiches Batle Nicolau, Nadal dir Universitat de les Illes Balears. Departamento de Matemáticas e Informática Universitat de les Illes Balears. Departamento de Matemáticas e Informática. Tesis 18