Imagen de Portada

Games as recursive coalgebras: A categorical view on the Nim-sum

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Hora, Ryuya
Formato:	Preprint
Publicado:	2025
Materias:	Combinatorics Category Theory Logic 91A46, 18C50, 03B70
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
por: Kamio, Yuhi, et al.
Publicado: (2024)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
por: Lambert, Michael J.
Publicado: (2024)

Algebraic Type Theory, Part 1: Martin-Löf algebras
por: Awodey, Steve
Publicado: (2025)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
por: Spadetto, Matteo
Publicado: (2025)

On logical parameterizations and functional representability in local set theories
por: Hernández, Enrique Ruiz, et al.
Publicado: (2021)

Topoi with enough points
por: Di Liberti, Ivan, et al.
Publicado: (2024)

Topoi of automata I: Four topoi of automata and regular languages
por: Hora, Ryuya
Publicado: (2024)

A 2-categorical analysis of context comprehension
por: Coraglia, Greta, et al.
Publicado: (2024)

The Sup Connective in IMALL: A Categorical Semantics
por: Díaz-Caro, Alejandro, et al.
Publicado: (2022)

Arrow algebras
por: Berg, Benno van den, et al.
Publicado: (2023)

On the theories classified by an étendue
por: Wrigley, Joshua
Publicado: (2025)

Biased elementary doctrines and quotient completions
por: Cioffo, Cipriano Junior
Publicado: (2023)

Domains and Classifying Topoi
por: Sterling, Jonathan, et al.
Publicado: (2025)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
por: Maietti, Maria Emilia, et al.
Publicado: (2025)

On duality and model theory for polyadic spaces
por: van Gool, Sam, et al.
Publicado: (2022)

Non-Standard Models of Homotopy Type Theory
por: Rasekh, Nima
Publicado: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
por: Rasekh, Nima
Publicado: (2025)

Extensive embeddings into Fraïssé structures and stationary weak independence relations
por: Kwiatkowska, Aleksandra, et al.
Publicado: (2025)

Logical Aspects of Virtual Double Categories
por: Nasu, Hayato
Publicado: (2025)

Dilations and information flow axioms in categorical probability
por: Fritz, Tobias, et al.
Publicado: (2022)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
por: Schellhorn, Daniel Romero, et al.
Publicado: (2026)

On the Existence and Disjunction Properties in Structural Set Theory
por: Saving, Mark
Publicado: (2023)

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms
por: Barto, Libor, et al.
Publicado: (2024)

Evolution systems: A framework for studying generic mathematical structures
por: Kubiś, Wiesław, et al.
Publicado: (2021)

Measuring data types
por: Mulder, Lukas, et al.
Publicado: (2024)

Quotient toposes of discrete dynamical systems
por: Hora, Ryuya, et al.
Publicado: (2023)

Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets
por: Hora, Ryuya, et al.
Publicado: (2025)

2-Coherent Internal Models of Homotopical Type Theory
por: Chen, Joshua
Publicado: (2025)

The biequivalence of path categories and axiomatic Martin-Löf type theories
por: Otten, Daniël, et al.
Publicado: (2025)

The List Object Endofunctor is Polynomial
por: Desrochers, Samuel
Publicado: (2025)

Lambek pregroups are Frobenius spiders in preorders
por: Pavlovic, Dusko
Publicado: (2021)

Duality theory for categorical theories
por: Ye, Lingyuan
Publicado: (2026)

Normalization of a subgroup, in a topos, and of a word-congruence
por: Hora, Ryuya
Publicado: (2025)

Internal Parameterization of Hyperconnected Quotients
por: Hora, Ryuya
Publicado: (2023)

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
por: van Woerkom, Wijnand, et al.
Publicado: (2024)

On abstract and concrete minions
por: Juhrich, Lukas
Publicado: (2025)

A topos for extended Weihrauch degrees
por: Maschio, Samuele, et al.
Publicado: (2025)

On actions and split extensions in varieties of hoops: the case of strong section
por: Mancini, Manuel, et al.
Publicado: (2025)

Bundles of metric structures as left ultrafunctors
por: Hamad, Ali
Publicado: (2024)

Hilbert spaces admit no finitary discrete imaginaries
por: Chen, Ruiyuan, et al.
Publicado: (2025)