{"id":"https://openalex.org/W4415063173","doi":"https://doi.org/10.46298/lmcs-22(2:13)2026","title":"Empirical Measures and Strong Laws of Large Numbers in Categorical Probability","display_name":"Empirical Measures and Strong Laws of Large Numbers in Categorical Probability","publication_year":2026,"publication_date":"2026-05-05","ids":{"openalex":"https://openalex.org/W4415063173","doi":"https://doi.org/10.46298/lmcs-22(2:13)2026"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-22(2:13)2026","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-22(2:13)2026","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.46298/lmcs-22(2:13)2026","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017876886","display_name":"T. A. Fritz","orcid":"https://orcid.org/0000-0001-7081-2635"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tobias Fritz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044495079","display_name":"Tom\u00e1\u0161 Gonda","orcid":"https://orcid.org/0000-0002-1531-0058"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tom\u00e1\u0161 Gonda","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009812559","display_name":"Antonio Lorenzin","orcid":"https://orcid.org/0000-0002-2415-4261"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Antonio Lorenzin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005788902","display_name":"Paolo Perrone","orcid":"https://orcid.org/0000-0002-9123-9089"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paolo Perrone","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5046716441","display_name":"Abubakar Sani-Mohammed","orcid":"https://orcid.org/0000-0003-3667-4624"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Areeb Shah Mohammed","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0217958,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 22, Issue 2","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11871","display_name":"Advanced Statistical Methods and Models","score":0.6407999992370605,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11871","display_name":"Advanced Statistical Methods and Models","score":0.6407999992370605,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11918","display_name":"Forecasting Techniques and Applications","score":0.5936999917030334,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.5577999949455261,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/law-of-large-numbers","display_name":"Law of large numbers","score":0.6031000018119812},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5888000130653381},{"id":"https://openalex.org/keywords/permutation","display_name":"Permutation (music)","score":0.5275999903678894},{"id":"https://openalex.org/keywords/exchangeable-random-variables","display_name":"Exchangeable random variables","score":0.5234000086784363},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5139999985694885},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.47269999980926514},{"id":"https://openalex.org/keywords/empirical-measure","display_name":"Empirical measure","score":0.47110000252723694},{"id":"https://openalex.org/keywords/joint-probability-distribution","display_name":"Joint probability distribution","score":0.4643999934196472},{"id":"https://openalex.org/keywords/convergence-of-random-variables","display_name":"Convergence of random variables","score":0.46299999952316284}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8438000082969666},{"id":"https://openalex.org/C185767445","wikidata":"https://www.wikidata.org/wiki/Q207952","display_name":"Law of large numbers","level":3,"score":0.6031000018119812},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5888000130653381},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.5275999903678894},{"id":"https://openalex.org/C113325137","wikidata":"https://www.wikidata.org/wiki/Q4406885","display_name":"Exchangeable random variables","level":5,"score":0.5234000086784363},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5139999985694885},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.47269999980926514},{"id":"https://openalex.org/C206654554","wikidata":"https://www.wikidata.org/wiki/Q5374247","display_name":"Empirical measure","level":2,"score":0.47110000252723694},{"id":"https://openalex.org/C18653775","wikidata":"https://www.wikidata.org/wiki/Q1333358","display_name":"Joint probability distribution","level":2,"score":0.4643999934196472},{"id":"https://openalex.org/C95763700","wikidata":"https://www.wikidata.org/wiki/Q578985","display_name":"Convergence of random variables","level":3,"score":0.46299999952316284},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4481000006198883},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.4185999929904938},{"id":"https://openalex.org/C27142425","wikidata":"https://www.wikidata.org/wiki/Q1139334","display_name":"Almost everywhere","level":2,"score":0.40799999237060547},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.36730000376701355},{"id":"https://openalex.org/C178197554","wikidata":"https://www.wikidata.org/wiki/Q1099110","display_name":"Sufficient statistic","level":2,"score":0.3659000098705292},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.350600004196167},{"id":"https://openalex.org/C57945734","wikidata":"https://www.wikidata.org/wiki/Q7977941","display_name":"Weak convergence","level":3,"score":0.3449000120162964},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.33640000224113464},{"id":"https://openalex.org/C98385598","wikidata":"https://www.wikidata.org/wiki/Q1339385","display_name":"Empirical distribution function","level":2,"score":0.3301999866962433},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.3167000114917755},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.3068999946117401},{"id":"https://openalex.org/C21031990","wikidata":"https://www.wikidata.org/wiki/Q355020","display_name":"Probability measure","level":2,"score":0.2973000109195709},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.28790000081062317},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.28110000491142273},{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.27730000019073486},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.27059999108314514},{"id":"https://openalex.org/C198531522","wikidata":"https://www.wikidata.org/wiki/Q485146","display_name":"Sample (material)","level":2,"score":0.26589998602867126},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.26429998874664307},{"id":"https://openalex.org/C189973286","wikidata":"https://www.wikidata.org/wiki/Q176695","display_name":"Markov property","level":4,"score":0.26190000772476196},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.2526000142097473}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.46298/lmcs-22(2:13)2026","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-22(2:13)2026","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2503.21576","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2503.21576","pdf_url":"https://arxiv.org/pdf/2503.21576","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2503.21576","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2503.21576","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.46298/lmcs-22(2:13)2026","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-22(2:13)2026","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2262040633","display_name":"Probability and Statistics with Markov Categories","funder_award_id":"P 35992","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8590477180","display_name":null,"funder_award_id":"10.55776","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320327491","display_name":"Universit\u00e4t Innsbruck","ror":"https://ror.org/054pv6659"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0],"Glivenko--Cantelli":[1,146,181],"theorem":[2,147,182,214],"is":[3],"a":[4,68,89,102,128,201],"uniform":[5,36],"version":[6],"of":[7,11,21,35,38,51,70,140,152,160,187,204],"the":[8,24,29,33,39,141,145,149,179,184,211],"strong":[9,150,185],"law":[10,151,186],"large":[12,153,188],"numbers.":[13,154],"It":[14],"states":[15],"that":[16,67],"for":[17,119,190],"every":[18],"IID":[19],"sequence":[20,84],"random":[22,191],"variables,":[23],"empirical":[25,52,65,93,104,124,161],"measure":[26,94],"converges":[27],"to":[28,47,77],"underlying":[30],"distribution":[31],"(in":[32],"sense":[34],"convergence":[37],"CDF).":[40],"In":[41],"this":[42],"work,":[43],"we":[44,132],"provide":[45,156],"tools":[46],"study":[48],"such":[49,106],"limits":[50],"measures":[53],"in":[54,111,208],"categorical":[55],"probability.":[56],"We":[57,155],"propose":[58],"two":[59,206],"axioms,":[60],"namely":[61],"permutation":[62],"invariance":[63],"and":[64,87,127,148,183],"adequacy,":[66],"morphism":[69,126],"type":[71],"$X^{\\mathbb{N}}":[72],"\\to":[73],"X$":[74],"should":[75],"satisfy":[76],"be":[78],"interpretable":[79],"as":[80,85,95,135,137,164],"taking":[81],"an":[82,123],"infinite":[83],"input":[86],"producing":[88],"sample":[90],"from":[91,215],"its":[92],"output.":[96],"Since":[97],"not":[98],"all":[99],"sequences":[100],"have":[101],"well-defined":[103],"measure,":[105],"\\emph{empirical":[107],"sampling":[108,125,162],"morphisms}":[109],"live":[110],"quasi-Markov":[112],"categories,":[113,117],"which,":[114],"unlike":[115],"Markov":[116,167],"allow":[118],"partial":[120],"morphisms.":[121],"Given":[122],"few":[129],"other":[130],"properties,":[131],"prove":[133],"representability":[134],"well":[136],"abstract":[138,175],"versions":[139],"de":[142,212],"Finetti":[143,213],"theorem,":[144],"several":[157],"concrete":[158],"constructions":[159],"morphisms":[163],"partially":[165],"defined":[166],"kernels":[168],"on":[169],"standard":[170,180],"Borel":[171],"spaces.":[172],"Instantiating":[173],"our":[174],"results":[176],"then":[177],"recovers":[178],"numbers":[189],"variables":[192],"with":[193,210],"finite":[194],"first":[195,216],"moment.":[196],"Our":[197],"work":[198],"thus":[199],"provides":[200],"joint":[202],"proof":[203],"these":[205],"theorems":[207],"conjunction":[209],"principles.":[217]},"counts_by_year":[],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-11T00:00:00"}