On fixpoint objects and gluing constructions (Q1923803)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On fixpoint objects and gluing constructions |
scientific article; zbMATH DE number 934059
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On fixpoint objects and gluing constructions |
scientific article; zbMATH DE number 934059 |
Statements
On fixpoint objects and gluing constructions (English)
0 references
25 May 1997
0 references
Categories with finite products and a pointed strong endofunctor are here called ``let-categories'', because of an application in computer science advocated by \textit{E. Moggi} [``Notions of computation and monads'', Inf. Comput. 93, No. 1, 55-92 (1991; Zbl 0723.68073)]. A fixpoint object is essentially an initial algebra for the endofunctor. The author studies conditions, or modifications, needed for obtaining new ``let-categories'' and fix-categories out of old ones, and gives logical counterparts of the information thus obtained.
0 references
categorical type theory
0 references
initial algebra for endofunctor
0 references
let-categories
0 references
fixpoint object
0 references
fix-categories
0 references
