This page is intended to list references to category theory papers cited as “to appear”, “in preparation”, or “forthcoming” by the authors, but never appeared (at least with the cited title). The intention is to prevent lost time searching for papers that do not exist. Sometimes a corresponding paper was published, but under a different name, in which case we record the name it was eventually published under.

This article is complementary to the list of lost manuscripts in category theory, which records papers that appear to have been circulated, but not widely, or for which there is evidence they were complete but not circulated.

Do not include recent references that are likely still to appear. If the author is no longer alive, or the reference is not recent (e.g. 20 years or further), it is reasonable to include in this list.

Title | Author | Cited in | Likely appeared as | URL/Comments |
---|---|---|---|---|

Produits tensoriels d’esquisses | Christian Lair | Categories of sketched structures, Andrée Bastiani and Charles Ehresmann (1972) | – | On the tensor product of sketches |

Relative functorial semantics, II: Beck’s Theorem | Fred Linton | Relative Functorial Semantics, III: Triples vs. Theories, Fred Linton (1974) | – | |

Extracts from the Archives of Categorical Folklore, I: Pro-categories | Fred Linton | Relative Functorial Semantics, III: Triples vs. Theories, Fred Linton (1974) | – | |

Max Kelly and H. Wolff | Some existence theorems in the theory of doctrines, Robert Blackwell? (1976) | Free monads and the orthogonal subcategory problem by Harvey Wolff (1978) and A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on by Max Kelly (1980) | On free monads | |

Essentially algebraic structures in the enriched context, II | Max Kelly | A Presentation of Topoi as Algebraic relative to Categories of Graphs, Eduardo Dubuc and Max Kelly (1983) | – | A sequel to Structures defined by finite limits in the enriched context, I by Max Kelly (1982) |

Categories with structure-Biadjoints for algebraic functors | Max Kelly | A Presentation of Topoi as Algebraic relative to Categories of Graphs, Eduardo Dubuc and Max Kelly (1983) | – | |

On finitary enriched monads and their presentations | Max Kelly and John Power | Two-dimensional monad theory, Blackwell, Max Kelly, and John Power (1989) | Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads (1993) | |

Equivalences in 2-categories, birepresentations, and biadjoints | Max Kelly | Two-dimensional monad theory, Blackwell, Max Kelly, and John Power (1989) | – | |

An application of Beck’s theorem | Martin Hyland and Ieke Moerdijk | Descent Theory for Toposes, Ieke Moerdijk (1989) | – | On the category of descent data |

On the abstract notion of club | Max Kelly | Two-dimensional monad theory, Blackwell, Max Kelly, and John Power (1989) | On clubs and data-type constructors (1992) | |

Two-dimensional structures defined by limit-theories | Max Kelly | Flexible limits for 2-categories, Greg Bird, Max Kelly, John Power and Ross Street (1989) | – | Flexible limit theories |

Flexibility for 2-monads | Max Kelly and John Power | Flexible limits for 2-categories, Greg Bird, Max Kelly, John Power and Ross Street (1989) | – | |

Coherence for bicategories with finite bilimits II | John Power | Flexible limits for 2-categories, Greg Bird, Max Kelly, John Power and Ross Street (1989) | Three dimensional monad theory, John Power (2007) | Strictification for finite bilimit preserving 2-functors (see coherence theorem for bicategories with finite limits) |

Explicit formulas for the strict reflexions of pseudo and lax natural transformations | Greg Bird, Max Kelly, John Power, and Ross Street | Flexible limits for 2-categories, Greg Bird, Max Kelly, John Power and Ross Street (1989) | – | On explicit constructions of lax, oplax, and pseudo morphism classifiers for 2-presheaf 2-categories |

Coalgebras, descent, and filtered inverse limits of toposes | Martin Hyland and Ieke Moerdijk | Flexible limits for 2-categories, Greg Bird, Max Kelly, John Power and Ross Street (1989) | – | |

Pseudo-algebras and flexibility for a monad | Max Kelly and John Power | Coherence for bicategories with finite bilimits I, John Power (1989) | – | |

Canonical factorizations in double categories | Robert Dawson and Robert Paré | General associativity and general composition for double categories, Robert Dawson and Robert Paré (1993) | – | |

Flexibility for a monad | Max Kelly and John Power | Why tricategories?, John Power (1995) | Monoidal functors generated by adjunctions, with applications to transport of structure, Max Kelly and Steve Lack (2004) | Transport of algebra structure for a flexible 2-monad? along an equivalence |

Enrichability of algebraic structures on categories | Max Kelly and John Power | Why tricategories?, John Power (1995) | Unicity of Enrichment over Cat or Gpd, John Power (2011) | |

Essentially algebraic structures on categories | Max Kelly and John Power | Why tricategories?, John Power (1995) | – | |

Coherence for bicategories with equational structure | John Power | Why tricategories?, John Power (1995) | Three dimensional monad theory, John Power (2007) | |

A simple criterion for the flexibility of a monad | John Power | Why tricategories?, John Power (1995) | – | |

A criterion for flexibility of a 2-monad | Max Kelly, Steve Lack, and John Power | Monoidal functors generated by adjunctions, with applications to transport of structure, Max Kelly and Steve Lack (2004) | – | |

Cartesian Bicategories III | Aurelio Carboni, Max Kelly, Bob Walters, and Richard Wood | Cartesian Bicategories II, Aurelio Carboni, Max Kelly, Bob Walters, and Richard Wood (2008) | – | |

KZ-Adjunctions | Francisco Marmolejo and Richard Wood | Duality for CCD Lattices, Francisco Marmolejo, Robert Rosebrugh, and Richard Wood (2009) | – | |

Kleisli machines | Michael Arbib and Ernest Manes | Categorical theory of tree processing (1974), Saud Alagić | Fuzzy machines in a category |

Last revised on September 10, 2024 at 09:34:52. See the history of this page for a list of all contributions to it.