Regular functors and relative realisability categories
نویسنده
چکیده
The relative realizability toposes that Awodey, Birkedal and Scott introduced in [1] satisfy a universal property that involves regular functors to other categories. We use this universal property to define what relative realizability categories are, when based on other categories than of the topos of sets. This paper explains the property and gives a construction for relative realizability categories that works for arbitrary base Heyting categories. The universal property shows us some new geometric morphisms to relative realizability toposes too.
منابع مشابه
The function ring functors of pointfree topology revisited
This paper establishes two new connections between the familiar function ring functor ${mathfrak R}$ on the category ${bf CRFrm}$ of completely regular frames and the category {bf CR}${mathbf sigma}${bf Frm} of completely regular $sigma$-frames as well as their counterparts for the analogous functor ${mathfrak Z}$ on the category {bf ODFrm} of 0-dimensional frames, given by the integer-valued f...
متن کاملNote on regular and coregular sequences
Let R be a commutative Noetherian ring and let M be a nitely generated R-module. If I is an ideal of R generated by M-regular sequence, then we study the vanishing of the rst Tor functors. Moreover, for Artinian modules and coregular sequences we examine the vanishing of the rst Ext functors.
متن کاملA Characterization of Simplicial Localization Functors and a Discussion of Dk Equivalences
In a previous paper we lifted Charles Rezk’s complete Segal model structure on the category of simplicial spaces to a Quillen equivalent one on the category of “relative categories.” Here, we characterize simplicial localization functors among relative functors from relative categories to simplicial categories as any choice of homotopy inverse to the delocalization functor of Dwyer and the seco...
متن کاملVanishing of Ext-Functors and Faltings’ Annihilator Theorem for relative Cohen-Macaulay modules
et be a commutative Noetherian ring, and two ideals of and a finite -module. In this paper, we have studied the vanishing and relative Cohen-Macaulyness of the functor for relative Cohen-Macauly filtered modules with respect to the ideal (RCMF). We have shown that the for relative Cohen-Macaulay modules holds for any relative Cohen-Macauly module with respect to with ........
متن کاملModel categories
iv Contents Preface vii Chapter 1. Model categories 1 1.1. The definition of a model category 2 1.2. The homotopy category 7 1.3. Quillen functors and derived functors 13 1.3.1. Quillen functors 13 1.3.2. Derived functors and naturality 16 1.3.3. Quillen equivalences 19 1.4. 2-categories and pseudo-2-functors 22 Chapter 2. Examples 27 2.1. Cofibrantly generated model categories 28 2.1.1. Ordina...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 23 شماره
صفحات -
تاریخ انتشار 2013