scientific article; zbMATH DE number 3582349

zbMath0374.18001MaRDI QIDQ4152697

Michael A. Arbib, Ernest G. Manes

Publication date: 1975

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

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) General theory of categories and functors (18Axx) Categorical structures (18Dxx) Categorical algebra (18Exx) Special categories (18Bxx)

Related Items (72)

A generalized Kahn Principle for abstract asynchronous networks ⋮ A note on the number of distributive laws ⋮ Unnamed Item ⋮ On observational equivalence and algebraic specification ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ A characterization of passing compatibility for parameterized specifications ⋮ Petri nets, algebras, morphisms, and compositionality ⋮ Recursively defined metric spaces without contraction ⋮ Why mathematics needs engineering ⋮ Two-level semantics and code generation ⋮ Synchronization trees ⋮ On pushout consistency, modularity and interpolation for logical specifications ⋮ Strictness analysis and denotational abstract interpretation ⋮ Algebraic solutions to recursion schemes ⋮ Understanding one another: making out meanings with Boolean equations ⋮ Algebraic representation of dynamics and behavior for continuous-time linear systems ⋮ Specifications in an arbitrary institution ⋮ The equational theory of parameterized specifications ⋮ Separation axioms in intuitionistic fuzzy topological spaces ⋮ Concurrent transition systems ⋮ Temporal structures ⋮ On the expressive power of algebraic graph grammars with application conditions ⋮ Partially additive categories and flow-diagram semantics ⋮ On the category of \(L\)-fuzzy automata, coalgebras and dialgebras ⋮ Foundations of system theory: The Hankel matrix ⋮ Dynamic structure theory: A structural approach to social and biological systems ⋮ Codatatypes in ML ⋮ Two-level semantics and abstract interpretation ⋮ Fermat-Reyes method in the ring of Fermat reals ⋮ Une charpente de semi-unification ⋮ Pluri-adjoints and preservation of finite limits ⋮ On the category of normal embeddings of a group ⋮ PISTEMOLOGICAL CATEGORIES OF SYSTEMS: An Overview and Mathematical Formulation ⋮ SOFTWARE ENGINEERING DESIGN METHODOLOGIES AND GENERAL SYSTEMS THEORY ⋮ A class of fuzzy theories ⋮ Fuzzy machines in a category ⋮ Unnamed Item ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Unnamed Item ⋮ Strictness analysis via abstract interpretation for recursively defined types ⋮ Unnamed Item ⋮ Some economic applications of Scott domains ⋮ Algebraic approach to single-pushout graph transformation ⋮ Approach Spaces A Common Supercategory of TOP and MET ⋮ -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation ⋮ A category-theoretic approach to systems in a fuzzy world ⋮ ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION ⋮ Epimorphisms of free monoids ⋮ Foundations of system theory: Multidecomposable systems ⋮ Unnamed Item ⋮ A categorical approach to minimal realization for a fuzzy language ⋮ A STRUCTURE THEORY FOR A CATEGORY OF BEHAVIOURS ⋮ List-arithmetic distributive categories: Locoi ⋮ SYSTEMS AND DISTINCTIONS; DUALITY AND COMPLEMENT ARITY† ⋮ Dynamic bracketing and discourse representation ⋮ Pushout-complements and basic concepts of grammars in toposes ⋮ From environments to representations -- a mathematical theory of artificial perceptions ⋮ Structural induction and coinduction in a fibrational setting ⋮ Relationships between category theory and functional programming with an application ⋮ Amalgamation of graph transformations: a synchronization mechanism ⋮ A characterization of the category FCS ⋮ Stochastic Decision Theory ⋮ The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion ⋮ Correctness of recursive parallel nondeterministic flow programs ⋮ Parameter passing in algebraic specification languages ⋮ Rosen's modelling relations via categorical adjunctions ⋮ Transformations of structures: An algebraic approach ⋮ The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) ⋮ Monoidal closed categories, weak topoi and generalized logics ⋮ Hierarchical behavior in fit dynamical systems ⋮ The bilinear product category ⋮ Contextual rewriting as a sound and complete proof method for conditional LOG-specifications

This page was built for publication: