Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	van Woerkom, Wijnand, Berg, Benno van den
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Category Theory Logic 18A32, 18N10, 03B38
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Examples and cofibrant generation of effective Kan fibrations
von: Berg, Benno van den, et al.
Veröffentlicht: (2024)

Arrow algebras
von: Berg, Benno van den, et al.
Veröffentlicht: (2023)

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

Extensional concepts in intensional type theory, revisited
von: Kapulkin, Chris, et al.
Veröffentlicht: (2023)

Kripke-Joyal forcing for type theory and uniform fibrations
von: Awodey, S., et al.
Veröffentlicht: (2021)

Generalized Chevalley criteria in simplicial homotopy type theory
von: Weinberger, Jonathan
Veröffentlicht: (2024)

Algebraic Type Theory, Part 1: Martin-Löf algebras
von: Awodey, Steve
Veröffentlicht: (2025)

Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)

A type-theoretic definition of lax $(\infty,\infty)$-limits
von: Mikhail, Thomas Jan
Veröffentlicht: (2024)

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

Logic and Concepts in the 2-category of Topoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2025)

A Note About Models of Synthetic Algebraic Geometry
von: Coquand, Thierry, et al.
Veröffentlicht: (2025)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2025)

Synthetic perspectives on spaces and categories
von: Riehl, Emily
Veröffentlicht: (2025)

A 2-categorical analysis of context comprehension
von: Coraglia, Greta, et al.
Veröffentlicht: (2024)

On the $\infty$-topos semantics of homotopy type theory
von: Riehl, Emily
Veröffentlicht: (2022)

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

Internal 1-topoi in 2-topoi
von: Helfer, Joseph
Veröffentlicht: (2024)

Double categories of relations relative to factorisation systems
von: Hoshino, Keisuke, et al.
Veröffentlicht: (2023)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2025)

The elementary theory of the 2-category of small categories
von: Hughes, Calum, et al.
Veröffentlicht: (2024)

Generalised ultracategories and conceptual completeness of geometric logic
von: Hamad, Ali
Veröffentlicht: (2025)

Double Orthogonal Factorization Systems
von: Aberlé, C. B., et al.
Veröffentlicht: (2025)

Formalizing colimits in Cat
von: Carneiro, Mario, et al.
Veröffentlicht: (2025)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
von: Frey, Jonas
Veröffentlicht: (2023)

The free bifibration on a functor
von: Clarke, Bryce, et al.
Veröffentlicht: (2025)

Toward the effective 2-topos
von: Awodey, Steve, et al.
Veröffentlicht: (2025)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)

Internal sums for synthetic fibered $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Connectedness through decidable quotients
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2023)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Logical Structure on Inverse Functor Categories
von: Fiore, Marcelo, et al.
Veröffentlicht: (2024)

On logical parameterizations and functional representability in local set theories
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2021)

A Foundation for Synthetic Algebraic Geometry
von: Cherubini, Felix, et al.
Veröffentlicht: (2023)

Projective Space in Synthetic Algebraic Geometry
von: Cherubini, Felix, et al.
Veröffentlicht: (2024)

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

Sketches and Classifying Logoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

Projective Presentations of Lex Modalities
von: Williams, Mark Damuni
Veröffentlicht: (2025)

On orthogonal factorization systems and double categories
von: Juran, Branko
Veröffentlicht: (2025)