Presheaves and cocompletions in formal category theory
Fuente:
arXiv
Salvato in:
| Autori principali: | Arkor, Nathanael, McDermott, Dylan |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
The formal theory of relative monads
di: Arkor, Nathanael, et al.
Pubblicazione: (2023)
di: Arkor, Nathanael, et al.
Pubblicazione: (2023)
The nerve theorem for relative monads
di: Arkor, Nathanael, et al.
Pubblicazione: (2024)
di: Arkor, Nathanael, et al.
Pubblicazione: (2024)
Relative monadicity
di: Arkor, Nathanael, et al.
Pubblicazione: (2023)
di: Arkor, Nathanael, et al.
Pubblicazione: (2023)
Exponentiable virtual double categories and presheaves for double categories
di: Arkor, Nathanael
Pubblicazione: (2025)
di: Arkor, Nathanael
Pubblicazione: (2025)
Adjoint functor theorems for lax-idempotent pseudomonads
di: Arkor, Nathanael, et al.
Pubblicazione: (2023)
di: Arkor, Nathanael, et al.
Pubblicazione: (2023)
The familial nature of enrichment over virtual double categories
di: Fujii, Soichiro, et al.
Pubblicazione: (2025)
di: Fujii, Soichiro, et al.
Pubblicazione: (2025)
The $(\infty,2)$-category of internal $(\infty,1)$-categories
di: Stenzel, Raffael
Pubblicazione: (2024)
di: Stenzel, Raffael
Pubblicazione: (2024)
Homodular pseudofunctors and bicategories of modules
di: Street, Ross
Pubblicazione: (2026)
di: Street, Ross
Pubblicazione: (2026)
Lax structures in 2-category theory
di: Štěpán, Miloslav
Pubblicazione: (2025)
di: Štěpán, Miloslav
Pubblicazione: (2025)
Formal category theory in augmented virtual double categories
di: Koudenburg, Seerp Roald
Pubblicazione: (2022)
di: Koudenburg, Seerp Roald
Pubblicazione: (2022)
Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
di: Arkor, Nathanael, et al.
Pubblicazione: (2024)
di: Arkor, Nathanael, et al.
Pubblicazione: (2024)
Products in double categories, revisited
di: Patterson, Evan
Pubblicazione: (2024)
di: Patterson, Evan
Pubblicazione: (2024)
Lax functorialities of the comma construction for $ω$-categories
di: Ara, Dimitri, et al.
Pubblicazione: (2025)
di: Ara, Dimitri, et al.
Pubblicazione: (2025)
Bicategories of algebras for relative pseudomonads
di: Arkor, Nathanael, et al.
Pubblicazione: (2025)
di: Arkor, Nathanael, et al.
Pubblicazione: (2025)
Notions of Cauchy completeness for normed categories
di: Hofmann, Dirk, et al.
Pubblicazione: (2025)
di: Hofmann, Dirk, et al.
Pubblicazione: (2025)
Transposing cartesian and other structure in double categories
di: Patterson, Evan
Pubblicazione: (2024)
di: Patterson, Evan
Pubblicazione: (2024)
Virtual double categories of split two-sided 2-fibrations
di: Koudenburg, Seerp Roald
Pubblicazione: (2026)
di: Koudenburg, Seerp Roald
Pubblicazione: (2026)
Formal category theory in $\infty$-equipments I
di: Ruit, Jaco
Pubblicazione: (2023)
di: Ruit, Jaco
Pubblicazione: (2023)
Yoneda lemma and representation theorem for double categories
di: Fröhlich, Benedikt, et al.
Pubblicazione: (2024)
di: Fröhlich, Benedikt, et al.
Pubblicazione: (2024)
What is the universal property of the 2-category of monads?
di: Lack, Stephen, et al.
Pubblicazione: (2022)
di: Lack, Stephen, et al.
Pubblicazione: (2022)
Indexed Grothendieck construction
di: Caviglia, Elena, et al.
Pubblicazione: (2023)
di: Caviglia, Elena, et al.
Pubblicazione: (2023)
On effective descent $\mathcal V$-functors and familial descent morphisms
di: Prezado, Rui
Pubblicazione: (2023)
di: Prezado, Rui
Pubblicazione: (2023)
Limits in dagger categories
di: Heunen, Chris, et al.
Pubblicazione: (2018)
di: Heunen, Chris, et al.
Pubblicazione: (2018)
Formal category theory in $\infty$-equipments II: Lax functors, monoidality and fibrations
di: Ruit, Jaco
Pubblicazione: (2024)
di: Ruit, Jaco
Pubblicazione: (2024)
Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
di: Hu, Nick, et al.
Pubblicazione: (2021)
di: Hu, Nick, et al.
Pubblicazione: (2021)
Free extensivity via distributivity
di: Nunes, Fernando Lucatelli, et al.
Pubblicazione: (2024)
di: Nunes, Fernando Lucatelli, et al.
Pubblicazione: (2024)
$(\infty,n)$-Limits I: Definition and first consistency results
di: Moser, Lyne, et al.
Pubblicazione: (2023)
di: Moser, Lyne, et al.
Pubblicazione: (2023)
Functors Preserving Effective Descent Morphisms
di: Nunes, Fernando Lucatelli, et al.
Pubblicazione: (2024)
di: Nunes, Fernando Lucatelli, et al.
Pubblicazione: (2024)
KZ-pseudomonads and Kan Injectivity
di: Di Liberti, Ivan, et al.
Pubblicazione: (2022)
di: Di Liberti, Ivan, et al.
Pubblicazione: (2022)
The formal theory of tangentads PART II
di: Lanfranchi, Marcello
Pubblicazione: (2026)
di: Lanfranchi, Marcello
Pubblicazione: (2026)
The formal theory of tangentads PART I
di: Lanfranchi, Marcello
Pubblicazione: (2025)
di: Lanfranchi, Marcello
Pubblicazione: (2025)
Dualities in the theory of accessible categories
di: Tendas, Giacomo
Pubblicazione: (2023)
di: Tendas, Giacomo
Pubblicazione: (2023)
A note on Noetherian $(\infty, \infty)$-categories
di: Goldthorpe, Zach
Pubblicazione: (2024)
di: Goldthorpe, Zach
Pubblicazione: (2024)
Colimits in 2-dimensional slices
di: Mesiti, Luca
Pubblicazione: (2023)
di: Mesiti, Luca
Pubblicazione: (2023)
Nerves of generalized multicategories
di: Fujii, Soichiro, et al.
Pubblicazione: (2025)
di: Fujii, Soichiro, et al.
Pubblicazione: (2025)
On the tensor product of completely distributive quantale-enriched categories
di: Balan, Adriana
Pubblicazione: (2025)
di: Balan, Adriana
Pubblicazione: (2025)
Tangentads: a formal approach to tangent categories
di: Lanfranchi, Marcello
Pubblicazione: (2025)
di: Lanfranchi, Marcello
Pubblicazione: (2025)
On $2$-categorical $\infty$-cosmoi
di: Bourke, John, et al.
Pubblicazione: (2023)
di: Bourke, John, et al.
Pubblicazione: (2023)
Shadows are Bicategorical Traces
di: Hess, Kathryn, et al.
Pubblicazione: (2021)
di: Hess, Kathryn, et al.
Pubblicazione: (2021)
The oplax limit of an enriched category
di: Fujii, Soichiro, et al.
Pubblicazione: (2022)
di: Fujii, Soichiro, et al.
Pubblicazione: (2022)
Documenti analoghi
-
The formal theory of relative monads
di: Arkor, Nathanael, et al.
Pubblicazione: (2023) -
The nerve theorem for relative monads
di: Arkor, Nathanael, et al.
Pubblicazione: (2024) -
Relative monadicity
di: Arkor, Nathanael, et al.
Pubblicazione: (2023) -
Exponentiable virtual double categories and presheaves for double categories
di: Arkor, Nathanael
Pubblicazione: (2025) -
Adjoint functor theorems for lax-idempotent pseudomonads
di: Arkor, Nathanael, et al.
Pubblicazione: (2023)