Buchumschlag

Logical Aspects of Virtual Double Categories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Nasu, Hayato
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Category Theory 18N10, 03G30, 18C50, 18D70
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An Internal Logic of Virtual Double Categories
von: Nasu, Hayato
Veröffentlicht: (2024)

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

Virtual double categories of split two-sided 2-fibrations
von: Koudenburg, Seerp Roald
Veröffentlicht: (2026)

$(\infty,1)$-Categorical Comprehension Schemes
von: Stenzel, Raffael
Veröffentlicht: (2020)

Exponentiable Virtual Double Categories and Representability of Exponentials
von: Carlson, Kevin D., et al.
Veröffentlicht: (2026)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)

Topoi with enough points
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

Products in double categories, revisited
von: Patterson, Evan
Veröffentlicht: (2024)

Familial Monads as Higher Category Theories
von: Shapiro, Brandon
Veröffentlicht: (2021)

A comonad for Grothendieck fibrations
von: Emmenegger, Jacopo, et al.
Veröffentlicht: (2023)

The elementary theory of the 2-category of small categories
von: Hughes, Calum, et al.
Veröffentlicht: (2024)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2025)

Logic and Concepts in the 2-category of Topoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2025)

A Polynomial Construction of Nerves for Higher Categories
von: Shapiro, Brandon T., et al.
Veröffentlicht: (2024)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025)

Cartesian double theories: A double-categorical framework for categorical doctrines
von: Lambert, Michael, et al.
Veröffentlicht: (2023)

Very-Well-Behaved Epireflections for Categories of Models of Sketches
von: Xarez, João J.
Veröffentlicht: (2025)

Some properties of the A$_{\infty}$-nerve
von: Ornaghi, Mattia
Veröffentlicht: (2016)

Formal category theory in augmented virtual double categories
von: Koudenburg, Seerp Roald
Veröffentlicht: (2022)

On the theories classified by an étendue
von: Wrigley, Joshua
Veröffentlicht: (2025)

KZ-pseudomonads and Kan Injectivity
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2022)

Dinaturality for Double Categories
von: Morehouse, Edward
Veröffentlicht: (2026)

Toposes with enough points as categories of étale spaces
von: van Gool, Sam, et al.
Veröffentlicht: (2025)

Categories graded by group homomorphisms
von: Davies, Jonathan
Veröffentlicht: (2026)

Double categories of relations relative to factorisation systems
von: Hoshino, Keisuke, et al.
Veröffentlicht: (2023)

Generalised ultracategories and conceptual completeness of geometric logic
von: Hamad, Ali
Veröffentlicht: (2025)

Logical Structure on Inverse Functor Categories
von: Fiore, Marcelo, et al.
Veröffentlicht: (2024)

The formal theory of tangentads PART I
von: Lanfranchi, Marcello
Veröffentlicht: (2025)

The formal theory of tangentads PART II
von: Lanfranchi, Marcello
Veröffentlicht: (2026)

Nerves of generalized multicategories
von: Fujii, Soichiro, et al.
Veröffentlicht: (2025)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

The algebraic internal groupoid model of Martin-Löf type theory
von: Hughes, Calum
Veröffentlicht: (2025)

The List Object Endofunctor is Polynomial
von: Desrochers, Samuel
Veröffentlicht: (2025)

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

Simplicial Perspectives on (Pseudo) Effect Algebras
von: Lachman, Dominik
Veröffentlicht: (2025)

Internal 1-topoi in 2-topoi
von: Helfer, Joseph
Veröffentlicht: (2024)

Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
von: Hu, Nick, et al.
Veröffentlicht: (2021)

Quotients, pure existential completions and arithmetic universes
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2023)