Image de couverture de livre

Homotopy Cardinality and Entropy

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Ortiz-Muñoz, Andrés
Format:	Preprint
Publié:	2025
Sujets:	Category Theory Information Theory Mathematical Physics 94A17, 03B38, 18B40
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Entropy, cocycles, and their diagrammatics
par: Im, Mee Seong, et autres
Publié: (2024)

Algebraic Type Theory, Part 1: Martin-Löf algebras
par: Awodey, Steve
Publié: (2025)

Non-Standard Models of Homotopy Type Theory
par: Rasekh, Nima
Publié: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
par: Rasekh, Nima
Publié: (2025)

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
par: van Woerkom, Wijnand, et autres
Publié: (2024)

Generalized splitting of algebras with application to a bialgebra structure of Leibniz algebras induced from averaging Lie bialgebras
par: Bai, Chengming, et autres
Publié: (2025)

The List Object Endofunctor is Polynomial
par: Desrochers, Samuel
Publié: (2025)

Tininess and right adjoints to exponentials
par: Hernández, Enrique Ruiz, et autres
Publié: (2026)

Type Theory for the Working Mathematical Music Theorist
par: Flieder, Drew
Publié: (2025)

Homotopy Lie algebras and coherent infinitesimal 2-braidings
par: Kemp, Cameron
Publié: (2026)

Connectedness through decidable quotients
par: Hernández, Enrique Ruiz, et autres
Publié: (2023)

The history of the General Adjoint Functor Theorem
par: Porst, Hans-E.
Publié: (2023)

Nijenhuis operators and twisted $\mathcal{O}$-operators on Nambu-Poisson algebras
par: Das, Apurba, et autres
Publié: (2025)

Formalizing colimits in Cat
par: Carneiro, Mario, et autres
Publié: (2025)

A 2-categorical proof of Frobenius for fibrations defined from a generic point
par: Hazratpour, Sina, et autres
Publié: (2022)

Formal P-Category Theory and Normalization by Evaluation in Rocq
par: Berry, David G., et autres
Publié: (2025)

Kripke-Joyal forcing for type theory and uniform fibrations
par: Awodey, S., et autres
Publié: (2021)

Arrow algebras
par: Berg, Benno van den, et autres
Publié: (2023)

The algebraic internal groupoid model of Martin-Löf type theory
par: Hughes, Calum
Publié: (2025)

Cohomology of Lie coalgebras
par: Chuang, Joseph, et autres
Publié: (2024)

Higher structures for Lie $H$-pseudoalgebras
par: Das, Apurba
Publié: (2024)

On logical parameterizations and functional representability in local set theories
par: Hernández, Enrique Ruiz, et autres
Publié: (2021)

Extensional concepts in intensional type theory, revisited
par: Kapulkin, Chris, et autres
Publié: (2023)

Entropies associated with orbits of finite groups
par: Leal, Ryan, et autres
Publié: (2025)

Entropy and Diversity: The Axiomatic Approach
par: Leinster, Tom
Publié: (2020)

The Veronese square of the dendriform operad
par: Bremner, Murray R.
Publié: (2025)

Twisted Post-Hopf Algebras, Twisted Relative Rota-Baxter Operators and Hopf Trusses
par: Vilaboa, José Manuel Fernández, et autres
Publié: (2024)

On a fibrational construction for optics, lenses, and Dialectica categories
par: Capucci, Matteo, et autres
Publié: (2024)

The elementary theory of the 2-category of small categories
par: Hughes, Calum, et autres
Publié: (2024)

Craig Interpolation for Subgeometric Logics
par: Di Liberti, Ivan, et autres
Publié: (2026)

A type-theoretic definition of lax $(\infty,\infty)$-limits
par: Mikhail, Thomas Jan
Publié: (2024)

Deformation maps in proto-twilled Leibniz algebras
par: Das, Apurba, et autres
Publié: (2024)

Rigid tensor structure on big module categories for some $W$-(super)algebras in type $A$
par: Creutzig, Thomas, et autres
Publié: (2022)

The Natural Display Topos of Coalgebras
par: Zwanziger, Colin
Publié: (2024)

Cartier integration of infinitesimal 2-braidings via 2-holonomy of the CMKZ 2-connection, I: Hexagonators and the Breen polytope
par: Kemp, Cameron James Deverall
Publié: (2025)

Bi-directional models of `radically synthetic' differential geometry
par: Menni, Matías
Publié: (2024)

Homotopy representations of extended holomorphic symmetry in holomorphic twists
par: Jonsson, Simon, et autres
Publié: (2024)

A bialgebra theory for transposed Poisson algebras via anti-pre-Lie bialgebras and anti-pre-Lie-Poisson bialgebras
par: Liu, Guilai, et autres
Publié: (2023)

Homotopy reflectivity is equivalent to the weak Vopěnka principle
par: Casacuberta, Carles, et autres
Publié: (2024)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
par: Spadetto, Matteo
Publié: (2025)