Cover Image

Toward the effective 2-topos

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Awodey, Steve, Emmenegger, Jacopo
Format:	Preprint
Published:	2025
Subjects:	Category Theory Logic 18B25, 18N10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

From coextensive varieties to the Gaeta topos
by: Zuluaga, William
Published: (2022)

Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)

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

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
by: Mesiti, Luca
Published: (2024)

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

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

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

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

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

Pointwise Kan extensions along 2-fibrations and the 2-category of elements
by: Mesiti, Luca
Published: (2023)

A comonad for Grothendieck fibrations
by: Emmenegger, Jacopo, et al.
Published: (2023)

The Grothendieck construction for delta lenses
by: Clarke, Bryce
Published: (2025)

Higher Witt Groups for 2-Categories I: Centralizers
by: Xu, Hao
Published: (2024)

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

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

On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)

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

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

Sites and Grothendieck toposes: an introduction
by: Caramello, Olivia, et al.
Published: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
by: Caramello, Olivia, et al.
Published: (2025)

Module Categories As Spans
by: Xu, Hao
Published: (2024)

Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)

The least subtopos containing the discrete skeleton of $Ω$
by: Menni, Matí as
Published: (2024)

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

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

Sketches and Classifying Logoi
by: Di Liberti, Ivan, et al.
Published: (2024)

Indexed Grothendieck construction
by: Caviglia, Elena, et al.
Published: (2023)

On effective descent $\mathcal V$-functors and familial descent morphisms
by: Prezado, Rui
Published: (2023)

$\mathsf{Q}\text{-}\mathbf{Set}$ is not generally a topos
by: Hu, Xiao, et al.
Published: (2025)

A category of arrow algebras for modified realizability
by: Tarantino, Umberto
Published: (2024)

A Criterion for Categories on which every Grothendieck Topology is Rigid
by: Marquès, Jérémie
Published: (2024)

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
by: Inoué, Takao
Published: (2026)

Differential graded cell 2-representations
by: Laugwitz, Robert, et al.
Published: (2022)

Generalized multicategories: change-of-base, embedding, and descent
by: Prezado, Rui, et al.
Published: (2023)

Pretriangulated 2-representations via dg algebra 1-morphisms
by: Laugwitz, Robert, et al.
Published: (2022)

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

Gray (skew) multicategories: double and Gray-categorical cases
by: Femić, Bojana
Published: (2024)

Generalization of formal monad theory to lax functors
by: Hirata, Kengo
Published: (2023)

Filter Quotient Model Structures
by: Rasekh, Nima
Published: (2025)

Double categories of relations relative to factorisation systems
by: Hoshino, Keisuke, et al.
Published: (2023)