Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Categorical fuzzy topology / by Patrik Eklund
| Categorical fuzzy topology / by Patrik Eklund |
| Autore | Eklund, Patrik |
| Pubbl/distr/stampa | Åbo : Åbo Akademis Förlag, 1986 |
| Descrizione fisica | 1 v. ; 25 cm |
| Disciplina | 514 |
| Collana | Acta Academiae Aboensis. Series B, Mathematica et physica ; 46/1 |
| Soggetto topico | Topologia |
| ISBN | 9516492177 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002259359707536 |
Eklund, Patrik
|
||
| Åbo : Åbo Akademis Förlag, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Categorical topology : proceedings of the conference held at Mannheim, 21-25 July, 1975 / / edited by E. Binz and H. Herrlich
| Categorical topology : proceedings of the conference held at Mannheim, 21-25 July, 1975 / / edited by E. Binz and H. Herrlich |
| Edizione | [1st ed. 1976.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1976] |
| Descrizione fisica | 1 online resource (XVIII, 722 p.) |
| Disciplina | 514 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Categories (Mathematics)
Topological algebras Topology |
| ISBN | 3-540-38118-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The role of nearness spaces in topology -- Un theoreme d'inversion locale -- Charaktergruppen von Gruppen von S1-wertigen stetigen Funktionen -- Some cartesian closed topological categories of convergence spaces -- Topological functors and structure functors -- An external characterization of topological functors -- Homotopy and Kan extensions -- Tensor products of functors on categories of Banach spaces -- Duality of compactological and locally compact groups -- Products and sums in the category of frames -- Categorical methods in dimension theory -- Envelopes in the category of Kakutani-m-spaces -- Compactly generated spaces and duality -- Some topological theorems which fail to be true -- Topological functors admitting generalized Cauchy-completions -- Category theoretical methods in topological algebra -- Lattices of reflections and coreflections in continuous structures -- Pro-categories and shape theory -- A note on the inverse mapping theorem of F. Berquier -- Cartesian closed topological categories -- Epireflective categories of Hausdorff spaces -- Categorical problems in minimal spaces -- Some outstanding problems in topology and the V-process -- Nearness and metrization -- Reflective subcategories and closure operators -- Compactness theorems -- Differential calculus and cartesian closedness -- Perfect sources -- Espaces fonctionnels et structures syntopogènes -- Filters and uniformities in general categories -- Categories of topological transformation groups -- On monoidal closed topological categories I -- On topological algebras relative to full and faithful dense functors -- Are there topoi in topology?. |
| Record Nr. | UNISA-996466485603316 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1976] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Category Theory and Computer Science [[electronic resource] ] : Edinburgh, UK, September 7-9, 1987. Proceedings / / edited by David H. Pitt, Axel Poigne, David E. Rydeheard
| Category Theory and Computer Science [[electronic resource] ] : Edinburgh, UK, September 7-9, 1987. Proceedings / / edited by David H. Pitt, Axel Poigne, David E. Rydeheard |
| Edizione | [1st ed. 1987.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
| Descrizione fisica | 1 online resource (VIII, 304 p.) |
| Disciplina | 514 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Topology
Computer logic Mathematical logic Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-540-48006-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Categories and effective computations -- Polymorphism is set theoretic, constructively -- An equational presentation of higher order logic -- Enriched categories for local and interaction calculi -- The category of Milner processes is exact -- Relating two models of hardware -- Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms -- A typed lambda calculus with categorical type constructors -- Final algebras, cosemicomputable algebras, and degrees of unsolvability -- Good functors ... are those preserving philosophy! -- Viewing implementations as an institution -- An interval model for second order lambda calculus -- Logical aspects of denotational semantics -- Connections between partial maps categories and tripos theory -- A fixpoint construction of the p-adic domain -- A category of Galois connections. |
| Record Nr. | UNISA-996465797603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Category Theory Applied to Computation and Control [[electronic resource] ] : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 / / edited by E.G. Manes
| Category Theory Applied to Computation and Control [[electronic resource] ] : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 / / edited by E.G. Manes |
| Edizione | [1st ed. 1975.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1975 |
| Descrizione fisica | 1 online resource (XII, 248 p.) |
| Disciplina | 514 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Topology
Computers K-theory Computation by Abstract Devices K-Theory |
| ISBN | 3-540-37426-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Basic concepts of category theory applicable to computation and control -- A control theorist looks at abstract nonsense -- A Categorist's view of automata and systems -- Categorical theory of tree processing -- Realization of multilinear and multidecomposable machines -- Fuzzy morphishms in automata theory -- Time-varying systems -- Addressed machines and duality -- Factorization of scott-style automata -- An abstract machine theory for formal language parsers -- Some structural properties of automata defined on groups -- Automata in additive categories with applications to stochastic linear automata -- The algebraic theory of recursive program schemes -- Realization is continuously universal -- Diagram-characterization of recursion -- Power and initial automata in pseudoclosed categories -- Semantics of computation -- Scattering theory and non linear systems -- Synthesis and complexity of logical systems -- Strukturelle verwandtschaften von Semi-Thue-Systemen -- Control of linear continuous-time systems defined over rings of distributions -- Cellular automata with additive local transition -- Automata in semimodule categories -- Representation of a class of nonlinear systems -- Duals of input/output maps -- An algebraic formulation of the Chomsky hierarchy -- On the recursive specification of data types -- Linear systems over rings of operators -- The tricotyledon theory of system design. |
| Record Nr. | UNISA-996465536303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cell-to-cell mapping : A method of global analysis for nonlinear systems / C. S. Hsu.
| Cell-to-cell mapping : A method of global analysis for nonlinear systems / C. S. Hsu. |
| Autore | Hsu, Chieh Su |
| Pubbl/distr/stampa | New York : Springer-Verlag, copyr. 1987 |
| Descrizione fisica | XII, 352, [2] p. ill. 24 cm |
| Disciplina | 514 |
| Collana | Applied mathematical sciences |
| Soggetto non controllato | Teoria dei sistemi |
| ISBN | 0-387-96520-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000250460403321 |
| Hsu, Chieh Su | ||
| New York : Springer-Verlag, copyr. 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cellular spaces, null spaces and homotopy localization / Emmanuel Dror Farjoun
| Cellular spaces, null spaces and homotopy localization / Emmanuel Dror Farjoun |
| Autore | Farjoun, Emmanuel Dror |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, c1996 |
| Descrizione fisica | XIV, 199 p. ; 25 cm. |
| Disciplina | 514 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Topologia |
| ISBN | 3-540-60604-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000015214 |
|
Farjoun, Emmanuel Dror
|
||
| Berlin [etc.] : Springer, c1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Chain conditions in topology / W. W. Comfort, S. Negrepontis
| Chain conditions in topology / W. W. Comfort, S. Negrepontis |
| Autore | Comfort, W. Wistar |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1982 |
| Descrizione fisica | xiii, 300 p. ; 22 cm. |
| Disciplina | 514 |
| Altri autori (Persone) | Negrepontis, Stylianosauthor |
| Collana | Cambridge tracts in mathematics ; 79 |
| Soggetto topico |
Combinatorial analysis
Topological spaces Topology |
| ISBN | 0521234875 |
| Classificazione | AMS 54A05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000738709707536 |
|
Comfort, W. Wistar
|
||
| Cambridge : Cambridge University Press, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Chaos and fractals : new frontiers of science / Heinz-Otto Peitgen, Hartmut Jürgens, Dietmar Saupe
| Chaos and fractals : new frontiers of science / Heinz-Otto Peitgen, Hartmut Jürgens, Dietmar Saupe |
| Autore | Peitgen, Heinz-Otto |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York [etc.], : Springer, c2004 |
| Descrizione fisica | XIII, 864 p. : ill. [24] c. di tav. color. ; 24 cm. |
| Disciplina | 514 |
| Altri autori (Persone) |
Jurgens, Hartmut
Saupe, Dietmar |
| Soggetto topico | Frattali |
| ISBN | 0387202293 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0634354 |
|
Peitgen, Heinz-Otto
|
||
| New York [etc.], : Springer, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Classical Topology and Combinatorial Group Theory [[electronic resource] /] / by John Stillwell
| Classical Topology and Combinatorial Group Theory [[electronic resource] /] / by John Stillwell |
| Autore | Stillwell John |
| Edizione | [2nd ed. 1993.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (XII, 336 p.) |
| Disciplina |
514
514/.2 |
| Collana | Graduate Texts in Mathematics |
| Soggetto topico |
Topology
Topological groups Lie groups Topological Groups, Lie Groups |
| ISBN | 1-4612-4372-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 0 Introduction and Foundations -- 0.1 The Fundamental Concepts and Problems of Topology -- 0.2 Simplicial Complexes -- 0.3 The Jordan Curve Theorem -- 0.4 Algorithms -- 0.5 Combinatorial Group Theory -- 1 Complex Analysis and Surface Topology -- 1.1 Riemann Surfaces -- 1.2 Nonorientable Surfaces -- 1.3 The Classification Theorem for Surfaces -- 1.4 Covering Surfaces -- 2 Graphs and Free Groups -- 2.1 Realization of Free Groups by Graphs -- 2.2 Realization of Subgroups -- 3 Foundations for the Fundamental Group -- 3.1 The Fundamental Group -- 3.2 The Fundamental Group of the Circle -- 3.3 Deformation Retracts -- 3.4 The Seifert—Van Kampen Theorem -- 3.5 Direct Products -- 4 Fundamental Groups of Complexes -- 4.1 Poincaré’s Method for Computing Presentations -- 4.2 Examples -- 4.3 Surface Complexes and Subgroup Theorems -- 5 Homology Theory and Abelianization -- 5.1 Homology Theory -- 5.2 The Structure Theorem for Finitely Generated Abelian Groups -- 5.3 Abelianization -- 6 Curves on Surfaces -- 6.1 Dehn’s Algorithm -- 6.2 Simple Curves on Surfaces -- 6.3 Simplification of Simple Curves by Homeomorphisms -- 6.4 The Mapping Class Group of the Torus -- 7 Knots and Braids -- 7.1 Dehn and Schreier’s Analysis of the Torus Knot Groups -- 7.2 Cyclic Coverings -- 7.3 Braids -- 8 Three-Dimensional Manifolds -- 8.1 Open Problems in Three-Dimensional Topology -- 8.2 Polyhedral Schemata -- 8.3 Heegaard Splittings -- 8.4 Surgery -- 8.5 Branched Coverings -- 9 Unsolvable Problems -- 9.1 Computation -- 9.2 HNN Extensions -- 9.3 Unsolvable Problems in Group Theory -- 9.4 The Homeomorphism Problem -- Bibliography and Chronology. |
| Record Nr. | UNINA-9910480842003321 |
|
Stillwell John
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Classical Topology and Combinatorial Group Theory [[electronic resource] /] / by John Stillwell
| Classical Topology and Combinatorial Group Theory [[electronic resource] /] / by John Stillwell |
| Autore | Stillwell John |
| Edizione | [2nd ed. 1993.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (XII, 336 p.) |
| Disciplina |
514
514/.2 |
| Collana | Graduate Texts in Mathematics |
| Soggetto topico |
Topology
Topological groups Lie groups Topological Groups, Lie Groups |
| ISBN | 1-4612-4372-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 0 Introduction and Foundations -- 0.1 The Fundamental Concepts and Problems of Topology -- 0.2 Simplicial Complexes -- 0.3 The Jordan Curve Theorem -- 0.4 Algorithms -- 0.5 Combinatorial Group Theory -- 1 Complex Analysis and Surface Topology -- 1.1 Riemann Surfaces -- 1.2 Nonorientable Surfaces -- 1.3 The Classification Theorem for Surfaces -- 1.4 Covering Surfaces -- 2 Graphs and Free Groups -- 2.1 Realization of Free Groups by Graphs -- 2.2 Realization of Subgroups -- 3 Foundations for the Fundamental Group -- 3.1 The Fundamental Group -- 3.2 The Fundamental Group of the Circle -- 3.3 Deformation Retracts -- 3.4 The Seifert—Van Kampen Theorem -- 3.5 Direct Products -- 4 Fundamental Groups of Complexes -- 4.1 Poincaré’s Method for Computing Presentations -- 4.2 Examples -- 4.3 Surface Complexes and Subgroup Theorems -- 5 Homology Theory and Abelianization -- 5.1 Homology Theory -- 5.2 The Structure Theorem for Finitely Generated Abelian Groups -- 5.3 Abelianization -- 6 Curves on Surfaces -- 6.1 Dehn’s Algorithm -- 6.2 Simple Curves on Surfaces -- 6.3 Simplification of Simple Curves by Homeomorphisms -- 6.4 The Mapping Class Group of the Torus -- 7 Knots and Braids -- 7.1 Dehn and Schreier’s Analysis of the Torus Knot Groups -- 7.2 Cyclic Coverings -- 7.3 Braids -- 8 Three-Dimensional Manifolds -- 8.1 Open Problems in Three-Dimensional Topology -- 8.2 Polyhedral Schemata -- 8.3 Heegaard Splittings -- 8.4 Surgery -- 8.5 Branched Coverings -- 9 Unsolvable Problems -- 9.1 Computation -- 9.2 HNN Extensions -- 9.3 Unsolvable Problems in Group Theory -- 9.4 The Homeomorphism Problem -- Bibliography and Chronology. |
| Record Nr. | UNINA-9910789221703321 |
|
Stillwell John
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
