Image de couverture de livre

Applied Category Theory in the Wolfram Language using Categorica I: Diagrams, Functors and Fibrations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Gorard, Jonathan
Format:	Preprint
Publié:	2024
Sujets:	Category Theory Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Functor String Diagrams: A Novel Approach to Flexible Diagrams for Applied Category Theory
par: Abbott, Vincent, et autres
Publié: (2024)

Un cadre paraconsistant pour l'{é}valuation de similarit{é} dans les bases de connaissances
par: Medina, José-Luis Vilchis
Publié: (2025)

Coalgebraic analysis of social systems
par: Motamed, Nima, et autres
Publié: (2026)

Weak and Strong Fibrations of Functors
par: Carcacía-Campos, Isaac, et autres
Publié: (2026)

Fibrations in Directed Type Theory
par: Lossin, Benno
Publié: (2026)

Proceedings Eighth International Conference on Applied Category Theory
par: Hadzihasanovic, Amar, et autres
Publié: (2026)

Promonads and String Diagrams for Effectful Categories
par: Román, Mario
Publié: (2022)

A Fibrational Theory of First Order Differential Structures
par: Capucci, Matteo, et autres
Publié: (2024)

String Diagrams for Closed Symmetric Monoidal Categories
par: Reader, Callum, et autres
Publié: (2025)

Preservation of Loewy Diagrams Under Exact Functors
par: Rupert, Matthew
Publié: (2023)

Pseudocolimits of Small Filtered Diagrams of Internal Categories
par: Salja, Deni
Publié: (2024)

Manifold Diagrams for Higher Categories
par: Heidemann, Lukas
Publié: (2024)

Fibrations of algebras
par: Ahman, Danel, et autres
Publié: (2024)

String Diagrams for Premonoidal Categories
par: Román, Mario, et autres
Publié: (2023)

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
par: Sistla, Meghana, et autres
Publié: (2022)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
par: Aberlé, C. B.
Publié: (2026)

Six-Functor Formalisms I : Constructing functors using category of simplices
par: Chowdhury, Chirantan
Publié: (2023)

Local Rigidity and Six Functor Formalisms
par: Clough, Adrian
Publié: (2024)

A Category Theoretic Approach to Approximate Game Theory
par: Ghani, Neil
Publié: (2025)

String Diagrams for Physical Duoidal Categories
par: Román, Mario
Publié: (2024)

Synthetic 1-Categories in Directed Type Theory
par: Altenkirch, Thorsten, et autres
Publié: (2024)

Colored Petri Nets are Monoidal Double Functors
par: Master, Jade, et autres
Publié: (2025)

Presenting Neural Networks via Coherent Functors
par: Pugh, Matthew, et autres
Publié: (2026)

Polynomial Functors: A Mathematical Theory of Interaction
par: Niu, Nelson, et autres
Publié: (2023)

Approximate Fibrations in Higher Topos Theory
par: Kremer, Christian, et autres
Publié: (2025)

Categorical Theory of $(\infty,ω)$-Categories
par: Loubaton, Félix
Publié: (2024)

Evidential Decision Theory via Partial Markov Categories
par: Di Lavore, Elena, et autres
Publié: (2023)

The Hidden Strength of Costrong Functors
par: Balan, Adriana, et autres
Publié: (2025)

Logical Structure on Inverse Functor Categories
par: Fiore, Marcelo, et autres
Publié: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
par: Abramsky, Samson, et autres
Publié: (2021)

Surface Diagrams for Frobenius Algebras and Frobenius-Schur Indicators in Grothendieck-Verdier Categories
par: Demirdilek, Max, et autres
Publié: (2025)

Oriented Category Theory
par: Gepner, David, et autres
Publié: (2025)

Category Theory for Programming
par: Ahrens, Benedikt, et autres
Publié: (2022)

Fibrational Perspectives on Determinization of Finite-State Automata
par: Li, Thea
Publié: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
par: Kapulkin, Chris, et autres
Publié: (2025)

Quotient Category of a Multiring Category
par: Zuo, Zhenbang, et autres
Publié: (2024)

Extended Module Categories in Higher Cluster Tilting Theory
par: Mochizuki, Nao
Publié: (2026)

Operadic Fibrations and Unary Operadic 2-categories
par: Trnka, Dominik
Publié: (2024)

Tape Diagrams for Monoidal Monads
par: Bonchi, Filippo, et autres
Publié: (2025)

Generative Category Theory G: Physical Realization of Generative Categories
par: zhou, changzheng, et autres
Publié: (2026)