Cover Image

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	van Woerkom, Wijnand, Berg, Benno van den
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic 18A32, 18N10, 03B38
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Examples and cofibrant generation of effective Kan fibrations
by: Berg, Benno van den, et al.
Published: (2024)

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

A 2-categorical proof of Frobenius for fibrations defined from a generic point
by: Hazratpour, Sina, et al.
Published: (2022)

Extensional concepts in intensional type theory, revisited
by: Kapulkin, Chris, et al.
Published: (2023)

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

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

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

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)

A type-theoretic definition of lax $(\infty,\infty)$-limits
by: Mikhail, Thomas Jan
Published: (2024)

Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)

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

A Note About Models of Synthetic Algebraic Geometry
by: Coquand, Thierry, et al.
Published: (2025)

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

Synthetic perspectives on spaces and categories
by: Riehl, Emily
Published: (2025)

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

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

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

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

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

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

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

Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)

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

Formalizing colimits in Cat
by: Carneiro, Mario, et al.
Published: (2025)

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

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

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

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

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

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

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

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

On logical parameterizations and functional representability in local set theories
by: Hernández, Enrique Ruiz, et al.
Published: (2021)

A Foundation for Synthetic Algebraic Geometry
by: Cherubini, Felix, et al.
Published: (2023)

Projective Space in Synthetic Algebraic Geometry
by: Cherubini, Felix, et al.
Published: (2024)

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

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

Projective Presentations of Lex Modalities
by: Williams, Mark Damuni
Published: (2025)

On orthogonal factorization systems and double categories
by: Juran, Branko
Published: (2025)