Cover Image

On a fibrational construction for optics, lenses, and Dialectica categories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Capucci, Matteo, Gavranović, Bruno, Malik, Abdullah, Rios, Francisco, Weinberger, Jonathan
Format:	Preprint
Published:	2024
Subjects:	Category Theory Information Theory Logic in Computer Science 18M35, 18D30, 18M05, 03G30, 03B38 F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Skolem, Gödel, and Hilbert fibrations
by: Trotta, Davide, et al.
Published: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

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

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

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

Generalized Chevalley criteria in simplicial homotopy type theory
by: Weinberger, Jonathan
Published: (2024)

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

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)

Connectedness through decidable quotients
by: Hernández, Enrique Ruiz, et al.
Published: (2023)

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

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

Cofibrant generation of pure monomorphisms in presheaf categories
by: Cox, Sean, et al.
Published: (2025)

Smooth and Proper Maps
by: Anel, Mathieu, et al.
Published: (2024)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

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

Quotients, pure existential completions and arithmetic universes
by: Maietti, Maria Emilia, et al.
Published: (2023)

From Copying to Corelations via Ancestry Partitions
by: Santacana, Andreu Ballus
Published: (2025)

Layered Monoidal Theories II: Fibrational Semantics
by: Lobski, Leo, et al.
Published: (2026)

Evolution systems: A framework for studying generic mathematical structures
by: Kubiś, Wiesław, et al.
Published: (2021)

Directed univalence in simplicial homotopy type theory
by: Gratzer, Daniel, et al.
Published: (2024)

The Yoneda embedding in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2025)

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

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

Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
by: Benjamin, Thibaut, et al.
Published: (2025)

Extending conceptual completeness via virtual ultracategories
by: Saadia, Gabriel
Published: (2025)

$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)

Coherence for logicians
by: Petric, Zoran, et al.
Published: (2024)

Tininess and right adjoints to exponentials
by: Hernández, Enrique Ruiz, et al.
Published: (2026)

Poset-enriched pretoposes and compact ordered spaces
by: Marquès, Jérémie, et al.
Published: (2025)

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

$Sh(B)$-valued models of $(κ,κ)$-coherent categories
by: Kanalas, Kristóf
Published: (2023)

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

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

On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)

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

A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)

A $j$-translation with Kripke forcing relation
by: Nakata, Satoshi
Published: (2026)