Finn Lawler
regular fibration (Rev #2)
Redirected from "properly supported pseudo-differential operator".
Contents
Definition
A regular fibration is a bifibration , where and have finite products, with those in preserved by reindexing (), satisfying Frobenius reciprocity and the Beck--Chevalley condition for pullback squares in .
Logic
A regular fibration posesses exactly the structure needed to interpret regular logic?.
…
Characterization
Proposition
A category is regular if and only if the projection sending to is a regular fibration, where is the full subcategory of on the monomorphisms.
Revision on February 2, 2011 at 14:43:42 by
Finn Lawler?.
See the history of this page for a list of all contributions to it.