scientific article; zbMATH DE number 3417640

zbMath0265.18001MaRDI QIDQ5682456

Horst Herrlich, George E. Strecker

Publication date: 1973

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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 (only showing first 100 items - show all)

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

This page was built for publication: