Directory UMM :Journals:Journal_of_mathematics:TAC:
Teks penuh
Dokumen terkait
For any 2 -category (be it a priori tensored and cotensored or not) all notions of completeness and cocompleteness coincide: an order is order-cocomplete if and only if it
Recall (Saavedra Rivano 1972, III 2.2.2) that a gerbe is said to be tannakian if its band is locally defined by an affine group scheme... Every gerbe whose band is tannakian arises
A pointed regular category is subtractive if and only if every span in it is subtractive, and moreover, the functor S not only preserves but also reflects subtractive spans..
Although it appears that exponentiability in Lax( B, Span) has not explicitly been considered, Lax( B, Span) is known to be equivalent to the slice category Cat /B , and ex-
σ -compact) if it is locally compact (resp. The definition of a locally compact groupoid in [15] corresponds to our definition of a locally compact, σ -compact groupoid with Haar
In this paper we establish the converse propositions for locally finite Borel measures in Radon spaces, and we deduce that a Radon space X is a strongly Radon space if and only if
It is known from Watanabe’s result [9] that a three-dimensional Sasakian mani- fold is locally φ - symmetric if and only if the scalar curvature r is constant.. Using Watanabe’s
In Joyal’s concept of θ -category [J], the shape-category is the opposite of a certain category D, calledthe category of finite disks.. Joyal denotes D op by Θ, andcalls it the
