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
Introduction to Bicategories IIJean BénabouIntroduction to Bicategories, Jean Bénabou (1967)Intended to study modifications; 2-dimensional representability?, adjointness?, equivalence, limits; bicategories in which the composition functors have right adjoints; examples
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)
An application of Beck’s theoremMartin Hyland and Ieke MoerdijkDescent Theory for Toposes, Ieke Moerdijk (1989)On the category of descent data
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, Greg Bird, Max Kelly, John Power and Ross Street (1989)Flexible limit theories
Flexibility for 2-monadsMax Kelly and John PowerFlexible limits for 2-categories, Greg Bird, Max Kelly, John Power and Ross Street (1989)
Coherence for bicategories with finite bilimits IIJohn PowerFlexible 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 transformationsGreg Bird, Max Kelly, John Power, and Ross StreetFlexible 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 toposesMartin Hyland and Ieke MoerdijkFlexible limits for 2-categories, Greg Bird, Max Kelly, John Power and Ross Street (1989)
Pseudo-algebras and flexibility for a monadMax Kelly and John PowerCoherence for bicategories with finite bilimits I, John Power (1989)
Canonical factorizations in double categoriesRobert Dawson and Robert ParéGeneral associativity and general composition for double categories, Robert Dawson and Robert Paré (1993)
Flexibility for a monadMax Kelly and John PowerWhy 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 categoriesMax Kelly and John PowerWhy tricategories?, John Power (1995)Unicity of Enrichment over Cat or Gpd, John Power (2011)
Essentially algebraic structures on categoriesMax Kelly and John PowerWhy tricategories?, John Power (1995)
Coherence for bicategories with equational structureJohn PowerWhy tricategories?, John Power (1995)Three dimensional monad theory, John Power (2007)
A simple criterion for the flexibility of a monadJohn PowerWhy tricategories?, John Power (1995)
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)
Cartesian Bicategories IIIAurelio Carboni, Max Kelly, Bob Walters, and Richard WoodCartesian Bicategories II, Aurelio Carboni, Max Kelly, Bob Walters, and Richard Wood (2008)
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 December 4, 2024 at 09:46:06. See the history of this page for a list of all contributions to it.