Cover Image

Lifting twisted coreflections against delta lenses

Fuente: arXiv

Saved in:

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

Similar Items

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

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

Kan extensions are partial colimits
by: Perrone, Paolo, et al.
Published: (2021)

Very-Well-Behaved Epireflections for Categories of Models of Sketches
by: Xarez, João J.
Published: (2025)

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

Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
by: Ko, Joanna
Published: (2026)

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

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

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

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

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

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

Double Orthogonal Factorization Systems
by: Aberlé, C. B., et al.
Published: (2025)

The Inductive Coherator For Grothendieck Infinity Groupoids
by: Taylor, Johnathon
Published: (2025)

Lax comma categories: cartesian closedness, extensivity, topologicity, and descent
by: Clementino, Maria Manuel, et al.
Published: (2024)

Limits in dagger categories
by: Heunen, Chris, et al.
Published: (2018)

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

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

On Naturally and Weakly Mal'tsev Categories
by: Martins-Ferreira, Nelson
Published: (2025)

The Lawvere condition
by: Martins-Ferreira, Nelson
Published: (2025)

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

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

What is the universal property of the 2-category of monads?
by: Lack, Stephen, et al.
Published: (2022)

Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
by: Arkor, Nathanael, et al.
Published: (2024)

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

Limit Sketches and the Universal Realization of a Limit Sketch
by: Taylor, Johnathon
Published: (2025)

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

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

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

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

Comonadic approach to pretorsion theories
by: Caviglia, Elena, et al.
Published: (2026)

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

Computads for generalised signatures
by: Markakis, Ioannis
Published: (2023)

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

On the decomposition of a strong epimorphism into regular epimorphisms
by: Kawase, Yuto, et al.
Published: (2026)

Categories by Kan extension
by: Spivak, David I.
Published: (2025)

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

Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
by: Lucyshyn-Wright, Rory B. B., et al.
Published: (2023)

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

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