Draft:Category of measurable spaces: Difference between revisions
mNo edit summary |
Citation bot (talk | contribs) Altered pages. Added doi. Formatted dashes. | Use this bot. Report bugs. | Suggested by Лисан аль-Гаиб | Category:AfC submissions on science, mathematics and engineering | #UCB_Category 309/821 |
||
Line 80: | Line 80: | ||
| journal = Journal of Logical and Algebraic Methods in Programming |
| journal = Journal of Logical and Algebraic Methods in Programming |
||
| volume = 94 |
| volume = 94 |
||
| pages = |
| pages = 200–237 |
||
| date = 2018 |
| date = 2018 |
||
| doi = 10.1016/j.jlamp.2016.11.006 |
|||
| url = https://www.sciencedirect.com/science/article/pii/S2352220816301122 |
| url = https://www.sciencedirect.com/science/article/pii/S2352220816301122 |
||
}} |
}} |
Revision as of 20:23, 8 March 2024
Review waiting, please be patient.
This may take 2 months or more, since drafts are reviewed in no specific order. There are 2,401 pending submissions waiting for review.
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
Reviewer tools
|
Submission declined on 31 January 2024 by 94rain (talk). This submission is not adequately supported by reliable sources. Reliable sources are required so that information can be verified. If you need help with referencing, please see Referencing for beginners and Citing sources.
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
This draft has been resubmitted and is currently awaiting re-review. |
In mathematics, the category of measurable spaces, often denoted Meas, is the category whose objects are measurable spaces and whose morphisms are measurable maps.[1] [2] [3] [4] This is a category because the composition of two measurable maps is again measurable, and the identity function is measurable.
N.B. Some authors reserve the name Meas for categories whose objects are measure spaces, and denote the category of measurable spaces as Mble, or other notations. Some authors also restrict the category only to particular well-behaved measurable spaces, such as standard Borel spaces.
As a concrete category
Like many categories, the category Meas is a concrete category, meaning its objects are sets with additional structure (i.e. sigma-algebras) and its morphisms are functions preserving this structure. There is a natural forgetful functor
- U : Meas → Set
to the category of sets which assigns to each measurable space the underlying set and to each measurable map the underlying function.
The forgetful functor U has both a left adjoint
- D : Set → Top
which equips a given set with the discrete sigma-algebra, and a right adjoint
- I : Set → Top
which equips a given set with the indiscrete or trivial sigma-algebra. Both of these functors are, in fact, right inverses to U (meaning that UD and UI are equal to the identity functor on Set). Moreover, since any function between discrete or between indiscrete spaces is measurable, both of these functors give full embeddings of Set into Meas.
Limits and colimits
The category Meas is both complete and cocomplete, which means that all small limits and colimits exist in Meas. In fact, the forgetful functor U : Meas → Set uniquely lifts both limits and colimits and preserves them as well. Therefore, (co)limits in Meas are given by placing particular sigma-algebras on the corresponding (co)limits in Set.
Examples of limits and colimits in Meas include:
- The empty set (considered as a measurable space) is the initial object of Meas; any singleton measurable space is a terminal object. There are thus no zero objects in Meas.
- The product in Meas is given by the product sigma-algebra on the Cartesian product. The coproduct is given by the disjoint union of measurable spaces.
- The equalizer of a pair of morphisms is given by placing the induced sigma-algebra on the subset given by the set-theoretic equalizer. Dually, the coequalizer is given by placing the quotient sigma-algebra on the set-theoretic coequalizer.
- Direct limits and inverse limits are the set-theoretic limits with the final and initial sigma-algebra respectively. Canonical examples of direct and inverse systems are the ones arising from filtrations in probability theory, and the limits and colimits of such systems are, respectively, the join and the intersection of sigma-algebras.
Other properties
- The monomorphisms in Meas are the injective measurable maps, the epimorphisms are the surjective measurable maps, and the isomorphisms are the isomorphisms of measurable spaces.
- The split monomorphisms are (essentially) the inclusions of measurable retracts into their ambient space.
- The split epimorphisms are (up to isomorphism) the measurable surjective maps of a measurable space onto one of its retracts.
- Meas is not cartesian closed (and therefore also not a topos) since it does not have exponential objects for all spaces.
See also
- Category of topological spaces – category whose objects are topological spaces and whose morphisms are continuous maps
- Category of sets – Category in mathematics where the objects are sets
- Category of probability spaces
- Category of Markov kernels
- Measurable space – Basic object in measure theory; set and a sigma-algebra
- Measurable function – Function for which the preimage of a measurable set is measurable
Citations
- ^ Giry (1982), p. 69
- ^ Jacobs (2018), p. 205
- ^ Fritz (2020), p. 20
- ^ Moss & Perrone (2022), p. 3
References
- Giry, Michèle (1982). "A categorical approach to probability theory". Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics. Vol. 915. Springer. pp. 68–85. doi:10.1007/BFb0092872. ISBN 978-3-540-11211-2.
- Jacobs, Bart (2018). "From probability monads to commutative effectuses". Journal of Logical and Algebraic Methods in Programming. 94: 200–237. doi:10.1016/j.jlamp.2016.11.006.
- Fritz, Tobias (2020). "A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics". Advances in Mathematics. 370. arXiv:1908.07021. doi:10.1016/j.aim.2020.107239. S2CID 201103837.
- Moss, Sean; Perrone, Paolo (2022). "Probability monads with submonads of deterministic states". LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. arXiv:2204.07003. doi:10.1145/3531130.3533355.