scientific article; zbMATH DE number 3582349
From MaRDI portal
Publication:4152697
zbMATH Open0374.18001MaRDI QIDQ4152697FDOQ4152697
Authors: Michael A. Arbib, Ernest G. Manes 
Publication date: 1975
Title of this publication is not available (Why is that?)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) General theory of categories and functors (18Axx) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical structures (18Dxx) Categorical algebra (18Exx) Special categories (18Bxx)
Cited In (73)
- A characterization of passing compatibility for parameterized specifications
- Epimorphisms of free monoids
- Codatatypes in ML
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
- Algebraic approach to single-pushout graph transformation
- Petri nets, algebras, morphisms, and compositionality
- Algebraic solutions to recursion schemes
- The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion
- Specifications in an arbitrary institution
- Title not available (Why is that?)
- The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
- Monoidal closed categories, weak topoi and generalized logics
- Partially additive categories and flow-diagram semantics
- Recursively defined metric spaces without contraction
- Strictness analysis via abstract interpretation for recursively defined types
- The equational theory of parameterized specifications
- Pushout-complements and basic concepts of grammars in toposes
- From environments to representations -- a mathematical theory of artificial perceptions
- Title not available (Why is that?)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Structural induction and coinduction in a fibrational setting
- Amalgamation of graph transformations: a synchronization mechanism
- Synchronization trees
- On observational equivalence and algebraic specification
- Rosen's modelling relations via categorical adjunctions
- A class of fuzzy theories
- Temporal structures
- Parameter passing in algebraic specification languages
- Foundations of system theory: The Hankel matrix
- Dynamic structure theory: A structural approach to social and biological systems
- Foundations of system theory: Multidecomposable systems
- Dynamic bracketing and discourse representation
- Fuzzy machines in a category
- On the category of normal embeddings of a group
- On pushout consistency, modularity and interpolation for logical specifications
- A generalized Kahn Principle for abstract asynchronous networks
- Two-level semantics and code generation
- List-arithmetic distributive categories: Locoi
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
- Strictness analysis and denotational abstract interpretation
- Two-level semantics and abstract interpretation
- Transformations of structures: An algebraic approach
- A characterization of the category FCS
- Pluri-adjoints and preservation of finite limits
- Why mathematics needs engineering
- Correctness of recursive parallel nondeterministic flow programs
- Separation axioms in intuitionistic fuzzy topological spaces
- Fermat-Reyes method in the ring of Fermat reals
- Approach Spaces A Common Supercategory of TOP and MET
- Some economic applications of Scott domains
- Hierarchical behavior in fit dynamical systems
- Concurrent transition systems
- The bilinear product category
- A category-theoretic approach to systems in a fuzzy world
- ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION
- A note on the number of distributive laws
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Relationships between category theory and functional programming with an application
- SYSTEMS AND DISTINCTIONS; DUALITY AND COMPLEMENT ARITY†
- PISTEMOLOGICAL CATEGORIES OF SYSTEMS: An Overview and Mathematical Formulation
- On \(L\)-fuzzy automata, coalgebras and dialgebras: associated categories and \(L\)-fuzzy topologies
- Understanding one another: making out meanings with Boolean equations
- Stochastic Decision Theory
- On the category of \(L\)-fuzzy automata, coalgebras and dialgebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- SOFTWARE ENGINEERING DESIGN METHODOLOGIES AND GENERAL SYSTEMS THEORY
- A categorical approach to minimal realization for a fuzzy language
- Title not available (Why is that?)
- A STRUCTURE THEORY FOR A CATEGORY OF BEHAVIOURS
- Algebraic representation of dynamics and behavior for continuous-time linear systems
- On the expressive power of algebraic graph grammars with application conditions
- Une charpente de semi-unification
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4152697)
