منابع مشابه
Finitary set endofunctors are alg-universal
A category is said to be alg-universal, if every category of universal algebras can be fully embedded into it. We prove here that the category of finitary endofunctors of the category Set is alg-universal. We also present an example of a proper class of accessible set functors with no natural transformations between them (except the obvious identities).
متن کاملA Finitary Computational Formulation of Quantum Theory
The question, does Nature support hypercomputational behaviours, cannot be properly addressed at this time, because we do not have a good enough understanding of the relationship between physics and computation. In an attempt to lay some of the groundwork for this investigation, we present a provably equivalent finitary formulation of quantum theory. By equivalent, we mean that it our formulati...
متن کاملMorita Theory for Finitary 2-categories
We develop Morita theory for finitary additive 2-representations of finitary 2-categories. As an application we describe Morita equivalence classes for 2-categories of projective functors associated to finite dimensional algebras and for 2-categories of Soergel bimodules.
متن کاملA Note on Expressive Coalgebraic Logics for Finitary Set Functors
This paper has two purposes. The first is to present a final coalgebra construction for finitary endofunctors on Set that uses a certain subset L ∗ of the limit L of the first ω terms in the final sequence. L∗ is the set of points in L which arise from all coalgebras using their canonical morphisms into L, and it was used earlier for different purposes in Kurz and Pattinson [5]. Viglizzo in [11...
متن کاملFinitary Functors: From Set to Preord and Poset
We investigate how finitary functors on Set can be extended or lifted to finitary functors on Preord and Poset and discuss applications to coalgebra.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2009
ISSN: 0029-4527
DOI: 10.1215/00294527-2009-009