Imagen de Portada

Kleisli semantics and hypergraph composition for Greimasian narrative programs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Fowler, Michael
Formato:	Preprint
Publicado:	2026
Materias:	Category Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Abstract Kleisli Structures on 2-categories
por: Miranda, Adrian
Publicado: (2024)

Polynomials in homotopy type theory as a Kleisli category
por: Harington, Elies, et al.
Publicado: (2024)

Premonoidal and Kleisli double categories
por: Femić, Bojana
Publicado: (2024)

Polynomial functors in π-clans for the semantics of type theory
por: Hua, Joseph, et al.
Publicado: (2026)

Denotational semantics for stabiliser quantum programs
por: Booth, Robert I., et al.
Publicado: (2025)

Cartesian Differential Kleisli Categories
por: Lemay, Jean-Simon Pacaud
Publicado: (2023)

Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products
por: Capucci, Matteo, et al.
Publicado: (2024)

Higher-Order DisCoCat (Peirce-Lambek-Montague semantics)
por: Toumi, Alexis, et al.
Publicado: (2023)

Kleisli categories, T-categories and internal categories
por: Bourn, Dominique
Publicado: (2024)

Categorical semantics of compositional reinforcement learning
por: Bakirtzis, Georgios, et al.
Publicado: (2022)

A classification of overlapping clustering schemes for hypergraphs
por: Agdur, Vilhelm
Publicado: (2024)

Accessible bridge between category theory and functional programming
por: Kadhi, Fethi
Publicado: (2024)

Yet another cubical type theory, but via a semantic approach
por: Kapulkin, Chris, et al.
Publicado: (2025)

Copy-composition for Probabilistic Graphical Models
por: Smithe, Toby St Clere
Publicado: (2024)

Pita factorisation in operadic categories
por: Batanin, Michael, et al.
Publicado: (2025)

Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences
por: Gambino, Nicola, et al.
Publicado: (2022)

Displayed Type Theory and Semi-Simplicial Types
por: Kolomatskaia, Astra, et al.
Publicado: (2023)

A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks
por: Aduddell, Rebekah, et al.
Publicado: (2023)

The category of formations of finite groups and topology
por: Garcia, Ismael Gutierrez, et al.
Publicado: (2026)

A Universal Quotient of Banking APIs
por: Doyle, Christopher
Publicado: (2026)

Revisiting colimits in $\mathbf{Cat}$ and homotopy category
por: Mann, Varinderjit
Publicado: (2026)

Colored Markov polycategories and diagrammatic differentiation
por: Papamarkou, Theodore
Publicado: (2026)

An Inductive Strategy Towards a Solution to the Generalized Homotopy Hypothesis
por: Taylor, Johnathon
Publicado: (2026)

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

Ricci flow as functor
por: Plakhotnikov, Alexander
Publicado: (2026)

On the (algebraic) notion of 2-ring
por: Elgueta, Josep
Publicado: (2026)

Fibrations in Directed Type Theory
por: Lossin, Benno
Publicado: (2026)

Homotopic morphisms and diagram theorems in extriangulated categories
por: Zhang, Chencheng, et al.
Publicado: (2026)

Internal structures in the category of right-preordered groups
por: Ony, Aubril
Publicado: (2026)

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

Algebraic exponentiation and action representability for V-groups
por: Clementino, Maria Manuel, et al.
Publicado: (2026)

Finitary Cartesian closed varieties and semigroup actions
por: Lawson, Mark V
Publicado: (2026)

On the Centre of Strong Graded Monads
por: Breuvart, Flavien, et al.
Publicado: (2026)

A note on varieties of ordered algebras
por: Rodelo, Maria Manuel Clementino amd Diana
Publicado: (2026)

A monoidal category of dependently sorted algebraic theories II: categorical aspects
por: Almeida, Daniel
Publicado: (2026)

Classes of Universal Epi- and Monomorphisms in Quasi-Abelian Categories
por: Zinchenko, Max
Publicado: (2026)

Partial Linearity in Categories
por: Ferguson, Roy, et al.
Publicado: (2026)

Presenting Neural Networks via Coherent Functors
por: Pugh, Matthew, et al.
Publicado: (2026)

Embedding Boolean ample monoids as full submonoids of Boolean inverse monoids
por: Lawson, Mark V.
Publicado: (2026)

Separation and Gluing of Explanations on Sites of Dynamical Systems
por: Wang, Paul Z.
Publicado: (2026)