Applied Categorical Structures最新文献_第4页

Metric Completions of Triangulated Categories from Finite Dimensional Algebras 有限维代数中三角化范畴的度量补全

IF 0.5 4区数学

Applied Categorical Structures Pub Date : 2026-05-04 DOI: 10.1007/s10485-026-09857-z

Cyril Matoušek

引用次数: 0

Presheaves on Lax Double Functors; Or, Instances of Models of Double Theories Lax双函子上的预轴或者，双重理论模型的实例

IF 0.5 4区数学

Applied Categorical Structures Pub Date : 2026-05-04 DOI: 10.1007/s10485-026-09866-y

Kevin Carlson, Evan Patterson

{"title":"Presheaves on Lax Double Functors; Or, Instances of Models of Double Theories","authors":"Kevin Carlson, Evan Patterson","doi":"10.1007/s10485-026-09866-y","DOIUrl":"10.1007/s10485-026-09866-y","url":null,"abstract":"<div>We introduce a notion of (co)presheaf on a lax double functor X, which we generally call an instance. In the terminology of double-categorical logic, a lax double functor valued in sets, possibly preserving finite products, is called a model of a double (Lawvere) theory. By varying the double theory, we uniformly define a well-behaved notion of instances of categories, profunctors, monads, monoidal categories, multicategories, and more, and we recover for instance the multifunctors into the category of sets in the last example. We show that instances of X can be described either in terms of modules from the terminal model I to X, satisfying an additional condition on triviality of the left action, or as loose natural transformations from I to X. We propose a notion of discrete opfibration between models of a double theory, establish a comprehensive factorization system, and prove an elements correspondence giving an equivalence between the category of instances of and the category of discrete opfibrations over a model X. We describe properties of the resulting categories of instances, relying on a “collage” construction which we characterize as a lax colimit of a model of a double theory. An appendix gives a detailed treatment of certain morphisms of lax functors relevant also for bicategory theory: (loose) transformations versus modules and modifications versus modulations.</div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"34 4","pages":""},"PeriodicalIF":0.5,"publicationDate":"2026-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147807593","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Length of Fully Faithful Framed Bicategories 完全忠实框架双范畴的长度

IF 0.5 4区数学

Applied Categorical Structures Pub Date : 2026-05-04 DOI: 10.1007/s10485-026-09861-3

Juan Orendain

引用次数: 0

A Model Structure on the Category of (text{ A}_{infty })-Categories with Strict Morphisms (text{ A}_{infty })范畴上的模型结构——严格态射范畴

IF 0.5 4区数学

Applied Categorical Structures Pub Date : 2026-05-04 DOI: 10.1007/s10485-026-09870-2

Mattia Ornaghi

引用次数: 0

Simplicial Approach to Frobenius Algebras in the Category of Relations 关系范畴中Frobenius代数的简化方法

IF 0.5 4区数学

Applied Categorical Structures Pub Date : 2026-04-19 DOI: 10.1007/s10485-026-09855-1

Dominik Lachman

引用次数: 0

A Characterization of Groupoids in Terms of Their Category of (mathcal {C})-Sets 群类群在(mathcal {C}) -集合范畴上的刻划

IF 0.5 4区数学

Applied Categorical Structures Pub Date : 2026-04-04 DOI: 10.1007/s10485-026-09854-2

J. Miguel Calderón, Alberto G. Raggi-Cárdenas, Itzel Rosas, Ramón H. Ruiz-Medina

引用次数: 0

Thomason Cohomology and Quillen’s Theorem A Thomason上同调与Quillen定理A

IF 0.5 4区数学

Applied Categorical Structures Pub Date : 2026-04-04 DOI: 10.1007/s10485-026-09864-0

Mehmet Kırtışoğlu, Ergün Yalçın

引用次数: 0

Towards a Unified Theory of Time-Varying Data 时变数据的统一理论

IF 0.5 4区数学

Applied Categorical Structures Pub Date : 2026-04-04 DOI: 10.1007/s10485-026-09860-4

Benjamin Merlin Bumpus, Wilmer Leal, James Fairbanks, Martti Karvonen, Frédéric Simard

{"title":"Towards a Unified Theory of Time-Varying Data","authors":"Benjamin Merlin Bumpus, Wilmer Leal, James Fairbanks, Martti Karvonen, Frédéric Simard","doi":"10.1007/s10485-026-09860-4","DOIUrl":"10.1007/s10485-026-09860-4","url":null,"abstract":"<div>What is a time-varying graph, a time-varying topological space, or, more generally, a mathematical structure that evolves over time? In this work, we lay the foundations for a general theory of temporal data by introducing categories of narratives. These are sheaves on posets of time intervals that encode snapshots of a temporal object along with the relationships between them. This theory satisfies five desiderata distilled from the burgeoning field of time-varying graphs: (D1) it defines both time-varying objects and their morphisms; (D2) it distinguishes between cumulative and persistent interpretations and provides principled methods for transitioning between them; (D3) it systematically lifts static notions to their temporal analogues; (D4) it is object agnostic; (D5) it integrates with theories of dynamical systems. To achieve this, we build upon existing categorical and sheaf-theoretic approaches to temporal graph theory, generalizing them to any category with limits and colimits. We also formalize tacit intuitions that, while present, often remain implicit in temporal graph theory. Beyond synthesizing and reformulating existing ideas in categorical language, we introduce sheaf-theoretic constructions and prove results that, to our knowledge, have not appeared in the temporal data literature—such as the adjunction between persistent and cumulative narratives. More importantly, we integrate these existing and novel elements into a consistent and coherent framework, setting the stage for a unified theory of time-varying data.</div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"34 3","pages":""},"PeriodicalIF":0.5,"publicationDate":"2026-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-026-09860-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147606404","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Morphisms and Comorphisms of Sites I Double-Categories of Sites 站点的态射与共态1站点的双范畴

IF 0.5 4区数学

Applied Categorical Structures Pub Date : 2026-04-04 DOI: 10.1007/s10485-026-09853-3

Olivia Caramello, Axel Osmond

引用次数: 0

Thomason’s Colimit Theorem for the Double Category of Elements 元二重范畴的Thomason极限定理

IF 0.5 4区数学

Applied Categorical Structures Pub Date : 2026-03-22 DOI: 10.1007/s10485-026-09858-y

Andrew Gill, Maru Sarazola

引用次数: 0