:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Barton, Reid
Format:	Preprint
Published:	2024
Subjects:	Category Theory 18N45
Online Access:	https://arxiv.org/abs/2402.04227
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

A short proof of the straightening theorem
by: Hebestreit, Fabian, et al.
Published: (2021)

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

Cosmological Unstraightening
by: Rasekh, Nima
Published: (2025)

A short proof of the universality of the relative Rezk nerve
by: Arakawa, Kensuke, et al.
Published: (2025)

Limits and colimits of synthetic $\infty$-categories
by: Martínez, César Bardomiano
Published: (2022)

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

Inner autoequivalences in general and those of monoidal categories in particular
by: Hofstra, Pieter, et al.
Published: (2022)

A straightening-unstraightening equivalence for $\infty$-operads
by: Pratali, Francesca
Published: (2025)

Pretriangulated 2-representations via dg algebra 1-morphisms
by: Laugwitz, Robert, et al.
Published: (2022)

Differential graded cell 2-representations
by: Laugwitz, Robert, et al.
Published: (2022)

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

Higher holonomy for curved L${}_\infty$-algebras 1: simplicial methods
by: Getzler, Ezra
Published: (2024)

A short proof that Rezk's nerve is fully faithful
by: Hebestreit, Fabian, et al.
Published: (2023)

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

Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories
by: Carranza, Daniel, et al.
Published: (2023)

A Computational Approach to the Homotopy Theory of DG categories
by: Karabas, Dogancan, et al.
Published: (2024)

Homotopy structures realizing algebraic kk-theory
by: Ellis, Eugenia, et al.
Published: (2024)

String diagrams for $4$-categories and fibrations of mapping $4$-groupoids
by: Araújo, Manuel
Published: (2020)

Consciousness in a Higher Categorical Context
by: Gauthier, Renaud
Published: (2026)

Culf maps and edgewise subdivision
by: Hackney, Philip, et al.
Published: (2022)

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

Exponentiable functors between synthetic $\infty$-categories
by: Bardomiano-Martínez, César
Published: (2024)

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

Diagrammatics for lax and Frobenius monoidal functors and weak morphism classifiers
by: Langlois-Rémillard, Alexis, et al.
Published: (2026)

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

Pushforwards in Inverse Homotopical Diagrams
by: Kapulkin, Chris, et al.
Published: (2025)

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

Homotopy Languages
by: Martínez, César Bardomiano, et al.
Published: (2025)

Cartesian Linearly Distributive Categories: Revisited
by: Kudzman-Blais, Rose, et al.
Published: (2025)

Linearly Distributive Fox Theorem
by: Kudzman-Blais, Rose
Published: (2025)

The category of necklaces is Reedy monoidal
by: Marques, Violeta Borges, et al.
Published: (2023)

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

Dagger $n$-categories
by: Ferrer, Giovanni, et al.
Published: (2024)

Homotopy $n$-types of cubical sets and graphs
by: Kapulkin, Chris, et al.
Published: (2024)

Cubical setting for discrete homotopy theory, revisited
by: Carranza, Daniel, et al.
Published: (2022)

Cofibration category of digraphs for path homology
by: Carranza, Daniel, et al.
Published: (2022)

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

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