Day algebras
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Robinson, Edmund, Wrigley, Joshua |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
An Internal Logic of Virtual Double Categories
von: Nasu, Hayato
Veröffentlicht: (2024)
von: Nasu, Hayato
Veröffentlicht: (2024)
Dilations and information flow axioms in categorical probability
von: Fritz, Tobias, et al.
Veröffentlicht: (2022)
von: Fritz, Tobias, et al.
Veröffentlicht: (2022)
Measuring data types
von: Mulder, Lukas, et al.
Veröffentlicht: (2024)
von: Mulder, Lukas, et al.
Veröffentlicht: (2024)
Multiplicative structures on comodules in higher categories
von: Torii, Takeshi
Veröffentlicht: (2025)
von: Torii, Takeshi
Veröffentlicht: (2025)
Two-dimensional Kripke Semantics II: Stability and Completeness
von: Kavvos, G. A.
Veröffentlicht: (2024)
von: Kavvos, G. A.
Veröffentlicht: (2024)
Convergence of martingales via enriched dagger categories
von: Perrone, Paolo, et al.
Veröffentlicht: (2024)
von: Perrone, Paolo, et al.
Veröffentlicht: (2024)
2-Coherent Internal Models of Homotopical Type Theory
von: Chen, Joshua
Veröffentlicht: (2025)
von: Chen, Joshua
Veröffentlicht: (2025)
Exponentiable functors between synthetic $\infty$-categories
von: Bardomiano-Martínez, César
Veröffentlicht: (2024)
von: Bardomiano-Martínez, César
Veröffentlicht: (2024)
Two-dimensional Kripke Semantics I: Presheaves
von: Kavvos, G. A.
Veröffentlicht: (2024)
von: Kavvos, G. A.
Veröffentlicht: (2024)
Enriched quasi-categories and the templicial homotopy coherent nerve
von: Lowen, Wendy, et al.
Veröffentlicht: (2023)
von: Lowen, Wendy, et al.
Veröffentlicht: (2023)
Nerves of enriched categories via necklaces
von: Mertens, Arne
Veröffentlicht: (2024)
von: Mertens, Arne
Veröffentlicht: (2024)
Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
von: Hu, Nick, et al.
Veröffentlicht: (2021)
von: Hu, Nick, et al.
Veröffentlicht: (2021)
Universal property of the Bousfield--Kuhn functor
von: Shi, Yuqing
Veröffentlicht: (2024)
von: Shi, Yuqing
Veröffentlicht: (2024)
The Universal Property of Measure-Theoretic Probability
von: Rischel, Eigil Fjeldgren
Veröffentlicht: (2025)
von: Rischel, Eigil Fjeldgren
Veröffentlicht: (2025)
The familial nature of enrichment over virtual double categories
von: Fujii, Soichiro, et al.
Veröffentlicht: (2025)
von: Fujii, Soichiro, et al.
Veröffentlicht: (2025)
A Topologically Enriched Probability Monad on the Cartesian Closed Category of CGWH Spaces
von: Kristel, Peter, et al.
Veröffentlicht: (2024)
von: Kristel, Peter, et al.
Veröffentlicht: (2024)
Bivariant operadic categories
von: Markl, Martin
Veröffentlicht: (2024)
von: Markl, Martin
Veröffentlicht: (2024)
On products of skeleta
von: Keenan, Liam, et al.
Veröffentlicht: (2025)
von: Keenan, Liam, et al.
Veröffentlicht: (2025)
The group of homotopy self-equivalences is a Lax functor
von: Yamaguchi, Toshihiro, et al.
Veröffentlicht: (2026)
von: Yamaguchi, Toshihiro, et al.
Veröffentlicht: (2026)
Cofibrant generation of pure monomorphisms in presheaf categories
von: Cox, Sean, et al.
Veröffentlicht: (2025)
von: Cox, Sean, et al.
Veröffentlicht: (2025)
Generalised Möbius Categories and Convolution Kleene Algebras
von: Cranch, James, et al.
Veröffentlicht: (2025)
von: Cranch, James, et al.
Veröffentlicht: (2025)
On the theories classified by an étendue
von: Wrigley, Joshua
Veröffentlicht: (2025)
von: Wrigley, Joshua
Veröffentlicht: (2025)
A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems
von: Sati, Hisham, et al.
Veröffentlicht: (2026)
von: Sati, Hisham, et al.
Veröffentlicht: (2026)
Non-accessible localizations
von: Christensen, J. Daniel
Veröffentlicht: (2021)
von: Christensen, J. Daniel
Veröffentlicht: (2021)
Map monoidales and duoidal $\infty$-categories
von: Torii, Takeshi
Veröffentlicht: (2024)
von: Torii, Takeshi
Veröffentlicht: (2024)
Kernels, lax algebras, décalage, and supercoherence
von: Markl, Martin, et al.
Veröffentlicht: (2026)
von: Markl, Martin, et al.
Veröffentlicht: (2026)
The Relative Monadic Metalanguage
von: Liell-Cock, Jack, et al.
Veröffentlicht: (2025)
von: Liell-Cock, Jack, et al.
Veröffentlicht: (2025)
The integration theory of curved absolute L-infinity algebras
von: Lucio, Victor Roca i
Veröffentlicht: (2022)
von: Lucio, Victor Roca i
Veröffentlicht: (2022)
Presheaves on lax double functors; or, Instances of models of double theories
von: Carlson, Kevin, et al.
Veröffentlicht: (2025)
von: Carlson, Kevin, et al.
Veröffentlicht: (2025)
Cauchy density
von: Mateo, Adrián Doña
Veröffentlicht: (2025)
von: Mateo, Adrián Doña
Veröffentlicht: (2025)
Functor calculus via non-cubes
von: Stoll, Robin
Veröffentlicht: (2022)
von: Stoll, Robin
Veröffentlicht: (2022)
Norms in equivariant homotopy theory
von: Lenz, Tobias, et al.
Veröffentlicht: (2025)
von: Lenz, Tobias, et al.
Veröffentlicht: (2025)
Models for rational $(\infty, 1)$-categories
von: Chatzitheodoridis, Eleftherios
Veröffentlicht: (2025)
von: Chatzitheodoridis, Eleftherios
Veröffentlicht: (2025)
Kleisli categories, T-categories and internal categories
von: Bourn, Dominique
Veröffentlicht: (2024)
von: Bourn, Dominique
Veröffentlicht: (2024)
Compositionality of Lyapunov functions via assume-guarantee reasoning
von: Capucci, Matteo, et al.
Veröffentlicht: (2026)
von: Capucci, Matteo, et al.
Veröffentlicht: (2026)
Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
von: Alpay, Faruk, et al.
Veröffentlicht: (2026)
von: Alpay, Faruk, et al.
Veröffentlicht: (2026)
Abstract Excision and $\ell^1$-Homology
von: Witzig, Johannes
Veröffentlicht: (2022)
von: Witzig, Johannes
Veröffentlicht: (2022)
The Algebraic Structure of Morphosyntax
von: Senturia, Isabella, et al.
Veröffentlicht: (2025)
von: Senturia, Isabella, et al.
Veröffentlicht: (2025)
$(\infty,1)$-Categorical Comprehension Schemes
von: Stenzel, Raffael
Veröffentlicht: (2020)
von: Stenzel, Raffael
Veröffentlicht: (2020)
Homotopy theory of Moore flows (III)
von: Gaucher, Philippe
Veröffentlicht: (2023)
von: Gaucher, Philippe
Veröffentlicht: (2023)
Ähnliche Einträge
-
An Internal Logic of Virtual Double Categories
von: Nasu, Hayato
Veröffentlicht: (2024) -
Dilations and information flow axioms in categorical probability
von: Fritz, Tobias, et al.
Veröffentlicht: (2022) -
Measuring data types
von: Mulder, Lukas, et al.
Veröffentlicht: (2024) -
Multiplicative structures on comodules in higher categories
von: Torii, Takeshi
Veröffentlicht: (2025) -
Two-dimensional Kripke Semantics II: Stability and Completeness
von: Kavvos, G. A.
Veröffentlicht: (2024)