Presentation of set functors: a coalgebraic perspective

DOI10.1093/LOGCOM/EXN090MaRDI QIDQ3056295zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Functors for coalgebras
• A complete logic for behavioural equivalence in coalgebras of finitary set functors
• Analytic functors and weak pullbacks
• scientific article; zbMATH DE number 1497879
• Types and coalgebraic structure

Cited in

(18)

• Copower functors
• A complete logic for behavioural equivalence in coalgebras of finitary set functors
• On tree coalgebras and coalgebra presentations
• Vector bundles and differential bundles in the category of smooth manifolds
• Analytic functors between presheaf categories over groupoids
• Connected monads weakly preserve products
• Equational presentations of functors and monads
• scientific article; zbMATH DE number 1497879 (Why is no real title available?)
• (Metric) bisimulation games and real-valued modal logics for coalgebras
• Quotients of bounded natural functors
• Quotients of Bounded Natural Functors
• Moss' logic for ordered coalgebras
• Accessible set functors are universal
• A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
• Functors for coalgebras
• A point-free perspective on lax extensions and predicate liftings
• Variable binding and substitution for (nameless) dummies
• Towards the critical problem: On the coalgebraic relation between sets and multisets

This page was built for publication: Presentation of set functors: a coalgebraic perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3056295)