Final coalgebras in accessible categories (Q3094168): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4883
@@ Property / arXiv ID: 0905.4883 / rank @@
+Normal rank
@@ Property / cites work @@
+On the final sequence of a finitary set functor
@@ Property / cites work: On the final sequence of a finitary set functor / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous categories and exponentiable toposes
@@ Property / cites work: Continuous categories and exponentiable toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of rooted trees
@@ Property / cites work: On the algebraic structure of rooted trees / rank @@
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Iterative algebras at work
@@ Property / cites work: Iterative algebras at work / rank @@
+Normal rank
@@ Property / cites work @@
+Categories localement multipresentables
@@ Property / cites work: Categories localement multipresentables / rank @@
+Normal rank
@@ Property / cites work @@
+Categories multialgebriques
@@ Property / cites work: Categories multialgebriques / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of accessible categories
@@ Property / cites work: A classification of accessible categories / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively defined metric spaces without contraction
+Normal rank
@@ Property / cites work @@
+A categorical generalization of Scott domains
@@ Property / cites work: A categorical generalization of Scott domains / rank @@
+Normal rank
@@ Property / cites work @@
+On final coalgebras of continuous functors
@@ Property / cites work: On final coalgebras of continuous functors / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite trees and completely iterative theories: A coalgebraic view
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+The continuum as a final coalgebra
@@ Property / cites work: The continuum as a final coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Connected components and colimits
@@ Property / cites work: Connected components and colimits / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Categories: The Foundations of Categorical Model Theory
+Normal rank
@@ Property / cites work @@
+A general theory of self-similarity
@@ Property / cites work: A general theory of self-similarity / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Modal Logic Beyond Sets
@@ Property / cites work: Coalgebraic Modal Logic Beyond Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Inverse limits of compact spaces
@@ Property / cites work: Inverse limits of compact spaces / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3094168