Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 152679

This tag is used when one needs help locating a source for a (published or unpublished) paper

7 votes
3 answers
398 views

Yves Diers's thesis ("Catégories localisables")

I am looking for a copy of Yves Diers's 1977 thesis Catégories localisables, which is the original reference for "multi-" category theory, such as multi-adjoints, multi-colimits, and so on. Given that …
varkor's user avatar
  • 10.7k
2 votes
Accepted

Yves Diers's thesis ("Catégories localisables")

At Axel Osmond's suggestion, I contacted Bibliothèques MIR and they kindly scanned a copy of the thesis. They intend to make it available on Numdam. Until then, there is a PDF here: Catégories locali …
varkor's user avatar
  • 10.7k
9 votes
0 answers
181 views

Michel Thiébaud's thesis ("Self-Dual Structure-Semantics and Algebraic Categories")

I am looking for a copy of Michel Thiébaud's 1971 thesis Self-Dual Structure-Semantics and Algebraic Categories, which appears to be an early reference for the relationship between the Kleisli constru …
varkor's user avatar
  • 10.7k
3 votes

Reference for certain categorical limits

We can view a category $C_0 \hookrightarrow C$ equipped with a specified subcategory as an $\mathscr M$-category, which is a category enriched in the category of injections and commutative squares. As …
varkor's user avatar
  • 10.7k
17 votes
2 answers
1k views

Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity t...

Many papers refer to an untitled manuscript of Jon Beck (Cornell, 1966) for the origin of the monadicity theorem (originally called a "tripleability theorem"). An early proof is in Manes's 1967 thesis …
varkor's user avatar
  • 10.7k
25 votes
Accepted

Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity t...

After reaching out to every researcher who cited the manuscript, John Kennison was kind enough to find and scan his copy of the untitled manuscript containing the crude and precise monadicity theorems …
varkor's user avatar
  • 10.7k