nLab list of category theory papers that never appeared

Related pages

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.

TitleAuthorCited inLikely appeared asURL/Comments
Produits tensoriels d’esquissesChristian LairCategories of sketched structures, Andrée Bastiani and Charles Ehresmann (1972)On the tensor product of sketches
Relative functorial semantics, II: Beck’s TheoremFred LintonRelative Functorial Semantics, III: Triples vs. Theories, Fred Linton (1974)
Extracts from the Archives of Categorical Folklore, I: Pro-categoriesFred LintonRelative Functorial Semantics, III: Triples vs. Theories, Fred Linton (1974)
Max Kelly and H. WolffSome 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, IIMax KellyA 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 functorsMax KellyA Presentation of Topoi as Algebraic relative to Categories of Graphs, Eduardo Dubuc and Max Kelly (1983)
On finitary enriched monads and their presentationsMax Kelly and John PowerTwo-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 biadjointsMax KellyTwo-dimensional monad theory, Blackwell, Max Kelly, and John Power (1989)
On the abstract notion of clubMax KellyTwo-dimensional monad theory, Blackwell, Max Kelly, and John Power (1989)On clubs and data-type constructors (1992)
Two-dimensional structures defined by limit-theoriesMax KellyFlexible limits for 2-categories, Bird, Max Kelly, and John Power (1989)
A criterion for flexibility of a 2-monadMax Kelly, Steve Lack, and John PowerMonoidal functors generated by adjunctions, with applications to transport of structure, Max Kelly and Steve Lack (2004)
KZ-AdjunctionsFrancisco Marmolejo and Richard WoodDuality for CCD Lattices, Francisco Marmolejo, Robert Rosebrugh, and Richard Wood (2009)
Kleisli machinesMichael Arbib and Ernest ManesCategorical theory of tree processing (1974), Saud AlagićFuzzy machines in a category

Last revised on February 13, 2024 at 15:50:28. See the history of this page for a list of all contributions to it.