{"id":"https://openalex.org/W7221088907","doi":"https://doi.org/10.48550/arxiv.2610.10930","title":"Inter-Categorical Subobject Analysis","display_name":"Inter-Categorical Subobject Analysis","publication_year":2026,"publication_date":"2026-10-07","ids":{"openalex":"https://openalex.org/W7221088907","doi":"https://doi.org/10.48550/arxiv.2610.10930"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.10930","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.10930","pdf_url":"https://arxiv.org/pdf/2610.10930","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,"listed_in":[],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.10930","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014780636","display_name":"Alexander Pr\u00e4hauser","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Pr\u00e4hauser, Alexander","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5014780636"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.31150001287460327,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.31150001287460327,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.2816999852657318,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.1527000069618225,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/subobjects","display_name":"subobjects","score":0.8059999942779541},{"id":"https://openalex.org/keywords/smallness","display_name":"smallness","score":0.722000002861023},{"id":"https://openalex.org/keywords/density","display_name":"density","score":0.9890000224113464},{"id":"https://openalex.org/keywords/topological-density","display_name":"topological density","score":0.953000009059906},{"id":"https://openalex.org/keywords/categorical-topology","display_name":"categorical topology","score":0.5040000081062317},{"id":"https://openalex.org/keywords/representation-theorem","display_name":"representation theorem","score":0.8769999742507935},{"id":"https://openalex.org/keywords/n-categories","display_name":"n-categories","score":0.6759999990463257},{"id":"https://openalex.org/keywords/natural-transformation","display_name":"natural transformation","score":0.5979999899864197},{"id":"https://openalex.org/keywords/limits","display_name":"limits","score":0.32199999690055847}],"concepts":[{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.7258999943733215},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6988999843597412},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.5509999990463257},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.5127000212669373},{"id":"https://openalex.org/C83177873","wikidata":"https://www.wikidata.org/wiki/Q2000555","display_name":"Category of topological spaces","level":5,"score":0.48570001125335693},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.4812000095844269},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4729999899864197},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.46480000019073486},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.42890000343322754},{"id":"https://openalex.org/C72727785","wikidata":"https://www.wikidata.org/wiki/Q2518298","display_name":"Category of sets","level":3,"score":0.4235999882221222},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.41749998927116394},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.40849998593330383},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.32429999113082886},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3176000118255615},{"id":"https://openalex.org/C2776477805","wikidata":"https://www.wikidata.org/wiki/Q4460773","display_name":"Topological data analysis","level":2,"score":0.31209999322891235},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.3073999881744385},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.3041999936103821},{"id":"https://openalex.org/C171032842","wikidata":"https://www.wikidata.org/wiki/Q1725874","display_name":"Cartesian closed category","level":2,"score":0.30320000648498535},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.30140000581741333},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.3009999990463257},{"id":"https://openalex.org/C2780580338","wikidata":"https://www.wikidata.org/wiki/Q577835","display_name":"Adjunction","level":2,"score":0.2953000068664551},{"id":"https://openalex.org/C2780617661","wikidata":"https://www.wikidata.org/wiki/Q541563","display_name":"Subcategory","level":2,"score":0.29499998688697815},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.2946999967098236},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.2946000099182129},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.290800005197525},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.27970001101493835},{"id":"https://openalex.org/C145054310","wikidata":"https://www.wikidata.org/wiki/Q212803","display_name":"Algebraic topology","level":3,"score":0.2791000008583069},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.27140000462532043},{"id":"https://openalex.org/C17137986","wikidata":"https://www.wikidata.org/wiki/Q215067","display_name":"Orthogonality","level":2,"score":0.27070000767707825},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.266400009393692},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.2533999979496002},{"id":"https://openalex.org/C197273675","wikidata":"https://www.wikidata.org/wiki/Q13220368","display_name":"Representation theory","level":2,"score":0.2513999938964844}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.10930","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.10930","pdf_url":"https://arxiv.org/pdf/2610.10930","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,"listed_in":[],"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.2610.10930","doi":"https://doi.org/10.48550/arxiv.2610.10930","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.10930","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,"listed_in":[],"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":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.10930","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.10930","pdf_url":"https://arxiv.org/pdf/2610.10930","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,"listed_in":[],"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"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7221088907.pdf","grobid_xml":"https://content.openalex.org/works/W7221088907.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W142852063","https://openalex.org/W1659508438","https://openalex.org/W1899098643","https://openalex.org/W1967969623","https://openalex.org/W2033781291","https://openalex.org/W2069423599","https://openalex.org/W2083553842","https://openalex.org/W2099665514","https://openalex.org/W2099684400","https://openalex.org/W2117462511","https://openalex.org/W2151926579","https://openalex.org/W2162052349","https://openalex.org/W2278749689","https://openalex.org/W2990054450","https://openalex.org/W3037832547","https://openalex.org/W4234273520","https://openalex.org/W4311644568"],"related_works":["https://openalex.org/W4245843915","https://openalex.org/W1972128771","https://openalex.org/W1981708819","https://openalex.org/W3120979396","https://openalex.org/W987820263","https://openalex.org/W962084531","https://openalex.org/W6941058433","https://openalex.org/W2904004909","https://openalex.org/W2066794325","https://openalex.org/W839549343"],"abstract_inverted_index":{"We":[0,131],"introduce":[1],"a":[2,16,33,54,120,175,179,207,223],"systematic":[3],"way":[4],"to":[5,13,83,128,157,184,227,231],"use":[6],"the":[7,114,165,188,192,199,203],"subobject":[8,189],"functor":[9],"on":[10],"any":[11,91],"category":[12,92,147],"set":[14],"up":[15],"framework":[17,177],"for":[18,178,217],"generalized":[19],"topological":[20,48,59,166],"and":[21,24,41,50,60,86,93,104,122,142,170,173,191,220,222],"measure-theoretic":[22,51,61],"notions":[23,38,136],"inferences.":[25],"Concretely,":[26],"we":[27,150,161,205,213],"develop":[28],"two":[29],"connected":[30],"calculi:":[31],"1.":[32],"fourfold":[34],"calculus":[35,56],"derived":[36],"from":[37,137],"of":[39,88,116,134,140,168,194,202,209],"smallness":[40,85],"density":[42,49,87],"that":[43,57,70,126,153],"generalizes,":[44],"among":[45],"other":[46],"things,":[47],"negligibility,":[52],"2.":[53],"twofold":[55],"generalizes":[58],"inference":[62],"procedures.":[63],"The":[64],"resulting":[65],"theory":[66,115,148],"is":[67,72,187],"distinguished":[68],"in":[69,74,90,198],"it":[71],"inter-categorical":[73],"character:":[75],"its":[76],"definitions":[77],"can":[78],"be":[79],"applied":[80],"not":[81],"just":[82],"describe":[84],"subobjects":[89],"classify":[94],"morphisms":[95],"by":[96,107,163],"how":[97,108,226],"they":[98,109],"handle":[99],"them,":[100,111],"but":[101,118],"also":[102],"functors":[103],"natural":[105],"transformations":[106],"transform":[110],"somewhat":[112],"like":[113],"limits":[117],"with":[119],"simple":[121],"intuitive":[123],"conceptual":[124],"meaning":[125],"applies":[127],"each":[129],"incarnation.":[130],"provide":[132,206],"examples":[133],"these":[135,229],"many":[138],"areas":[139],"mathematics":[141],"outline":[143],"their":[144,210],"unfolding":[145],"throughout":[146],"as":[149],"add":[151],"assumptions":[152],"bring":[154],"them":[155],"closer":[156],"classical":[158],"settings,":[159],"which":[160],"complete":[162],"generalizing":[164],"duality":[167],"open":[169],"closed":[171],"subsets":[172],"outlining":[174],"possible":[176],"categorical":[180],"measure":[181],"theory.":[182],"Central":[183],"this":[185,218],"interaction":[186],"2-functor":[190,219],"2-category":[193,221],"upward-bounded":[195],"preorders,":[196],"so":[197],"last":[200],"part":[201],"text":[204],"study":[208],"function.":[211],"Concretely":[212],"derive":[214],"representation":[215],"theorems":[216,230],"conjecture":[224],"about":[225],"generalize":[228],"n-categories.":[232]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-10-10T00:00:00"}