scientific article; zbMATH DE number 3367095
From MaRDI portal
Publication:5639839
zbMath0232.18001MaRDI QIDQ5639839
No author found.
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Arrows, symmetries and representation rings ⋮ Categories de Möbius et fonctorialites: un cadre général pour l'inversion de Möbius ⋮ On full embeddings. I ⋮ Lie coalgebras ⋮ Intuitionist type theory and the free topos ⋮ Fuzzy sets: A topos-logical point of view ⋮ Compact and hypercomplete categories ⋮ Boundedly generated topological spaces ⋮ A non-commutative non-cocommutative Hopf algebra in nature ⋮ Sheaves and prime model extensions ⋮ Universal topological algebra needs closed topological categories ⋮ Torsion products as homotopy groups ⋮ Alcune proprieta della categoria delle T-algebre ⋮ Categoria degli universi di dispositivi e categoria delle T-algebre ⋮ Conspectus of variable categories ⋮ Pairings of categories and spectra ⋮ The global theory of flows in networks ⋮ Concrete categories and infinitary languages ⋮ Specifications, models, and implementations of data abstractions ⋮ Injective uniform structures ⋮ Exact embedding functors between categories of modules ⋮ A couple of triples ⋮ A lemma on flatness ⋮ Categorical De Morgan laws ⋮ The Tannaka-Krein duality principle ⋮ An algorithm for verifying equations of morphisms in a category ⋮ On valued rings ⋮ Realization of cohomology classes in arbitrary exact categories ⋮ The categorical approach to social choice theory ⋮ Linear programming the global approach ⋮ Une théorie combinatoire des séries formelles ⋮ The global theory of paths in networks. I: Definitions, examples and limits ⋮ Finitary quasi-varieties ⋮ A new generalisation of graph theory ⋮ A class of fuzzy theories ⋮ Topologized objects in categories and the Sullivan profinite completion ⋮ Duality, crossing and MacLane's coherence ⋮ Domain theory in logical form ⋮ Sheaves, localizations, and unstable extensions: Some counterexamples ⋮ Equivalence, reduction and minimization of finite automata over semirings ⋮ Classes of finite relations as initial abstract data types. I ⋮ Projectales ⋮ A rational equation for attractive proportions ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Quantitative domains and infinitary algebras ⋮ Contraction algebras and unification of (infinite) terms ⋮ An algebraic model of synchronous systems ⋮ Cartesian closed coreflective subcategories of the category of topological spaces ⋮ Matrices whose coefficients are linear forms in logarithms ⋮ Lattices over integral group rings and abelian subquotients ⋮ Elementary transition systems ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ Analyzing Nash-Williams' partition theorem by means of ordinal types ⋮ New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic ⋮ Categorical models of polymorphism ⋮ Strictness analysis via abstract interpretation for recursively defined types ⋮ A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization ⋮ A layered semantics for a parallel object-oriented language ⋮ Some economic applications of Scott domains ⋮ Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations ⋮ Determination of a double Lie groupoid by its core diagram ⋮ Nicolas Bourbaki and the concept of mathematical structure ⋮ \(dI\)--domains as prime information systems ⋮ An algebraic semantics for structured transition systems and its application to logic programs ⋮ Foundations of a theory of synchronous systems ⋮ Resolutions of determinantal ideals: \(n\)-minors of \((n+2)\)-square matrices ⋮ Foliated semantic networks: Concepts, facts, qualities ⋮ Function spaces, cartesian closedness and nonstandard methods ⋮ Equivariant Eilenberg-MacLane spaces and the equivariant Seifert-van Kampen and suspension theorems ⋮ Vecteurs de Witt non commutatifs et représentabilité de l'homologie modulo \(p\). (Noncommutative Witt vectors and representability of homology modulo \(p\)) ⋮ Quasi-quantum groups, knots, three-manifolds, and topological field theory ⋮ On function spaces whose source is the classifying space of an elementary abelian \(p\)-group ⋮ Comprehension categories and the semantics of type dependency ⋮ Free monoids ⋮ Toposes without points ⋮ Foundations of system theory: Decomposable systems ⋮ Morita equivalence for C\(^*\)-algebras and W\(^*\)-algebras ⋮ Existence of the Adams completion for objects of complete categories ⋮ Discrete-time machines in closed monoidal categories. I ⋮ Natural state transformations ⋮ Sequence-to-sequence recursiveness ⋮ Projective resolutions of topological spaces ⋮ On the planarity of rings ⋮ Parallel realization of systems, using factorizations and quotients in categories ⋮ Change of base for toposes with generators ⋮ Flache und halbinjektive Funktoren ⋮ Symétrisations de catégories. I: Généralités ⋮ Group completing monoidal categories ⋮ Quantifier-complete categories ⋮ Constructions of factorization systems in categories ⋮ The uniqueness of homology for the category of small categories ⋮ A duality principle for lattices and categories of modules ⋮ An algebraic characterization of the behaviour of non-sequential systems ⋮ Fuzzy subobjects in a category and the theory of \(\mathcal C\)-sets ⋮ Brauer groups and Amitsur cohomology for general commutative ring extensions ⋮ On algebraic recognition of direct-product decompositions ⋮ Categorical shape theory and the back and forth property ⋮ Extension theories for monoids ⋮ Induction in orthodox involution categories (orthodox categories, 3) ⋮ Bimatroids and invariants
This page was built for publication:
