Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2019
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/1908.01212 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Certified binary search tree on W-types
by: Arengas, Gustavo
Published: (2024)
by: Arengas, Gustavo
Published: (2024)
Stochastic Neural Network Symmetrisation in Markov Categories
by: Cornish, Rob
Published: (2024)
by: Cornish, Rob
Published: (2024)
Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm
by: Pugh, Matthew, et al.
Published: (2023)
by: Pugh, Matthew, et al.
Published: (2023)
Accelerating Machine Learning Systems via Category Theory: Applications to Spherical Attention for Gene Regulatory Networks
by: Abbott, Vincent, et al.
Published: (2025)
by: Abbott, Vincent, et al.
Published: (2025)
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
by: Xu, Rongge, et al.
Published: (2025)
by: Xu, Rongge, et al.
Published: (2025)
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning
by: Bakirtzis, Georgios, et al.
Published: (2024)
by: Bakirtzis, Georgios, et al.
Published: (2024)
A Category-theoretical Meta-analysis of Definitions of Disentanglement
by: Zhang, Yivan, et al.
Published: (2023)
by: Zhang, Yivan, et al.
Published: (2023)
Lectures on Symmetric Tensor Categories
by: Etingof, Pavel, et al.
Published: (2021)
by: Etingof, Pavel, et al.
Published: (2021)
Anomalous Actions of Groups on Tensor Categories
by: Lanier, Noah
Published: (2025)
by: Lanier, Noah
Published: (2025)
Reinforcement Learning in Categorical Cybernetics
by: Hedges, Jules, et al.
Published: (2024)
by: Hedges, Jules, et al.
Published: (2024)
Learning Is a Kan Extension
by: Pugh, Matthew, et al.
Published: (2025)
by: Pugh, Matthew, et al.
Published: (2025)
Weaves, Wires, and Morphisms: Formalizing and Implementing the Algebra of Deep Learning
by: Abbott, Vincent, et al.
Published: (2026)
by: Abbott, Vincent, et al.
Published: (2026)
Learners' Languages
by: Spivak, David I.
Published: (2021)
by: Spivak, David I.
Published: (2021)
Recursive Reward Aggregation
by: Tang, Yuting, et al.
Published: (2025)
by: Tang, Yuting, et al.
Published: (2025)
The Theory behind UMAP?
by: Wegmann, David
Published: (2026)
by: Wegmann, David
Published: (2026)
Generalized Gradient Descent is a Hypergraph Functor
by: Hanks, Tyler, et al.
Published: (2024)
by: Hanks, Tyler, et al.
Published: (2024)
The Topos of Transformer Networks
by: Villani, Mattia Jacopo, et al.
Published: (2024)
by: Villani, Mattia Jacopo, et al.
Published: (2024)
The Strict 2-Category Structure of Distorted Monoidal Categories
by: Higuchi, Joaquim Reizi
Published: (2025)
by: Higuchi, Joaquim Reizi
Published: (2025)
The Reduced Tensor Product of Braided Tensor Categories Containing a Symmetric Fusion Category
by: Wasserman, Thomas A.
Published: (2019)
by: Wasserman, Thomas A.
Published: (2019)
Functorial Neural Architectures from Higher Inductive Types
by: Sargsyan, Karen
Published: (2026)
by: Sargsyan, Karen
Published: (2026)
Quotient Category of a Multiring Category
by: Zuo, Zhenbang, et al.
Published: (2024)
by: Zuo, Zhenbang, et al.
Published: (2024)
Identifiable Equivariant Networks are Layerwise Equivariant
by: Shahverdi, Vahid, et al.
Published: (2026)
by: Shahverdi, Vahid, et al.
Published: (2026)
Enriching Disentanglement: From Logical Definitions to Quantitative Metrics
by: Zhang, Yivan, et al.
Published: (2023)
by: Zhang, Yivan, et al.
Published: (2023)
A Category of the Political \Large{Part I - Homónoia}
by: Abdou, Joseph
Published: (2025)
by: Abdou, Joseph
Published: (2025)
Spectral Operadic Calculus: Norm-Analytic Functor Calculus
by: Chang, Shih-Yu
Published: (2026)
by: Chang, Shih-Yu
Published: (2026)
Synthetic 1-Categories in Directed Type Theory
by: Altenkirch, Thorsten, et al.
Published: (2024)
by: Altenkirch, Thorsten, et al.
Published: (2024)
Partial Linearity in Categories
by: Ferguson, Roy, et al.
Published: (2026)
by: Ferguson, Roy, et al.
Published: (2026)
Compact Matrix Quantum Group Equivariant Neural Networks
by: Pearce-Crump, Edward
Published: (2023)
by: Pearce-Crump, Edward
Published: (2023)
A Category-Theoretic Framework from Biological Mechanics to Engineered Stimulus-Response Systems
by: Marom, Lee, et al.
Published: (2026)
by: Marom, Lee, et al.
Published: (2026)
Enriched Locally Generated Categories
by: Di Liberti, Ivan, et al.
Published: (2020)
by: Di Liberti, Ivan, et al.
Published: (2020)
Gaussian Sheaf Neural Networks
by: Ribeiro, André, et al.
Published: (2026)
by: Ribeiro, André, et al.
Published: (2026)
Fundamental Components of Deep Learning: A category-theoretic approach
by: Gavranović, Bruno
Published: (2024)
by: Gavranović, Bruno
Published: (2024)
Towards structure-preserving quantum encodings
by: Parzygnat, Arthur J., et al.
Published: (2024)
by: Parzygnat, Arthur J., et al.
Published: (2024)
Towards a Categorical Foundation of Deep Learning: A Survey
by: Crescenzi, Francesco Riccardo
Published: (2024)
by: Crescenzi, Francesco Riccardo
Published: (2024)
Effectivity of Generalized Double $\infty$-Categories
by: Loubaton, Félix
Published: (2025)
by: Loubaton, Félix
Published: (2025)
Categorical Theory of $(\infty,ω)$-Categories
by: Loubaton, Félix
Published: (2024)
by: Loubaton, Félix
Published: (2024)
Cohomology of Small Cartesian Closed Categories
by: Ikebuchi, Mirai
Published: (2025)
by: Ikebuchi, Mirai
Published: (2025)
Categorical and geometric methods in statistical, manifold, and machine learning
by: Lê, Hông Vân, et al.
Published: (2025)
by: Lê, Hông Vân, et al.
Published: (2025)
Generative Category Theory G: Physical Realization of Generative Categories
by: zhou, changzheng, et al.
Published: (2026)
by: zhou, changzheng, et al.
Published: (2026)
Combs, Causality and Contractions in Atomic Markov Categories
by: Stein, Dario, et al.
Published: (2024)
by: Stein, Dario, et al.
Published: (2024)