scientific article
From MaRDI portal
Publication:4044767
zbMath0293.18006MaRDI QIDQ4044767
Publication date: 1974
Full work available at URL: https://eudml.org/doc/16649
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Free algebras (08B20) Categories of machines, automata (18B20) Algebraic structures (08Axx)
Related Items (73)
Rational operational models ⋮ Banach's fixed-point theorem as a base for data-type equations ⋮ On a categorical framework for coalgebraic modal logic ⋮ The web monoid and opetopic sets ⋮ Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding ⋮ Fixed points of set functors: how many iterations are needed? ⋮ Finitary monads on the category of posets ⋮ Weak $\infty$-categories via terminal coalgebras ⋮ Recursive Program Schemes and Context-Free Monads ⋮ Finitely Presentable Algebras For Finitary Monads ⋮ Unnamed Item ⋮ Equational properties of iteration in algebraically complete categories ⋮ A survey on the categorical term construction with applications ⋮ The p-adic Integers as Final Coalgebra ⋮ Least fixed point of a functor ⋮ Unnamed Item ⋮ The equational logic of fixed points ⋮ Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure ⋮ On final coalgebras of continuous functors ⋮ Infinite trees and completely iterative theories: A coalgebraic view ⋮ A categorical derivation of Lebesgue integration ⋮ Structured handling of scoped effects ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A note on ordinal DFAs ⋮ C-system of a module over a \(Jf\)-relative monad ⋮ Unnamed Item ⋮ On second-order iterative monads ⋮ Free omega-complete algebras ⋮ Unnamed Item ⋮ Construction of free continuous algebras ⋮ Relatively terminal coalgebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On a category of fuzzy automata with relations ⋮ Companions, Codensity and Causality ⋮ Minimal realization for fuzzy behaviour: A bicategory-theoretic approach ⋮ On coalgebra based on classes ⋮ On the greatest fixed point of a set functor ⋮ Algebras with parametrized iterativity ⋮ A Coalgebraic View of Infinite Trees and Iteration ⋮ From Varieties of Algebras to Covarieties of Coalgebras ⋮ Term Equational Systems and Logics ⋮ Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra ⋮ Fixed Points of Functors - A Short Abstract ⋮ Terminal coalgebras and free iterative theories ⋮ One more categorical model of universal algebra ⋮ Realization theory for automata in categories ⋮ A left adjoint construction related to free triples ⋮ Bases for parametrized iterativity ⋮ On final coalgebras of power-set functors and saturated trees ⋮ Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) ⋮ Unnamed Item ⋮ Categorical constructions of free algebras, colimits, and completions of partial algebras ⋮ Modules in the Category $$\mathtt {\mathbf{Sup}}$$ ⋮ A New Foundation for Finitary Corecursion ⋮ On the construction of free algebras for equational systems ⋮ How accessible are categories of algebras? ⋮ A new foundation for finitary corecursion and iterative algebras ⋮ Some Wellfounded Trees in UniMath ⋮ Algebraic specification of data types: A synthetic approach ⋮ Equational logic of circular data type specification ⋮ From signatures to monads in \textsf{UniMath} ⋮ Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors ⋮ Induction, Coinduction, and Adjoints ⋮ List Objects with Algebraic Structure ⋮ A Mezei-Wright theorem for categorical algebras ⋮ Simplified Coalgebraic Trace Equivalence ⋮ On finitary functors and their presentations ⋮ Corecursion up-to via causal transformations ⋮ Fuzzy-topological automata ⋮ Predicate Liftings Versus Nabla Modalities
This page was built for publication:
