scientific article; zbMATH DE number 3582349
From MaRDI portal
zbMath0374.18001MaRDI QIDQ4152697
Michael A. Arbib, Ernest G. Manes
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
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
