Category Theory
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Wed, 24 Apr 24
- [1] arXiv:2404.14509 [pdf, ps, other]
-
Title: A model for the coherent walking $ω$-equivalenceComments: 20 pages, comments are welcome!Subjects: Category Theory (math.CT); Algebraic Topology (math.AT)
We prove that a certain $\omega$-category, which was constructed in previous work by the third and fourth author, is a model for the fully coherent walking $\omega$-equivalence. Further, appropriate truncations of it give models for the fully coherent walking $n$-equivalence for each $n\geq1$.
- [2] arXiv:2404.14597 [pdf, ps, other]
-
Title: Higher categories of push-pull spans, I: Construction and applicationsAuthors: Lorenzo RivaComments: Comments welcome!Subjects: Category Theory (math.CT); Algebraic Topology (math.AT)
This is the first part of a project aimed at formalizing Rozansky-Witten models in the functorial field theory framework. Motivated by work of Calaque-Haugseng-Scheimbauer [CHS22], we construct a family of symmetric monoidal $(\infty,3)$-categories $\mathscr{PP}(\mathscr{C}; Q^\otimes)$ parametrized by an $\infty$-category $\mathscr{C}$ with finite limits and a representable functor $\mathscr{Q}^\otimes = \mathscr{C}(-, Q^\otimes) : \mathscr{C}^\mathrm{op} \to \mathrm{CAlg}(\mathscr{C}\mathrm{at}_1)$ with pushforwards. We use this general construction and derived algebraic geometry to build $\mathscr{ARW}$, an approximation to the $3$-category of Rozansky-Witten models whose existence was conjectured by Kapustin-Rozansky [KR10]. In the second part we will study the dualizable objects of $\mathscr{ARW}$ and show that our construction extends the matrix factorization $2$-category of Brunner-Carqueville-Roggenkamp [BCR23].
- [3] arXiv:2404.15191 [pdf, ps, other]
-
Title: Convergence of martingales via enriched dagger categoriesComments: 64 pagesSubjects: Category Theory (math.CT); Probability (math.PR)
We provide a categorical proof of convergence for martingales and backward martingales in mean, using enriched category theory. The enrichment we use is in topological spaces, with their canonical closed monoidal structure, which encodes a version of pointwise convergence.
We work in a topologically enriched dagger category of probability spaces and Markov kernels up to almost sure equality. In this category we can describe conditional expectations exactly as dagger-split idempotent morphisms, and filtrations can be encoded as directed nets of split idempotents, with their canonical partial order structure. As we show, every increasing (or decreasing) net of idempotents tends topologically to its supremum (or infimum).
Random variables on a probability space form contravariant functors into categories of Hilbert and Banach spaces, which we can enrich topologically using the L^p norms. Martingales and backward martingales can be defined in terms of these functors. Since enriched functors preserve convergence of nets, we obtain convergence in the L^p norms. The convergence result for backward martingales indexed by an arbitrary net, in particular, seems to be new.
By changing the functor, one can describe more general notions of conditional expectations and martingales, and if the functor is enriched, one automatically obtains a convergence result. For instance, one can recover the Bochner-based notion of vector-valued conditional expectation, and the convergence of martingales with values in an arbitrary Banach space.
This work seems to be the first application of topologically enriched categories to analysis and probability in the literature. We hope that this enrichment, so often overlooked in the past, will be used in the future to obtain further convergence results categorically.
Cross-lists for Wed, 24 Apr 24
- [4] arXiv:2404.14510 (cross-list from math-ph) [pdf, other]
-
Title: Haag-Kastler stacksComments: 65 pagesSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Category Theory (math.CT); Quantum Algebra (math.QA)
This paper provides an alternative implementation of the principle of general local covariance for algebraic quantum field theories (AQFTs) which is more flexible and powerful than the original one by Brunetti, Fredenhagen and Verch. This is realized by considering the $2$-functor $\mathsf{HK} : \mathbf{Loc}^\mathrm{op} \to \mathbf{CAT}$ which assigns to each Lorentzian manifold $M$ the category $\mathsf{HK}(M)$ of Haag-Kastler-style AQFTs over $M$ and to each embedding $f:M\to N$ a pullback functor $f^\ast = \mathsf{HK}(f) : \mathsf{HK}(N) \to \mathsf{HK}(M)$ restricting theories from $N$ to $M$. Locally covariant AQFTs are recovered as the points of the $2$-functor $\mathsf{HK}$. The main advantages of this new perspective are: 1.) It leads to technical simplifications, in particular with regard to the time-slice axiom, since global problems on $\mathbf{Loc}$ become families of simpler local problems on individual Lorentzian manifolds. 2.) Some aspects of the Haag-Kastler framework which previously got lost in locally covariant AQFT, such as a relative compactness condition on the open subsets in a Lorentzian manifold $M$, are reintroduced. 3.) It provides a successful and radically new perspective on descent conditions in AQFT, i.e. local-to-global conditions which allow one to recover a global AQFT on a Lorentzian manifold $M$ from its local data in an open cover $\{U_i \subseteq M\}$.
- [5] arXiv:2404.14537 (cross-list from math.RT) [pdf, ps, other]
-
Title: Minimal semiinjective resolutions in the $Q$-shaped derived categoryComments: 21 pagesSubjects: Representation Theory (math.RT); Category Theory (math.CT); Rings and Algebras (math.RA)
Injective resolutions of modules are key objects of homological algebra, which are used for the computation of derived functors. Semiinjective resolutions of chain complexes are more general objects, which are used for the computation of $\operatorname{Hom}$ spaces in the derived category $\mathscr{D}( A )$ of a ring $A$. Minimal semiinjective resolutions have the additional property of being unique.
The $Q$-shaped derived category $\mathscr{D}_Q( A )$ consists of $Q$-shaped diagrams for a suitable preadditive category $Q$, and it generalises $\mathscr{D}( A )$. Some special cases of $\mathscr{D}_Q( A )$ are the derived categories of differential modules, $m$-periodic chain complexes, and $N$-complexes, and there are many other possibilities. The category $\mathscr{D}_Q( A )$ shares some key properties of $\mathscr{D}( A )$; for instance, it is triangulated and compactly generated.
This paper establishes a theory of minimal semiinjective resolutions in $\mathscr{D}_Q( A )$. As a sample application, it generalises a theorem by Ringel--Zhang on differential modules. - [6] arXiv:2404.15162 (cross-list from math.OA) [pdf, ps, other]
-
Title: Hilbert spaces over $C^*$-tensor categories, Fredholm modules and cyclic cohomologySubjects: Operator Algebras (math.OA); Category Theory (math.CT); Rings and Algebras (math.RA)
We construct Fredholm modules over an algebra taking values in generalized Hilbert spaces over a rigid $C^*$-tensor category. Using methods of Connes, we obtain Chern characters taking values in cyclic cohomology. These Chern characters are well behaved with respect to the periodicity operator, and depend only on the homotopy class of the Fredholm module.
Replacements for Wed, 24 Apr 24
- [7] arXiv:2403.01651 (replaced) [pdf, ps, other]
-
Title: Dagger $n$-categoriesAuthors: Giovanni Ferrer, Brett Hungar, Theo Johnson-Freyd, Cameron Krulewski, Lukas Müller, Nivedita, David Penneys, David Reutter, Claudia Scheimbauer, Luuk Stehouwer, Chetan VuppuluryComments: 18 pages; v2 corrected definition of dagger $(\infty,n)$-category with unitary dualitySubjects: Category Theory (math.CT); Mathematical Physics (math-ph); Algebraic Topology (math.AT); Quantum Algebra (math.QA)
- [8] arXiv:2301.11114 (replaced) [pdf, other]
-
Title: Unitary anchored planar algebrasComments: 47 pages, updated to published versionSubjects: Quantum Algebra (math.QA); Category Theory (math.CT)
- [9] arXiv:2401.11752 (replaced) [pdf, other]
-
Title: Univalent Enriched Categories and the Enriched Rezk CompletionAuthors: Niels van der WeideSubjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
- [10] arXiv:2403.03546 (replaced) [pdf, ps, other]
-
Title: A bijection between support $τ$-tilting subcategories and $τ$-cotorsion pairs in extriangulated categoriesComments: 15 pagesSubjects: Representation Theory (math.RT); Category Theory (math.CT)
[ showing up to 2000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2404, contact, help (Access key information)