The following pages link to (Q4044767):
Displaying 26 items.
- (Q4580326) (← links)
- A Coalgebraic View of Infinite Trees and Iteration (Q4917030) (← links)
- From Varieties of Algebras to Covarieties of Coalgebras (Q4917031) (← links)
- (Q4989404) (← links)
- (Q5009709) (← links)
- (Q5020949) (← links)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- Finitary monads on the category of posets (Q5068206) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- Modules in the Category $$\mathtt {\mathbf{Sup}}$$ (Q5213711) (← links)
- Weak $\infty$-categories via terminal coalgebras (Q5239850) (← links)
- Finitely Presentable Algebras For Finitary Monads (Q5243048) (← links)
- Simplified Coalgebraic Trace Equivalence (Q5256339) (← links)
- (Q5274901) (← links)
- Term Equational Systems and Logics (Q5415637) (← links)
- Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra (Q5418960) (← links)
- Fixed Points of Functors - A Short Abstract (Q5739445) (← links)
- Tree automata as algebras: minimisation and determinisation (Q5875346) (← links)
- (Q5875353) (← links)
- A categorical derivation of Lebesgue integration (Q6134744) (← links)
- Categorical approximation fixpoint theory (Q6545560) (← links)
- Computads for weak \(\omega \)-categories as an inductive type (Q6562849) (← links)
- The eventual image (Q6593824) (← links)
- Presenting the Sierpinski gasket in various categories of metric spaces (Q6600687) (← links)
- Monoidal streams for dataflow programming (Q6649486) (← links)
- Automata and coalgebras in categories of species (Q6666774) (← links)
