Nuclear and trace ideals in tensored-categories
104
TL;DR: In this paper, the authors generalize the notion of nuclear maps from functional analysis by defining nuclear ideals in tensored ∗ -categories, and introduce two new classes of morphisms which behave as if they were part of a compact closed category.
read more
About: This article is published in Journal of Pure and Applied Algebra. The article was published on 10 Nov 1999. and is currently open access. The article focuses on the topics: Enriched category & Compact closed category.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
The dagger lambda calculus
Philip Atzemoglou
- 28 Dec 2014
TL;DR: In this paper, a lambda calculus with a linear negation of De Morgan duality is presented, based on a symmetric notion of binding of global scope, with rules acting on the entire typing judgement instead of on a specific subterm.
Bernstein trace
TL;DR: In this article, the notion of relative trace was introduced, motivated by an observation about the category of vector spaces and linear transformations and built upon the categorical trace of Joyal, Street, and Verity.
On Disintegration in Probabilistic Semantics
Dexter Kozen
- 01 Apr 2018
TL;DR: An enhanced version of the Radon-Nikodým theorem is derived that makes explicit the approximating functions, thereby allowing the coordinated construction of multiple simultaneous derivatives.
Bisimilarity of Distributionally Equivalent Markov Transition Systems
TL;DR: It is shown that distributional equivalence is equivalent to bisimilarity as well, using a characterization of distributional equivalent transition systems through ergodic morphisms.
On Strictifying Extensional Reflexivity in Compact Closed Categories
Peter Hines
TL;DR: The paper studies extensional reflexivity in compact closed categories and its relationship to Frobenius algebras. It characterizes extensionally reflexive objects, strictifies reflexivity, and demonstrates the presence of interesting algebraic structures in such objects.
References
•Book
Real and complex analysis
Walter Rudin
- 01 Jan 1966
TL;DR: In this paper, the Riesz representation theorem is used to describe the regularity properties of Borel measures and their relation to the Radon-Nikodym theorem of continuous functions.
•Book
Categories for the Working Mathematician
Saunders Mac Lane
- 01 Jan 1971
TL;DR: In this article, the authors present a table of abstractions for categories, including Axioms for Categories, Functors, Natural Transformations, and Adjoints for Preorders.
10.5K
•Book
Probability and Measure
Patrick Billingsley
- 01 Jan 1979
TL;DR: In this paper, the convergence of distributions is considered in the context of conditional probability, i.e., random variables and expected values, and the probability of a given distribution converging to a certain value.
The Analysis of Linear Partial Differential Operators I
Lars Hörmander
- 01 Jan 1998
TL;DR: In this article, the analysis of linear partial differential operators i distribution theory and fourier rep are a good way to achieve details about operating certain products using instruction manuals, which are clearlybuilt to give step-by-step information about how you ought to go ahead in operating certain equipments.
7.1K
Related Papers (5)
Saunders Mac Lane
- 01 Jan 1971
André Joyal,Ross Street,Dominic Verity +2 more
- 01 Apr 1996
Michèle Giry
- 01 Jan 1982
[...]
Jean-Yves Girard
- 30 Jan 1987