Cover Image

Directories: A Convenient and Well-Behaved Formalism for Hierarchical Organization in Categorical Systems Theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lynch, Owen, Lohmayer, Markus
Format:	Preprint
Published:	2025
Subjects:	Category Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Organizing Physics with Open Energy-Driven Systems
by: Capucci, Matteo, et al.
Published: (2024)

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

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

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

Clock systems for stochastic and non-deterministic categorical systems theories
by: Lynch, Owen, et al.
Published: (2026)

A Categorical Approach to Finiteness Conditions
by: Forsman, David
Published: (2025)

Formal Model Theory & Higher Topology
by: Di Liberti, Ivan
Published: (2020)

Categorical Foundations of Formalized Condensed Mathematics
by: Asgeirsson, Dagur, et al.
Published: (2024)

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

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

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

The Formal Theory of Monads, Univalently
by: van der Weide, Niels
Published: (2022)

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

Nondeterministic Behaviours in Double Categorical Systems Theory
by: Wang, Paul Zhongpeng
Published: (2025)

Local Rigidity and Six Functor Formalisms
by: Clough, Adrian
Published: (2024)

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

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)

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

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
by: Rogozin, Daniel
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)

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)

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

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

Geometric Criteria for 6-Functor Formalisms in the Setting of Pullback Formalisms
by: Magen, Roy
Published: (2025)

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

A Model of Type Theory in Groupoid Assemblies
by: Agwu, Anthony
Published: (2025)

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)

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

Self-Revising Discovery Systems for Science: A Categorical Framework for Agentic Artificial Intelligence
by: Wang, Fiona Y., et al.
Published: (2026)

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

Fibrations in Directed Type Theory
by: Lossin, Benno
Published: (2026)

Position: Categorical Deep Learning is an Algebraic Theory of All Architectures
by: Gavranović, Bruno, et al.
Published: (2024)