Currently displaying 1 – 20 of 20

Showing per page

Order by Relevance | Title | Year of publication

Initial normal covers in bi-Heyting toposes

Francis BorceuxDominique BournPeter Johnstone — 2006

Archivum Mathematicum

The dual of the category of pointed objects of a topos is semi-abelian, thus is provided with a notion of semi-direct product and a corresponding notion of action. In this paper, we study various conditions for representability of these actions. First, we show this to be equivalent to the existence of initial normal covers in the category of pointed objects of the topos. For Grothendieck toposes, actions are representable provided the topos admits an essential Boolean covering. This contains the...

Page 1 Next

Download Results (CSV)