scientific article; zbMATH DE number 3417640
From MaRDI portal
zbMath0265.18001MaRDI QIDQ5682456
Horst Herrlich, George E. Strecker
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to category theory (18-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) General theory of categories and functors (18Axx)
Related Items
Bounded equivalence of hull classes in Archimedean lattice-ordered groups with unit., A Kuratowski-Mrówka theorem in approach theory, On P-dominions of continuous algebras, Essential reflections versus minimal embeddings, Topological categories presented by small sets of axioms, Fundamental duality of abstract categories and its applications, Categorical foundations of topology with applications to quantaloid enriched topological spaces, On the existence of free models in abstract algebraic institutions, Quasi-varieties in abstract algebraic institutions, Union and actualization of module specifications: Some compatibility results, A categorical treatment of pre- and post-conditions, Elementary classes in the injective subcategories approach to abstract model theory, Representation of merotopic and nearness spaces, Algebraic solutions to recursion schemes, Preservation of products by functors close to reflectors, Induced partition properties of combinatorial cubes, The \(H\)-closed monoreflections, implicit operations, and countable composition, in Archimedean lattice-ordered groups with weak unit, Injective and projective \(T\)-Boolean algebras, Splitting and conjoining objects in monotopological categories, Daggers, kernels, Baer *-semigroups, and orthomodularity, Coalgebras, Chu spaces, and representations of physical systems, Concurrent transition systems, Preservation of bi-endomorphic composition by categorical reflection, Wreath products of acts over monoids. II: Torsion free and divisible acts, Fuzzy sets and sheaves. I: Basic concepts, Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology, Parameterisation for abstract structured specifications, Function spaces and fixed point properties: A Galois connection, The Frobenius rank equality for morphisms, Universal realization, Prime elements of non-integral quantales and their applications., Injectives and simple objects, Duality theory for discrete-time linear systems, On the algebra of order, Varieties of chain-complete algebras, Are colimits of algebras simple to construct?, Epimorphisms and semilattices of semigroups, Information-based distance measures and the canonical reflection of view updates, Universal topological algebra needs closed topological categories, Dualities of Noetherian posets, A duality theory for decomposable systems in a category, Fuzzy uniformities induced by fuzzy proximities, Process simulation and refinement, Composition-closed \(\ell \)-groups of almost-piecewise-linear functions, Theory of 2-structures. I: Clans, basic subclasses, and morphisms, Epireflective subcategories of Hausdorff categories, Pluri-adjoints and preservation of finite limits, Symmetric morphisms and the existence of Moore-Penrose inverses, The Tannaka-Krein duality principle, The categorical approach to social choice theory, Die richtigen Räume für Analysis im Unendlich-Dimensionalen, Basic linear systems and their categorical realization theory, Petri nets are monoids, Finitary quasi-varieties, Epis need not be dense, Categorical anatomy of closed graph and open mapping theorems, A characterization of quasi-toposes, Some fundamental algebraic tools for the semantics of computation. III: Indexed categories, The category of Archimedean \(\ell\)-groups with strong unit, and some of its epireflective subcategories, Neat embeddings as adjoint situations, Representation theory of comtrans algebras, A sheaf-theoretic approach to pattern matching and related problems, Algebraic approach to single-pushout graph transformation, Parallel and distributed derivations in the single-pushout approach, Foliated semantic networks: Concepts, facts, qualities, Categorical principles, techniques and results for high-level-replacement systems in computer science, \(\alpha\)-Dedekind complete archimedean vector lattices versus \(\alpha\)- quasi-\(F\) spaces, Formal similarities and differences among qualitative conditional semantics, A non-commutative and non-idempotent theory of quantale sets, Thoughts on quotient-fine nearness frames, Algebraic extensions of an archimedean lattice-ordered group. I, Generalized fuzzy topology versus non-commutative topology, Structural induction in institutions, Canonical constraints for parameterized data types, Separable closure in categories, Unification in commutative theories, Function spaces in fuzzy topology, A link between quantum logic and categorical quantum mechanics, \(B\)-saturated hull classes in \(\ell\)-groups and covering classes of spaces., Nelson algebras through Heyting ones. I, Compatibility of parameter passing and implementation of parameterized data types, Reflective subcategories and dense subcategories, Completion of merotopic spaces and extension of uniform continuous maps, On notions of factorization systems and their applications to cone- injective subcategories, On categories of algebras equivalent to a quasivariety, P-varieties - a signature independent characterization of varieties of ordered algebras, Obstacles to duality between classes of relational structures, Parameter passing in algebraic specification languages, A categorical approach to largest and smallest connectednesses and disconnectednesses, Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories, Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories, Closed structures on categories of topological spaces, EP morphisms, Algebras, polynomials and programs, Category theoretical construction of the figure of states, A dual adjointness on partially ordered topological spaces, On the localic Yosida representation of an archimedean lattice ordered group with weak order unit, Point-set lattice-theoretic topology, Monoidal closed categories, weak topoi and generalized logics, An \(\alpha\)-disconnected space has no proper monic preimage, Ditopological texture spaces and fuzzy topology. I: basic concepts, Ditopological texture spaces and fuzzy topology. II: topological considerations, Unnamed Item, Functorial theory of parameterized specifications in a general specification framework, CGOOD, a categorical graph-oriented object data model, COPURE INJECTIVE MODULES, \(H\)-fuzzy relations. I: A topological universe viewpoint, Characterization of desirable properties of general database decompositions., Compatibility problems in the development of algebraic module specifications, \(\kappa\)-frames, Varieties of complex algebras, Epi-topology and epi-convergence for Archimedean lattice-ordered groups with unit, Adjoining an identity to a reduced Archimedean \(f\)-ring. II: Algebras, Understanding one another: making out meanings with Boolean equations, On categories of fuzzy modules, Algebraic representation of dynamics and behavior for continuous-time linear systems, R-spaces and closedness/completeness of certain function spaces in the topology of uniform convergence, The hereditary monocoreflective subcategories of abelian groups and \(R\)-modules, The variety of CH-algebras, Unnamed Item, On a construct of closure spaces, \(H\)-fuzzy relations. II: A topological universe viewpoint, Categories of projective spaces, Lattices arising in categorial investigations of Hedetniemi's conjecture, Compatible connectedness in graphs and topological spaces, Terse walk sets in graphs and induced closure operators, Combination problems for commutative/monoidal theories or how algebra can help in equational unification, Fuzzy subcontinuity, inverse fuzzy subcontinuity and a new category of fuzzy topological spaces, Regular and exact completions, Unnamed Item, Unnamed Item, Unnamed Item, Semantical investigations into nonmonotonic and probabilistic logics, Varying interpolation and amalgamation in polyadic MV-algebras, Diagrammatic duality, Structural properties of universal minimal dynamical systems for discrete semigroups, On Heminearness Spaces, On the quotient shapes of topological spaces, \(*\)-maximum lattice-ordered groups., A general kurosh-amitsur radical theory, Are all localizing subcategories of stable homotopy categories coreflective?, Category-theoretic fuzzy topological spaces and their dualities, Compact continuous \(L\)-domains, Unnamed Item, Birkhoff-Frink representations as functors, Unnamed Item, Unnamed Item, Duality between reachability and observability for adjoint systems, Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras, Foundations of system theory: Decomposable systems, Category theory based on combinatory logic, A measurable cardinal associated with an epireflective subcategory of Hausdorff spaces, NON-EXISTENCE OF A COGENERATOR FOR ORDERED VECTOR SPACES, Adjoint interpretations of sentential calculi, Unnamed Item, Algebraic theory of quasivarieties of heterogeneous partial algebras, AN AXIOMATIC APPROACH TO CATEGORIES OF TOPOLOGICAL ALGEBRAS, Colimits of algebras revisited, ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION, HAUSDORFF NEARNESS SPACES, Adjungierte Dreiecke, Colimites und Kan-Erweiterungen, The fixed point transfer of fiber-preserving maps, Parallel realization of systems, using factorizations and quotients in categories, A new characterization of the continuous functions on a locale, Systematic approach to reduction and minimization in automata and system theory, Zum Satz von Freyd und Kelly, The geometric theory of inverse semigroups. I: E-unitary inverse semigroups, Gültigkeitsbegriffe für Gleichungen in partiellen Algebren, On underlying functors in general and topological algebra, Graph Transformation by Computational Category Theory, Monoreflections of Archimedean \(\ell\)-groups, regular \(\sigma\)-frames and regular Lindelöf frames, On categorical conditions for congruences to commute, Unnamed Item, Duality theorems for algebras in convenient categories, Functors of the category of combinatorial geometries and strong maps, Category theory and quantum mechanics (kinematics), Monomorphisms in spaces with Lindelöf filters, The isomorphisms of the category of uniform spaces and related categories, Epimorphisms and \(\mathcal H\)-coextensions, A note on the covering dimension of Lasnev spaces, First order logic with empty structures, Algebraic specification of data types: A synthetic approach, From environments to representations -- a mathematical theory of artificial perceptions, Axiomatic Shape Theory, Unnamed Item, Unnamed Item, \(H(\lambda)\)-completely regular \(L\)-fuzzy sets and their applications, Riesz-like representation of operators on \(L_ 1 \)by categorical methods, Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras, Unnamed Item, Relating CASL with other specification languages: the institution level., Open mapping theorems in topological spaces, Top is a reflective and coreflective subcategory of fuzzy topological spaces, Normed totally convex spaces, CPO-models for second order lambda calculus with recursive types and subtyping, Transformations of structures: An algebraic approach, Unique complements and decompositions of database schemata, Cartesian Closed Topological Hulls, Unnamed Item, Uniformities Induced by Cozero and Baire Sets, Unification properties of commutative theories: A categorical treatment, On the expressive power of algebraic graph grammars with application conditions, Omitting types algebraically and more about amalgamation for modal cylindric algebras, Epimorphisms and closure operators of categories of semilattices, Unnamed Item, Unification in varieties of completely regular semigroups, The Freudenthal spectral theorem and sufficiently many projections in Archimedean vector lattices, P-Projective modules, Infinite-Dimensional and Colored Supermanifolds, Proximity Spaces and Topological Functors, Weak units in epicompletions of Archimedean lattice-ordered groups, Equational axiomatizability for coalgebra, \(C\)-epic compactifications, Semi-abelian categories, Comments on monoreflections in unital archimedean lattice-ordered groups and rings, Unnamed Item, Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context
