The following pages link to (Q4044767):
Displaying 50 items.
- Rational operational models (Q265819) (← links)
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Fixed points of set functors: how many iterations are needed? (Q328655) (← links)
- Relatively terminal coalgebras (Q456862) (← links)
- On second-order iterative monads (Q639639) (← links)
- On the greatest fixed point of a set functor (Q672316) (← links)
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
- Bases for parametrized iterativity (Q1004388) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- A Mezei-Wright theorem for categorical algebras (Q1044831) (← links)
- Fuzzy-topological automata (Q1069305) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Least fixed point of a functor (Q1134211) (← links)
- Free omega-complete algebras (Q1162535) (← links)
- Construction of free continuous algebras (Q1165875) (← links)
- One more categorical model of universal algebra (Q1240295) (← links)
- Realization theory for automata in categories (Q1243352) (← links)
- A left adjoint construction related to free triples (Q1249219) (← links)
- Categorical constructions of free algebras, colimits, and completions of partial algebras (Q1256043) (← links)
- Banach's fixed-point theorem as a base for data-type equations (Q1330915) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- On final coalgebras of continuous functors (Q1398459) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- On coalgebra based on classes (Q1434346) (← links)
- A survey on the categorical term construction with applications (Q1677940) (← links)
- How accessible are categories of algebras? (Q1812029) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- A note on ordinal DFAs (Q1943687) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
- On finitary functors and their presentations (Q2341699) (← links)
- The web monoid and opetopic sets (Q2376562) (← links)
- Algebras with parametrized iterativity (Q2464938) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- Elgot theories: a new perspective of iteration theories (extended abstract) (Q2805168) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- Some Wellfounded Trees in UniMath (Q2819193) (← links)
- Final coalgebras and a solution theorem for arbitrary endofunctors (Q2842550) (← links)
- Induction, coinduction, and adjoints (Q2842818) (← links)
- Predicate liftings versus nabla modalities (Q2873669) (← links)
- Recursive program schemes and context-free monads (Q2919447) (← links)
- The p-adic Integers as Final Coalgebra (Q2947469) (← links)
- On a category of fuzzy automata with relations (Q2987869) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- Minimal realization for fuzzy behaviour: A bicategory-theoretic approach (Q2988610) (← links)
- Algebraic specification of data types: A synthetic approach (Q3907066) (← links)
- (Q4156359) (← links)
