On Finitary Functors

zbMath1470.18006arXiv1902.05788MaRDI QIDQ5243045

Jiří Adámek, Stefan Milius, Thorsten Wißmann, Lurdes Sousa

Publication date: 14 November 2019

Full work available at URL: https://arxiv.org/abs/1902.05788

zbMATH Keywords

finitely presentable objectfinitary functor(strictly) locally finitely presentable categoryfinitely bounded functorfinitely generated object

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Accessible and locally presentable categories (18C35) Categories of algebras (08C05)

Related Items

Finitely Presentable Algebras For Finitary Monads, The homotopy automorphisms of a marked n-stage, A point-free perspective on lax extensions and predicate liftings, New perspectives on semi-primal varieties, Unnamed Item, Exterior bundles in diffeology, A coalgebraic view on reachability, A new foundation for finitary corecursion and iterative algebras, Polyadic sets and homomorphism counting

Cites Work

• Atomic toposes
• On coalgebra based on classes
• A small final coalgebra theorem
• A formula for codensity monads and density comonads
• On tree coalgebras and coalgebra presentations
• Congruences of convex algebras.
• On finitary functors and their presentations
• Recursively defined metric spaces without contraction
• Nominal Sets
• Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
• A final coalgebra theorem
• Shorter Notes: Redei's Finiteness Theorem for Commutative Semigroups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item