Presentation of Set Functors: A Coalgebraic Perspective

DOI10.1093/logcom/exn090zbMath1207.18002OpenAlexW2016274488MaRDI QIDQ3056295

Jiří Adámek, Věra Trnková, H. Peter Gumm

Publication date: 11 November 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn090

zbMATH Keywords

coalgebraset functor

Mathematics Subject Classification ID

Equational categories (18C05) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Accessible and locally presentable categories (18C35) Categories of machines, automata (18B20) Theory of computing (68Q99)

Related Items (12)

Quotients of Bounded Natural Functors ⋮ A complete logic for behavioural equivalence in coalgebras of finitary set functors ⋮ A point-free perspective on lax extensions and predicate liftings ⋮ Variable binding and substitution for (nameless) dummies ⋮ Unnamed Item ⋮ Equational presentations of functors and monads ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras ⋮ A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors ⋮ Unnamed Item ⋮ Vector bundles and differential bundles in the category of smooth manifolds ⋮ Accessible set functors are universal ⋮ Connected monads weakly preserve products

This page was built for publication: Presentation of Set Functors: A Coalgebraic Perspective