Publication:5682456
From MaRDI portal
zbMath0265.18001MaRDI QIDQ5682456
Horst Herrlich, George E. Strecker
Publication date: 1973
18-02: Research exposition (monographs, survey articles) pertaining to category theory
18-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory
18Axx: General theory of categories and functors
Related Items
Canonical constraints for parameterized data types, Separable closure in categories, Unification in commutative theories, Function spaces in fuzzy topology, 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, Categorical principles, techniques and results for high-level-replacement systems in computer science, Nelson algebras through Heyting ones. I, Compatibility of parameter passing and implementation of parameterized data types, Reflective subcategories and dense subcategories, A categorical approach to largest and smallest connectednesses and disconnectednesses, Algebras, polynomials and programs, 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, A Kuratowski-Mrówka theorem in approach theory, Injective and projective \(T\)-Boolean algebras, 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, Dualities of Noetherian posets, Fuzzy uniformities induced by fuzzy proximities, Process simulation and refinement, Theory of 2-structures. I: Clans, basic subclasses, and morphisms, Pluri-adjoints and preservation of finite limits, Symmetric morphisms and the existence of Moore-Penrose inverses, Petri nets are monoids, 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, 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, Category theoretical construction of the figure of states, On P-dominions of continuous algebras, Essential reflections versus minimal embeddings, Topological categories presented by small sets of axioms, 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, Splitting and conjoining objects in monotopological categories, Concurrent transition systems, Preservation of bi-endomorphic composition by categorical reflection, Wreath products of acts over monoids. II: Torsion free and divisible acts, Function spaces and fixed point properties: A Galois connection, The Frobenius rank equality for morphisms, Universal realization, 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, Universal topological algebra needs closed topological categories, A duality theory for decomposable systems in a category, Epireflective subcategories of Hausdorff categories, 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, 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, Representation theory of comtrans algebras, Foliated semantic networks: Concepts, facts, qualities, \(\alpha\)-Dedekind complete archimedean vector lattices versus \(\alpha\)- quasi-\(F\) spaces, Algebraic extensions of an archimedean lattice-ordered group. I, Foundations of system theory: Decomposable systems, Adjungierte Dreiecke, Colimites und Kan-Erweiterungen, The fixed point transfer of fiber-preserving maps, Parallel realization of systems, using factorizations and quotients in categories, Systematic approach to reduction and minimization in automata and system theory, Zum Satz von Freyd und Kelly, Gültigkeitsbegriffe für Gleichungen in partiellen Algebren, On underlying functors in general and topological algebra, On categorical conditions for congruences to commute, Duality theorems for algebras in convenient categories, Functors of the category of combinatorial geometries and strong maps, Category theory and quantum mechanics (kinematics), Epimorphisms and \(\mathcal H\)-coextensions, A note on the covering dimension of Lasnev spaces, First order logic with empty structures, From environments to representations -- a mathematical theory of artificial perceptions, \(H(\lambda)\)-completely regular \(L\)-fuzzy sets and their applications, Unique complements and decompositions of database schemata, Functorial theory of parameterized specifications in a general specification framework, Structural properties of universal minimal dynamical systems for discrete semigroups, NON-EXISTENCE OF A COGENERATOR FOR ORDERED VECTOR SPACES, Unnamed Item, Unnamed Item, Unnamed Item, P-Projective modules, Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context, Proximity Spaces and Topological Functors, Weak units in epicompletions of Archimedean lattice-ordered groups, Equational axiomatizability for coalgebra, \(C\)-epic compactifications, Semi-abelian categories, CGOOD, a categorical graph-oriented object data model, Characterization of desirable properties of general database decompositions., On a construct of closure spaces, Regular and exact completions, Top is a reflective and coreflective subcategory of fuzzy topological spaces, A measurable cardinal associated with an epireflective subcategory of Hausdorff spaces, Algebraic theory of quasivarieties of heterogeneous partial algebras, 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, Relating CASL with other specification languages: the institution level., Ditopological texture spaces and fuzzy topology. I: basic concepts, Ditopological texture spaces and fuzzy topology. II: topological considerations, \(H\)-fuzzy relations. I: A topological universe viewpoint, The variety of CH-algebras, \(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, 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, Compact continuous \(L\)-domains, Adjoint interpretations of sentential calculi, The geometric theory of inverse semigroups. I: E-unitary inverse semigroups, A new characterization of the continuous functions on a locale, Monoreflections of Archimedean \(\ell\)-groups, regular \(\sigma\)-frames and regular Lindelöf frames, 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, Unnamed Item, Unnamed Item, Normed totally convex spaces, CPO-models for second order lambda calculus with recursive types and subtyping, Unnamed Item, Unnamed Item, Duality between reachability and observability for adjoint systems, Category theory based on combinatory logic, Algebraic representation of dynamics and behavior for continuous-time linear systems, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, On Heminearness Spaces, A general kurosh-amitsur radical theory, HAUSDORFF NEARNESS SPACES, Algebraic specification of data types: A synthetic approach, Transformations of structures: An algebraic approach, COPURE INJECTIVE MODULES, Unnamed Item, Unnamed Item, AN AXIOMATIC APPROACH TO CATEGORIES OF TOPOLOGICAL ALGEBRAS, Colimits of algebras revisited, ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION, The isomorphisms of the category of uniform spaces and related categories, Axiomatic Shape Theory, Cartesian Closed Topological Hulls, Uniformities Induced by Cozero and Baire Sets
