Cover Image

An Internal Logic of Virtual Double Categories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Nasu, Hayato
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic in Computer Science 18C50, 18D70, 18N10(Primary) 68Q65, 18D60 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Day algebras
by: Robinson, Edmund, et al.
Published: (2025)

The familial nature of enrichment over virtual double categories
by: Fujii, Soichiro, et al.
Published: (2025)

Exponentiable Virtual Double Categories and Representability of Exponentials
by: Carlson, Kevin D., et al.
Published: (2026)

Categories graded by group homomorphisms
by: Davies, Jonathan
Published: (2026)

The formal theory of relative monads
by: Arkor, Nathanael, et al.
Published: (2023)

Nerves of enriched categories via necklaces
by: Mertens, Arne
Published: (2024)

Formal category theory in augmented virtual double categories
by: Koudenburg, Seerp Roald
Published: (2022)

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

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

KZ-pseudomonads and Kan Injectivity
by: Di Liberti, Ivan, et al.
Published: (2022)

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

The nerve theorem for relative monads
by: Arkor, Nathanael, et al.
Published: (2024)

Presheaves on lax double functors; or, Instances of models of double theories
by: Carlson, Kevin, et al.
Published: (2025)

Enriched quasi-categories and the templicial homotopy coherent nerve
by: Lowen, Wendy, et al.
Published: (2023)

Polygraphs: From Rewriting to Higher Categories
by: Ara, Dimitri, et al.
Published: (2023)

Virtual double categories of split two-sided 2-fibrations
by: Koudenburg, Seerp Roald
Published: (2026)

Nerves of generalized multicategories
by: Fujii, Soichiro, et al.
Published: (2025)

The $(\infty,2)$-category of internal $(\infty,1)$-categories
by: Stenzel, Raffael
Published: (2024)

Relative monadicity
by: Arkor, Nathanael, et al.
Published: (2023)

Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
by: Quigley, Daniel
Published: (2024)

Presheaves and cocompletions in formal category theory
by: Arkor, Nathanael, et al.
Published: (2026)

A Polynomial Construction of Nerves for Higher Categories
by: Shapiro, Brandon T., et al.
Published: (2024)

Free extensivity via distributivity
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Higher inductive types in $(\infty,1)$-categories
by: Uemura, Taichi
Published: (2024)

Exponentiable virtual double categories and presheaves for double categories
by: Arkor, Nathanael
Published: (2025)

Adjoint functor theorems for lax-idempotent pseudomonads
by: Arkor, Nathanael, et al.
Published: (2023)

Familial Monads as Higher Category Theories
by: Shapiro, Brandon
Published: (2021)

Formal category theory in $\infty$-equipments I
by: Ruit, Jaco
Published: (2023)

Formal category theory in $\infty$-equipments II: Lax functors, monoidality and fibrations
by: Ruit, Jaco
Published: (2024)

Limits and colimits of synthetic $\infty$-categories
by: Martínez, César Bardomiano
Published: (2022)

Kleisli categories, T-categories and internal categories
by: Bourn, Dominique
Published: (2024)

Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)

Universality of span 2-categories and the construction of 6-functor formalisms
by: Cnossen, Bastiaan, et al.
Published: (2025)

Compositionality of Lyapunov functions via assume-guarantee reasoning
by: Capucci, Matteo, et al.
Published: (2026)

Exponentiable functors between synthetic $\infty$-categories
by: Bardomiano-Martínez, César
Published: (2024)

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

Bicategories of algebras for relative pseudomonads
by: Arkor, Nathanael, et al.
Published: (2025)

Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)

Lax structures in 2-category theory
by: Štěpán, Miloslav
Published: (2025)