Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2501.10672 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Entropy, cocycles, and their diagrammatics
by: Im, Mee Seong, et al.
Published: (2024)
by: Im, Mee Seong, et al.
Published: (2024)
Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)
by: Rasekh, Nima
Published: (2025)
Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)
by: Rasekh, Nima
Published: (2025)
Algebraic Type Theory, Part 1: Martin-Löf algebras
by: Awodey, Steve
Published: (2025)
by: Awodey, Steve
Published: (2025)
The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
by: van Woerkom, Wijnand, et al.
Published: (2024)
by: van Woerkom, Wijnand, et al.
Published: (2024)
Generalized splitting of algebras with application to a bialgebra structure of Leibniz algebras induced from averaging Lie bialgebras
by: Bai, Chengming, et al.
Published: (2025)
by: Bai, Chengming, et al.
Published: (2025)
Homotopy Lie algebras and coherent infinitesimal 2-braidings
by: Kemp, Cameron
Published: (2026)
by: Kemp, Cameron
Published: (2026)
Type Theory for the Working Mathematical Music Theorist
by: Flieder, Drew
Published: (2025)
by: Flieder, Drew
Published: (2025)
Tininess and right adjoints to exponentials
by: Hernández, Enrique Ruiz, et al.
Published: (2026)
by: Hernández, Enrique Ruiz, et al.
Published: (2026)
The List Object Endofunctor is Polynomial
by: Desrochers, Samuel
Published: (2025)
by: Desrochers, Samuel
Published: (2025)
Connectedness through decidable quotients
by: Hernández, Enrique Ruiz, et al.
Published: (2023)
by: Hernández, Enrique Ruiz, et al.
Published: (2023)
Formalizing colimits in Cat
by: Carneiro, Mario, et al.
Published: (2025)
by: Carneiro, Mario, et al.
Published: (2025)
A 2-categorical proof of Frobenius for fibrations defined from a generic point
by: Hazratpour, Sina, et al.
Published: (2022)
by: Hazratpour, Sina, et al.
Published: (2022)
Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)
by: Berry, David G., et al.
Published: (2025)
Entropy and Diversity: The Axiomatic Approach
by: Leinster, Tom
Published: (2020)
by: Leinster, Tom
Published: (2020)
Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)
by: Awodey, S., et al.
Published: (2021)
Nijenhuis operators and twisted $\mathcal{O}$-operators on Nambu-Poisson algebras
by: Das, Apurba, et al.
Published: (2025)
by: Das, Apurba, et al.
Published: (2025)
The history of the General Adjoint Functor Theorem
by: Porst, Hans-E.
Published: (2023)
by: Porst, Hans-E.
Published: (2023)
On logical parameterizations and functional representability in local set theories
by: Hernández, Enrique Ruiz, et al.
Published: (2021)
by: Hernández, Enrique Ruiz, et al.
Published: (2021)
The algebraic internal groupoid model of Martin-Löf type theory
by: Hughes, Calum
Published: (2025)
by: Hughes, Calum
Published: (2025)
The Veronese square of the dendriform operad
by: Bremner, Murray R.
Published: (2025)
by: Bremner, Murray R.
Published: (2025)
Extensional concepts in intensional type theory, revisited
by: Kapulkin, Chris, et al.
Published: (2023)
by: Kapulkin, Chris, et al.
Published: (2023)
Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)
by: Berg, Benno van den, et al.
Published: (2023)
Higher structures for Lie $H$-pseudoalgebras
by: Das, Apurba
Published: (2024)
by: Das, Apurba
Published: (2024)
Cohomology of Lie coalgebras
by: Chuang, Joseph, et al.
Published: (2024)
by: Chuang, Joseph, et al.
Published: (2024)
On a fibrational construction for optics, lenses, and Dialectica categories
by: Capucci, Matteo, et al.
Published: (2024)
by: Capucci, Matteo, et al.
Published: (2024)
Entropies associated with orbits of finite groups
by: Leal, Ryan, et al.
Published: (2025)
by: Leal, Ryan, et al.
Published: (2025)
Twisted Post-Hopf Algebras, Twisted Relative Rota-Baxter Operators and Hopf Trusses
by: Vilaboa, José Manuel Fernández, et al.
Published: (2024)
by: Vilaboa, José Manuel Fernández, et al.
Published: (2024)
Rigid tensor structure on big module categories for some $W$-(super)algebras in type $A$
by: Creutzig, Thomas, et al.
Published: (2022)
by: Creutzig, Thomas, et al.
Published: (2022)
Cartier integration of infinitesimal 2-braidings via 2-holonomy of the CMKZ 2-connection, I: Hexagonators and the Breen polytope
by: Kemp, Cameron James Deverall
Published: (2025)
by: Kemp, Cameron James Deverall
Published: (2025)
The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)
by: Hughes, Calum, et al.
Published: (2024)
A type-theoretic definition of lax $(\infty,\infty)$-limits
by: Mikhail, Thomas Jan
Published: (2024)
by: Mikhail, Thomas Jan
Published: (2024)
Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)
by: Di Liberti, Ivan, et al.
Published: (2026)
A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)
by: Spadetto, Matteo
Published: (2025)
Tensor categories for vertex operator superalgebra extensions
by: Creutzig, Thomas, et al.
Published: (2017)
by: Creutzig, Thomas, et al.
Published: (2017)
Markov Categories and Entropy
by: Perrone, Paolo
Published: (2022)
by: Perrone, Paolo
Published: (2022)
Deformation maps in proto-twilled Leibniz algebras
by: Das, Apurba, et al.
Published: (2024)
by: Das, Apurba, et al.
Published: (2024)
The Natural Display Topos of Coalgebras
by: Zwanziger, Colin
Published: (2024)
by: Zwanziger, Colin
Published: (2024)
Projective Presentations of Lex Modalities
by: Williams, Mark Damuni
Published: (2025)
by: Williams, Mark Damuni
Published: (2025)
Homotopy reflectivity is equivalent to the weak Vopěnka principle
by: Casacuberta, Carles, et al.
Published: (2024)
by: Casacuberta, Carles, et al.
Published: (2024)