Back to Search Start Over

Completing Categorical Algebras

Authors :
Zoltán Ésik
Stephen L. Bloom
Source :
Fourth IFIP International Conference on Theoretical Computer Science-TCS 2006 ISBN: 9780387346335
Publication Year :
2006
Publisher :
Springer US, 2006.

Abstract

Let Σ be a ranked set. A categorical Σ-algebra, cΣa for short, is a small category C equipped with a functor σC: C n →C, for each σ ∈ Σn, n ≥ 0. A continuous categorical Σ-algebra is a cΣa which has an initial object and all colimits of ω-chains, i.e., functors ℕ≥C; each functor σc preserves colimits of ω-chains. (ℕ is the linearly ordered set of the nonnegative integers considered as a category as usual.)

Details

ISBN :
978-0-387-34633-5
ISBNs :
9780387346335
Database :
OpenAIRE
Journal :
Fourth IFIP International Conference on Theoretical Computer Science-TCS 2006 ISBN: 9780387346335
Accession number :
edsair.doi...........7949d2534769506330ff76ef75d19523