Coh Category: Certified Admissible Change as a Category of Proof-Carrying Traces
Fuente:
Zenodo
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Recurso digital |
| Veröffentlicht: |
Zenodo
2026
|
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Admissible Persistence Theory (APT): A Layered Formalization of Admissible Continuation, Realization, Dissipation, and Semantic Persistence
von: Ellington, Micheal
Veröffentlicht: (2026)
von: Ellington, Micheal
Veröffentlicht: (2026)
On Traces in Categories of Contractions
von: Fairbanks, Aaron David, et al.
Veröffentlicht: (2025)
von: Fairbanks, Aaron David, et al.
Veröffentlicht: (2025)
A Graphical Interface for Category Theory Proofs in Coq
von: Chabassier, Luc
Veröffentlicht: (2025)
von: Chabassier, Luc
Veröffentlicht: (2025)
Quotient Category of a Multiring Category
von: Zuo, Zhenbang, et al.
Veröffentlicht: (2024)
von: Zuo, Zhenbang, et al.
Veröffentlicht: (2024)
Arrow Categories of Monoidal Model Categories
von: White, David, et al.
Veröffentlicht: (2017)
von: White, David, et al.
Veröffentlicht: (2017)
Hyperoctahedral Schur Category and Hyperoctahedral Web Category
von: Masroor, Razzi
Veröffentlicht: (2024)
von: Masroor, Razzi
Veröffentlicht: (2024)
The Category of Hypergroups: seeking for a generalized version of Abelian Categories
von: Roberto, Kaique Matias de Andrade, et al.
Veröffentlicht: (2022)
von: Roberto, Kaique Matias de Andrade, et al.
Veröffentlicht: (2022)
The Strict 2-Category Structure of Distorted Monoidal Categories
von: Higuchi, Joaquim Reizi
Veröffentlicht: (2025)
von: Higuchi, Joaquim Reizi
Veröffentlicht: (2025)
Monoidal Relative Categories Model Monoidal $\infty$-Categories
von: Arakawa, Kensuke
Veröffentlicht: (2025)
von: Arakawa, Kensuke
Veröffentlicht: (2025)
Pivotal Module Categories, Factorization Homology and Modular Invariant Modified Traces
von: Becerra, Jorge, et al.
Veröffentlicht: (2025)
von: Becerra, Jorge, et al.
Veröffentlicht: (2025)
Generative Category Theory G: Physical Realization of Generative Categories
von: zhou, changzheng, et al.
Veröffentlicht: (2026)
von: zhou, changzheng, et al.
Veröffentlicht: (2026)
Category-Theoretic Reconstruction of Schemes from Categories of Reduced Schemes
von: Yuji, Tomoki
Veröffentlicht: (2022)
von: Yuji, Tomoki
Veröffentlicht: (2022)
Coh zeta functions for inert quadratic orders
von: Huang, Yifeng
Veröffentlicht: (2025)
von: Huang, Yifeng
Veröffentlicht: (2025)
Reference-based Category Discovery: Unsupervised Object Detection with Category Awareness
von: Li, Yichen, et al.
Veröffentlicht: (2026)
von: Li, Yichen, et al.
Veröffentlicht: (2026)
Finite Pre-Tensor Categories that are Morita Equivalent to Finite Tensor Categories
von: Décoppet, Thibault D., et al.
Veröffentlicht: (2026)
von: Décoppet, Thibault D., et al.
Veröffentlicht: (2026)
Category Adaptation Meets Projected Distillation in Generalized Continual Category Discovery
von: Rypeść, Grzegorz, et al.
Veröffentlicht: (2023)
von: Rypeść, Grzegorz, et al.
Veröffentlicht: (2023)
Classifying Module Categories for Generalized Temperley-Lieb-Jones *-2-Categories
von: Ferrer, Giovanni, et al.
Veröffentlicht: (2019)
von: Ferrer, Giovanni, et al.
Veröffentlicht: (2019)
The Reduced Tensor Product of Braided Tensor Categories Containing a Symmetric Fusion Category
von: Wasserman, Thomas A.
Veröffentlicht: (2019)
von: Wasserman, Thomas A.
Veröffentlicht: (2019)
On the Axioms of Arboreal Categories
von: Jakl, Tomáš, et al.
Veröffentlicht: (2026)
von: Jakl, Tomáš, et al.
Veröffentlicht: (2026)
Dinaturality for Double Categories
von: Morehouse, Edward
Veröffentlicht: (2026)
von: Morehouse, Edward
Veröffentlicht: (2026)
Generalized Gorenstein Categories
von: Huang, Zhaoyong
Veröffentlicht: (2026)
von: Huang, Zhaoyong
Veröffentlicht: (2026)
Categories of Constructible Sheaves
von: Lunts, Valery, et al.
Veröffentlicht: (2026)
von: Lunts, Valery, et al.
Veröffentlicht: (2026)
Partial Linearity in Categories
von: Ferguson, Roy, et al.
Veröffentlicht: (2026)
von: Ferguson, Roy, et al.
Veröffentlicht: (2026)
The Diagrammatic Spherical Category
von: Fell, Tasman
Veröffentlicht: (2025)
von: Fell, Tasman
Veröffentlicht: (2025)
Category of SET orders
von: Lan, Tian, et al.
Veröffentlicht: (2023)
von: Lan, Tian, et al.
Veröffentlicht: (2023)
Oriented Category Theory
von: Gepner, David, et al.
Veröffentlicht: (2025)
von: Gepner, David, et al.
Veröffentlicht: (2025)
Basic Category Theory
von: Leinster, Tom
Veröffentlicht: (2016)
von: Leinster, Tom
Veröffentlicht: (2016)
Hyperbolic Category Discovery
von: Liu, Yuanpei, et al.
Veröffentlicht: (2025)
von: Liu, Yuanpei, et al.
Veröffentlicht: (2025)
Formal Contact Categories
von: Cooper, Benjamin
Veröffentlicht: (2015)
von: Cooper, Benjamin
Veröffentlicht: (2015)
Linear Arboreal Categories
von: Abramsky, Samson, et al.
Veröffentlicht: (2023)
von: Abramsky, Samson, et al.
Veröffentlicht: (2023)
Invertible Fusion Categories
von: Sanford, Sean, et al.
Veröffentlicht: (2024)
von: Sanford, Sean, et al.
Veröffentlicht: (2024)
Partial Markov Categories
von: Di Lavore, Elena, et al.
Veröffentlicht: (2025)
von: Di Lavore, Elena, et al.
Veröffentlicht: (2025)
Category Theory for Programming
von: Ahrens, Benedikt, et al.
Veröffentlicht: (2022)
von: Ahrens, Benedikt, et al.
Veröffentlicht: (2022)
Duality in Monoidal Categories
von: Halbig, Sebastian, et al.
Veröffentlicht: (2023)
von: Halbig, Sebastian, et al.
Veröffentlicht: (2023)
Univalent Double Categories
von: van der Weide, Niels, et al.
Veröffentlicht: (2023)
von: van der Weide, Niels, et al.
Veröffentlicht: (2023)
On the Practical Necessity of the Categories
von: Anil Gomes, et al.
Veröffentlicht: (2025)
von: Anil Gomes, et al.
Veröffentlicht: (2025)