:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Forsman, David
Format:	Preprint
Published:	2025
Subjects:	Category Theory
Online Access:	https://arxiv.org/abs/2509.10204
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
by: Forsman, David
Published: (2024)

Semi-abelian by Design: Johnstone Algebras Unifying Implication and Division
by: Forsman, David
Published: (2025)

On the Semi-Abelianness of Affine Group Schemes
by: Forsman, David
Published: (2026)

The Unreasonable Efficacy of the Lifting Condition in Higher Categorical Galois Theory I: a Quasi-categorical Galois Theorem
by: Rennie, Joseph
Published: (2024)

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

Categorical-Algebraic Properties of Lattice-ordered Groups
by: Cappelletti, Andrea
Published: (2023)

The Algebra of Categorical Spectra
by: Masuda, Naruki
Published: (2026)

Directories: A Convenient and Well-Behaved Formalism for Hierarchical Organization in Categorical Systems Theory
by: Lynch, Owen, et al.
Published: (2025)

Categorical Reconstruction Theory
by: Zorman, Tony
Published: (2026)

A Categorical Approach to Möbius Inversion via Derived Functors
by: Elchesen, Alex, et al.
Published: (2024)

A Categorical Perspective on Braid Representations
by: Martin, P. P., et al.
Published: (2025)

Statistical Mechanics and Categorical Entropy
by: Wu, Haiqi, et al.
Published: (2025)

Reinforcement Learning in Categorical Cybernetics
by: Hedges, Jules, et al.
Published: (2024)

Categorical Stochastic Processes and Likelihood
by: Shiebler, Dan
Published: (2020)

Categorical representation of DRC-semigroups
by: East, James, et al.
Published: (2024)

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

Transparent Semantic Spaces: A Categorical Approach to Explainable Word Embeddings
by: Fabregat-Hernández, Ares, et al.
Published: (2025)

Categorical (Co)Limits of Quantum Graphs
by: Zhu, Jennifer
Published: (2026)

Categorical composable cryptography: extended version
by: Broadbent, Anne, et al.
Published: (2022)

Categorical Perspectives on Chemical Reaction Networks
by: Curry, Justin, et al.
Published: (2026)

Categorical Foundations for CuTe Layouts
by: Carlisle, Jack, et al.
Published: (2026)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
by: Rogozin, Daniel
Published: (2025)

Categorical Koszul duality
by: Holstein, Julian, et al.
Published: (2020)

The Filter Reflection Condition: Structural Symmetry and Categorical Equivalence in Topos Theory.
by: El Youssoufi M'nari, Omar
Published: (2025)

The Filter Reflection Condition: Structural Symmetry and Categorical Equivalence in Topos Theory.
by: El Youssoufi M'nari, Omar
Published: (2025)

Naturality of the $\infty$-Categorical Enriched Yoneda Embedding
by: Ben-Moshe, Shay
Published: (2023)

The Right Angled Artin Group Functor as a Categorical Embedding
by: Grossack, Chris
Published: (2023)

A Simple Categorical Calculus of Interacting Processes
by: Nester, Chad, et al.
Published: (2026)

Hidden Markov Models and the Bayes Filter in Categorical Probability
by: Fritz, Tobias, et al.
Published: (2024)

The Grothendieck Construction for $\infty$-Categories Fibered over Categorical Patterns
by: Arakawa, Kensuke
Published: (2024)

Finite permutation resolutions
by: Balmer, Paul, et al.
Published: (2020)

On Gluing Data, Finite Ringed Spaces and schemes
by: Fioresi, Rita, et al.
Published: (2026)

Categorical computation
by: Kong, Liang, et al.
Published: (2021)

Categorical Belief Propagation: Sheaf-Theoretic Inference via Descent and Holonomy
by: ter Horst, Enrique, et al.
Published: (2026)

Categorical products of cellular automata
by: Castillo-Ramirez, Alonso, et al.
Published: (2025)

Harness Engineering as Categorical Architecture
by: Banu, Bogdan
Published: (2026)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

A Categorical Treatment of Open Linear Systems
by: Stein, Dario, et al.
Published: (2024)

Finiteness of homological dimensions in triangulated categories
by: Chen, Hongxing, et al.
Published: (2026)

Categorical Data Structures for Technical Computing
by: Patterson, Evan, et al.
Published: (2021)