BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Martin Szyld appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This paper defines double fibrations (fibrations of double categories) and describes their key examples and properties. In particular, it shows how double fibrations relate to existing fibrational notions such as monoidal fibrations and discrete double fibrations, proves a representation theorem for double fibrations, and shows how double fibrations are a type of internal fibration.
We give a unified direct proof of the lifting of PIE limits to the 2-category of algebras and (pseudo) morphisms, which specifies precisely which of the projections of the lifted limit are strict and detect strictness. In the literature, these limits were lifted one by one, so as to keep track of these projections in each case. We work in the more general context of weak algebra morphisms, so as to include lax morphisms as well. PIE limits are also all simultaneously lifted in this case, provided some specified arrows of the diagram are pseudo morphisms. Again, this unifies the previously known lifting of many particular PIE limits, which were also treated separately.
We consider locales $B$ as algebras in the tensor category $s\ell$ of sup-lattices. We show the equivalence between the Joyal-Tierney descent theorem for open localic surjections $sh(B) \stackrel{q}{\longrightarrow} \mathcal{E}$ in Galois theory [An extension of the Galois Theory of Grothendieck, AMS Memoirs 151] and a Tannakian recognition theorem over $s\ell$ for the $s\ell$-functor $Rel(E) \stackrel{Rel(q^*)}{\longrightarrow} Rel(sh(B)) \cong (B$-$Mod)_0$ into the $s\ell$-category of discrete $B$-modules. Thus, a new Tannaka recognition theorem is obtained, essentially different from those known so far. This equivalence follows from two independent results. We develop an explicit construction of the localic groupoid $G$ associated by Joyal-Tierney to $q$, and do an exhaustive comparison with the Deligne Tannakian construction of the Hopf algebroid $L$ associated to $Rel(q^*)$, and show they are isomorphic, that is, $L \cong \mathcal{O}(G)$. On the other hand, we show that the $s\ell$-category of relations of the classifying topos of any localic groupoid $G$, is equivalent to the $s\ell$-category of $L$-comodules with discrete subjacent $B$-module, where $L = \mathcal{O}(G)$. We are forced to work over an arbitrary base topos because, contrary to the neutral case developed over Sets in [A Tannakian Context for Galois Theory, Advances in Mathematics 234], here change of base techniques are unavoidable.
Strong similarities have been long observed between the Galois (Categories Galoisiennes) and the Tannaka (Categories Tannakiennes) theories of representation of groups. In this paper we construct an explicit (neutral) Tannakian context for the Galois theory of atomic topoi, and prove the equivalence between its fundamental theorems. Since the theorem is known for the Galois context, this yields, in particular, a proof of the fundamental (recognition) theorem for a new Tannakian context. This example is different from the additive cases or their generalization, where the theorem is known to hold, and where the unit of the tensor product is always an object of finite presentation, which is not the case in our context.