Cover Image

The Grothendieck construction for delta lenses

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Clarke, Bryce
Format:	Preprint
Published:	2025
Subjects:	Category Theory 18A25, 18B10, 18D30, 18N10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Lifting twisted coreflections against delta lenses
by: Clarke, Bryce
Published: (2024)

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

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

Transposing cartesian and other structure in double categories
by: Patterson, Evan
Published: (2024)

Products in double categories, revisited
by: Patterson, Evan
Published: (2024)

Colimits in 2-dimensional slices
by: Mesiti, Luca
Published: (2023)

A model structure for Grothendieck fibrations
by: Moser, Lyne, et al.
Published: (2023)

Lax functorialities of the comma construction for $ω$-categories
by: Ara, Dimitri, et al.
Published: (2025)

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

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

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

Double categories of profunctors
by: Kawase, Yuto
Published: (2025)

Fibrational approach to Grandis exactness for 2-categories
by: Caviglia, Elena, et al.
Published: (2025)

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

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

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

Homodular pseudofunctors and bicategories of modules
by: Street, Ross
Published: (2026)

Yoneda lemma and representation theorem for double categories
by: Fröhlich, Benedikt, et al.
Published: (2024)

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

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

Gabriel-Ulmer duality for topoi and its relation with site presentations
by: Di Liberti, Ivan, et al.
Published: (2019)

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

Toward the effective 2-topos
by: Awodey, Steve, et al.
Published: (2025)

On Étale Algebras and Bosonic Fusion 2-Categories
by: Xu, Hao
Published: (2024)

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

Dinaturality for Double Categories
by: Morehouse, Edward
Published: (2026)

Inner automorphisms as 2-cells
by: Hofstra, Pieter, et al.
Published: (2024)

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

Functors Preserving Effective Descent Morphisms
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Integration of a categorical operad
by: Trnka, Dominik
Published: (2025)

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

The free bifibration on a functor
by: Clarke, Bryce, et al.
Published: (2025)

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

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

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

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

Ground States of the $\infty$-categorical Grothendieck Construction
by: Gauthier, Renaud
Published: (2024)

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

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