MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Gabriel-Ulmer duality is a biequivalence between the 2-category of finite limit categories and the 2-category of locally finitely presentable categories. It allows for the reconstruction of a theory from the category of models of that theory, for example, the theory of groups from its category of models. There are other related dualities corresponding to other 'doctrines', see A Duality Relative to a Limit Doctrine.

This idea of recovering something from its category of models seems to resemble closely the Tannakian reconstruction of an algebraic entity from its category of modules or comodules or whatever.

So I was wondering whether there is a way to see doctrinal, Gabriel-Ulmer style reconstruction and Tannaka style reconstruction as instances of something more general.

The only explicit reference I have found is Brian Day in Enriched Tannaka reconstruction writing "Our approach provides a synthesis of Tannaka reconstruction and Gabriel-Ulmer duality," but I haven't found the paper very helpful.

I've posed this question at greater length here.

share|cite|improve this question
Why the vote to close??? – Todd Trimble Jul 15 '11 at 12:15
Someone thought I was asking about Gabriel-Rosenberg, the connection of which with Tannaka reconstruction has already been asked about. They withdrew the comment, but can't withdraw the vote. – David Corfield Jul 15 '11 at 14:01
Todd provided an answer here…. – David Corfield Aug 6 '11 at 12:19

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.