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) | – | |
| 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, Bird, Max Kelly, and John Power (1989) | – | |
| 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 April 2, 2024 at 19:06:40. See the history of this page for a list of all contributions to it.