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