Copertina

Tricategorical Universal Properties Via Enriched Homotopy Theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Miranda, Adrian
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Category Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Polynomial Universes in Homotopy Type Theory
di: Aberlé, C. B., et al.
Pubblicazione: (2024)

Eilenberg-Moore Bicategories for Opmonoidal Pseudomonads
di: Miranda, Adrian
Pubblicazione: (2024)

Abstract Kleisli Structures on 2-categories
di: Miranda, Adrian
Pubblicazione: (2024)

A semi-strictly generated closed structure on Gray-Cat
di: Miranda, Adrian
Pubblicazione: (2023)

Coslice Colimits in Homotopy Type Theory
di: Hart, Perry, et al.
Pubblicazione: (2024)

An Inductive Strategy Towards a Solution to the Generalized Homotopy Hypothesis
di: Taylor, Johnathon
Pubblicazione: (2026)

Enriched concepts of regular logic
di: Rosický, Jiří, et al.
Pubblicazione: (2024)

Enriched bi(co)ends
di: Carissimi, Nicola
Pubblicazione: (2025)

Enriched Locally Generated Categories
di: Di Liberti, Ivan, et al.
Pubblicazione: (2020)

Enriched aspects of calculus of relations and $2$-permutability
di: Clementino, Maria Manuel, et al.
Pubblicazione: (2024)

Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm
di: Pugh, Matthew, et al.
Pubblicazione: (2023)

Homotopy theory of Moore flows (I)
di: Gaucher, Philippe
Pubblicazione: (2020)

Obstructions for Associativity in Stable Homotopy Theory
di: Willumsgaard, Sophus Valentin
Pubblicazione: (2026)

Enriched Morita theory of monoids in a closed symmetric monoidal category
di: Lee, Jaehyeok, et al.
Pubblicazione: (2023)

Homotopy Bicategories of 2-fold Segal Spaces
di: Romö, Jack
Pubblicazione: (2023)

Canonical Extensions of Quantale-Enriched Categories
di: Kurz, Alexander, et al.
Pubblicazione: (2026)

Homotopy Posets, Postnikov Towers, and Hypercompletions of $\infty$-Categories
di: Gepner, David, et al.
Pubblicazione: (2026)

Univalent Enriched Categories and the Enriched Rezk Completion
di: van der Weide, Niels
Pubblicazione: (2024)

The 2-Adjunction that relates Universal Arrows and Extensive Monads
di: Vazquez-Marquez, Adrian, et al.
Pubblicazione: (2025)

Enriched monoidal categories I: centers
di: Kong, Liang, et al.
Pubblicazione: (2021)

Enriched purity and presentability in Banach spaces
di: Rosický, Jiří
Pubblicazione: (2022)

Enriched coverages and sheaves under change of base
di: Rosenfield, Ariel E.
Pubblicazione: (2024)

Naturality of the $\infty$-Categorical Enriched Yoneda Embedding
di: Ben-Moshe, Shay
Pubblicazione: (2023)

Enriched $\infty$-categories as marked module categories
di: Reutter, David, et al.
Pubblicazione: (2025)

Local Rigidity and Six Functor Formalisms
di: Clough, Adrian
Pubblicazione: (2024)

Toric Mirror Symmetry for Homotopy Theorists
di: Bai, Qingyuan, et al.
Pubblicazione: (2025)

Functoriality of Enriched Data Types
di: Mulder, Lukas, et al.
Pubblicazione: (2025)

HilbMult: A Banach-Enriched Multicategory for Operator Algebras
di: Chang, Shih-Yu
Pubblicazione: (2025)

The Category of Atomic Monoids: Universal Constructions and Arithmetic Properties
di: Campanini, Federico, et al.
Pubblicazione: (2025)

Fibrations in Directed Type Theory
di: Lossin, Benno
Pubblicazione: (2026)

Universal Properties and Constructions of Pullback Formalisms in Terms of Invariance and Stability
di: Magen, Roy
Pubblicazione: (2025)

Invariance Properties of Davydov-Yetter Cohomology
di: Mader, Peter
Pubblicazione: (2025)

Categorical Theory of $(\infty,ω)$-Categories
di: Loubaton, Félix
Pubblicazione: (2024)

Categorical-Algebraic Properties of Lattice-ordered Groups
di: Cappelletti, Andrea
Pubblicazione: (2023)

Homotopy finiteness of some DG categories from algebraic geometry
di: Efimov, Alexander I.
Pubblicazione: (2013)

Homotopy type theory as a language for diagrams of $\infty$-logoses
di: Uemura, Taichi
Pubblicazione: (2022)

Torsion Theories in a Non-pointed Context
di: Cappelletti, Andrea, et al.
Pubblicazione: (2025)

A Model of Type Theory in Groupoid Assemblies
di: Agwu, Anthony
Pubblicazione: (2025)

Arboreal Objects and Their Homotopy Theory
di: Kaygun, Atabey
Pubblicazione: (2026)

Enriching Disentanglement: From Logical Definitions to Quantitative Metrics
di: Zhang, Yivan, et al.
Pubblicazione: (2023)