:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Hora, Ryuya
Format:	Preprint
Published:	2025
Subjects:	Combinatorics Category Theory Logic 91A46, 18C50, 03B70
Online Access:	https://arxiv.org/abs/2510.22886
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)

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

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

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

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

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

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

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

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

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

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

Measuring data types
by: Mulder, Lukas, et al.
Published: (2024)

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

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

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

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

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

Domains and Classifying Topoi
by: Sterling, Jonathan, et al.
Published: (2025)

Lambek pregroups are Frobenius spiders in preorders
by: Pavlovic, Dusko
Published: (2021)

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

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

Logical Aspects of Virtual Double Categories
by: Nasu, Hayato
Published: (2025)

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

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

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

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

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

On abstract and concrete minions
by: Juhrich, Lukas
Published: (2025)

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

Bundles of metric structures as left ultrafunctors
by: Hamad, Ali
Published: (2024)

Can a Lightweight Automated AI Pipeline Solve Research-Level Mathematical Problems?
by: Meng, Lve, et al.
Published: (2026)

The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)

Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)

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

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

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)