Unitary, Inner product, and Dagger categories
Fuente:
arXiv
Saved in:
| Main Authors: | Cockett, Robin, Kumar, Durgesh, Srinivasan, Priyaa Varshinee |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
What kind of linearly distributive category do polynomial functors form?
by: Spivak, David I., et al.
Published: (2024)
by: Spivak, David I., et al.
Published: (2024)
Drazin Inverses in Categories
by: Cockett, Robin, et al.
Published: (2024)
by: Cockett, Robin, et al.
Published: (2024)
Dagger-Drazin Inverses
by: Cockett, Robin, et al.
Published: (2025)
by: Cockett, Robin, et al.
Published: (2025)
Varieties of quantitative algebras as categories
by: Adamek, Jiri
Published: (2024)
by: Adamek, Jiri
Published: (2024)
A Compositional Account of Generalized Reversible Computing
by: Chanavat, Clémence, et al.
Published: (2025)
by: Chanavat, Clémence, et al.
Published: (2025)
Skolem, Gödel, and Hilbert fibrations
by: Trotta, Davide, et al.
Published: (2024)
by: Trotta, Davide, et al.
Published: (2024)
Generalized Inverses of Quantum Channels: a categorical perspective
by: Cockett, Robin, et al.
Published: (2026)
by: Cockett, Robin, et al.
Published: (2026)
Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
by: Sukhov, Dmytro
Published: (2025)
by: Sukhov, Dmytro
Published: (2025)
The bounded ideal monad on the category of quasi-metric spaces and its algebras
by: Wang, Kai, et al.
Published: (2024)
by: Wang, Kai, et al.
Published: (2024)
Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)
by: Ikeda, Yuto
Published: (2026)
The local-to-global principle via topological properties of the tensor triangular support
by: Bellumat, Nicola
Published: (2024)
by: Bellumat, Nicola
Published: (2024)
Cartesian Differential Kleisli Categories
by: Lemay, Jean-Simon Pacaud
Published: (2023)
by: Lemay, Jean-Simon Pacaud
Published: (2023)
Geometry and Dress groups with non-symmetric cost functions
by: Barth, Lukas Silvester, et al.
Published: (2025)
by: Barth, Lukas Silvester, et al.
Published: (2025)
On a fibrational construction for optics, lenses, and Dialectica categories
by: Capucci, Matteo, et al.
Published: (2024)
by: Capucci, Matteo, et al.
Published: (2024)
Categories which are varieties of classical or ordered algebras
by: Adamek, Jiri
Published: (2024)
by: Adamek, Jiri
Published: (2024)
Colocalizing subcategories of singularity categories
by: Verasdanis, Charalampos
Published: (2023)
by: Verasdanis, Charalampos
Published: (2023)
Di- is for Directed: First-Order Directed Type Theory via Dinaturality
by: Laretto, Andrea, et al.
Published: (2024)
by: Laretto, Andrea, et al.
Published: (2024)
Layered Monoidal Theories II: Fibrational Semantics
by: Lobski, Leo, et al.
Published: (2026)
by: Lobski, Leo, et al.
Published: (2026)
Lie groups in tangent join restriction categories
by: Cockett, Robin, et al.
Published: (2025)
by: Cockett, Robin, et al.
Published: (2025)
The Grothendieck construction in the context of tangent categories
by: Lanfranchi, Marcello
Published: (2023)
by: Lanfranchi, Marcello
Published: (2023)
Multicategorical Semantics for Untyped Effects
by: Grunfeld, Ariel, et al.
Published: (2026)
by: Grunfeld, Ariel, et al.
Published: (2026)
The concept of null in general spaces and contexts
by: Das, Suddhasattwa
Published: (2025)
by: Das, Suddhasattwa
Published: (2025)
Pullbacks in tangent categories and tangent display maps
by: Cruttwell, Geoffrey, et al.
Published: (2025)
by: Cruttwell, Geoffrey, et al.
Published: (2025)
A Homological Separation of $\mathbf{P}$ from $\mathbf{NP}$ via Computational Topology and Category Theory
by: Tang, Jian-Gang
Published: (2025)
by: Tang, Jian-Gang
Published: (2025)
Condensed Sets via free resolutions
by: Banús, Damià Rodríguez, et al.
Published: (2022)
by: Banús, Damià Rodríguez, et al.
Published: (2022)
Universal support for triangulated categories
by: Balmer, Paul, et al.
Published: (2023)
by: Balmer, Paul, et al.
Published: (2023)
Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)
by: Ye, Lingyuan
Published: (2024)
Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)
by: Baldan, Paolo, et al.
Published: (2024)
The Wehrheim-Woodward Category of Linear Canonical Relations between $G$-Spaces
by: Weinstein, Alan
Published: (2024)
by: Weinstein, Alan
Published: (2024)
Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)
by: Weinberger, Jonathan
Published: (2022)
Pre-Hilbert $*$-categories: The Hilbert-space analogue of abelian categories
by: Di Meglio, Matthew
Published: (2023)
by: Di Meglio, Matthew
Published: (2023)
On uniqueness of tensor products of irreducible categorifications
by: Losev, Ivan, et al.
Published: (2013)
by: Losev, Ivan, et al.
Published: (2013)
Substructural fixed-point theorems and the diagonal argument: theme and variations
by: Roberts, David Michael
Published: (2021)
by: Roberts, David Michael
Published: (2021)
Cauchy convergence in V-normed categories
by: Clementino, Maria Manuel, et al.
Published: (2024)
by: Clementino, Maria Manuel, et al.
Published: (2024)
$\mathbb{P}^n$-functors
by: Anno, Rina, et al.
Published: (2019)
by: Anno, Rina, et al.
Published: (2019)
Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)
by: Weinberger, Jonathan
Published: (2022)
The Euler Characteristic of Finite Categories
by: Akkaya, Mustafa, et al.
Published: (2023)
by: Akkaya, Mustafa, et al.
Published: (2023)
On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
by: Bacik, Piotr, et al.
Published: (2026)
by: Bacik, Piotr, et al.
Published: (2026)
Layered Monoidal Theories
by: Lobski, Leo
Published: (2025)
by: Lobski, Leo
Published: (2025)
Motives
by: Barbieri-Viale, L.
Published: (2024)
by: Barbieri-Viale, L.
Published: (2024)
Similar Items
-
What kind of linearly distributive category do polynomial functors form?
by: Spivak, David I., et al.
Published: (2024) -
Drazin Inverses in Categories
by: Cockett, Robin, et al.
Published: (2024) -
Dagger-Drazin Inverses
by: Cockett, Robin, et al.
Published: (2025) -
Varieties of quantitative algebras as categories
by: Adamek, Jiri
Published: (2024) -
A Compositional Account of Generalized Reversible Computing
by: Chanavat, Clémence, et al.
Published: (2025)