Back to Search
Start Over
Completing Categorical Algebras
- 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