Buchumschlag

Typing Tensor Calculus in 2-Categories (I)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ahmadi, Fatimah Rita
Format:	Preprint
Veröffentlicht:	2019
Schlagworte:	Category Theory Machine Learning Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Certified binary search tree on W-types
von: Arengas, Gustavo
Veröffentlicht: (2024)

Stochastic Neural Network Symmetrisation in Markov Categories
von: Cornish, Rob
Veröffentlicht: (2024)

Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm
von: Pugh, Matthew, et al.
Veröffentlicht: (2023)

Accelerating Machine Learning Systems via Category Theory: Applications to Spherical Attention for Gene Regulatory Networks
von: Abbott, Vincent, et al.
Veröffentlicht: (2025)

Lectures on Symmetric Tensor Categories
von: Etingof, Pavel, et al.
Veröffentlicht: (2021)

Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning
von: Bakirtzis, Georgios, et al.
Veröffentlicht: (2024)

A Category-theoretical Meta-analysis of Definitions of Disentanglement
von: Zhang, Yivan, et al.
Veröffentlicht: (2023)

Anomalous Actions of Groups on Tensor Categories
von: Lanier, Noah
Veröffentlicht: (2025)

LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
von: Xu, Rongge, et al.
Veröffentlicht: (2025)

The Strict 2-Category Structure of Distorted Monoidal Categories
von: Higuchi, Joaquim Reizi
Veröffentlicht: (2025)

Reinforcement Learning in Categorical Cybernetics
von: Hedges, Jules, et al.
Veröffentlicht: (2024)

Learning Is a Kan Extension
von: Pugh, Matthew, et al.
Veröffentlicht: (2025)

Weaves, Wires, and Morphisms: Formalizing and Implementing the Algebra of Deep Learning
von: Abbott, Vincent, et al.
Veröffentlicht: (2026)

Learners' Languages
von: Spivak, David I.
Veröffentlicht: (2021)

Recursive Reward Aggregation
von: Tang, Yuting, et al.
Veröffentlicht: (2025)

The Theory behind UMAP?
von: Wegmann, David
Veröffentlicht: (2026)

Generalized Gradient Descent is a Hypergraph Functor
von: Hanks, Tyler, et al.
Veröffentlicht: (2024)

The Topos of Transformer Networks
von: Villani, Mattia Jacopo, et al.
Veröffentlicht: (2024)

Quotient Category of a Multiring Category
von: Zuo, Zhenbang, et al.
Veröffentlicht: (2024)

The Reduced Tensor Product of Braided Tensor Categories Containing a Symmetric Fusion Category
von: Wasserman, Thomas A.
Veröffentlicht: (2019)

Identifiable Equivariant Networks are Layerwise Equivariant
von: Shahverdi, Vahid, et al.
Veröffentlicht: (2026)

A Category of the Political \Large{Part I - Homónoia}
von: Abdou, Joseph
Veröffentlicht: (2025)

Enriching Disentanglement: From Logical Definitions to Quantitative Metrics
von: Zhang, Yivan, et al.
Veröffentlicht: (2023)

Functorial Neural Architectures from Higher Inductive Types
von: Sargsyan, Karen
Veröffentlicht: (2026)

Partial Linearity in Categories
von: Ferguson, Roy, et al.
Veröffentlicht: (2026)

Enriched Locally Generated Categories
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2020)

Spectral Operadic Calculus: Norm-Analytic Functor Calculus
von: Chang, Shih-Yu
Veröffentlicht: (2026)

Synthetic 1-Categories in Directed Type Theory
von: Altenkirch, Thorsten, et al.
Veröffentlicht: (2024)

Effectivity of Generalized Double $\infty$-Categories
von: Loubaton, Félix
Veröffentlicht: (2025)

Categorical Theory of $(\infty,ω)$-Categories
von: Loubaton, Félix
Veröffentlicht: (2024)

Cohomology of Small Cartesian Closed Categories
von: Ikebuchi, Mirai
Veröffentlicht: (2025)

Compact Matrix Quantum Group Equivariant Neural Networks
von: Pearce-Crump, Edward
Veröffentlicht: (2023)

Combs, Causality and Contractions in Atomic Markov Categories
von: Stein, Dario, et al.
Veröffentlicht: (2024)

Double Categories of Open Systems: the Cospan Approach
von: Baez, John C.
Veröffentlicht: (2025)

Pseudocolimits of Small Filtered Diagrams of Internal Categories
von: Salja, Deni
Veröffentlicht: (2024)

Gaussian Sheaf Neural Networks
von: Ribeiro, André, et al.
Veröffentlicht: (2026)

Fundamental Components of Deep Learning: A category-theoretic approach
von: Gavranović, Bruno
Veröffentlicht: (2024)

Towards structure-preserving quantum encodings
von: Parzygnat, Arthur J., et al.
Veröffentlicht: (2024)

Towards a Categorical Foundation of Deep Learning: A Survey
von: Crescenzi, Francesco Riccardo
Veröffentlicht: (2024)

Classes of Universal Epi- and Monomorphisms in Quasi-Abelian Categories
von: Zinchenko, Max
Veröffentlicht: (2026)