Guardado en:
| Autores principales: | Tataru, Calin, Vicary, Jamie |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2401.17076 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
A layout algorithm for higher-dimensional string diagrams
por: Tataru, Calin, et al.
Publicado: (2023)
por: Tataru, Calin, et al.
Publicado: (2023)
homotopy.io: a proof assistant for finitely-presented globular $n$-categories
por: Corbyn, Nathan, et al.
Publicado: (2024)
por: Corbyn, Nathan, et al.
Publicado: (2024)
Partial orders are the free conservative cocompletion of total orders
por: Tataru, Calin
Publicado: (2024)
por: Tataru, Calin
Publicado: (2024)
A Syntax for Strictly Associative and Unital $\infty$-Categories
por: Finster, Eric, et al.
Publicado: (2023)
por: Finster, Eric, et al.
Publicado: (2023)
Computads for weak $ω$-categories as an inductive type
por: Dean, Christopher J., et al.
Publicado: (2022)
por: Dean, Christopher J., et al.
Publicado: (2022)
From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
por: Claeys, Pieter W., et al.
Publicado: (2023)
por: Claeys, Pieter W., et al.
Publicado: (2023)
Naturality for higher-dimensional path types
por: Benjamin, Thibaut, et al.
Publicado: (2025)
por: Benjamin, Thibaut, et al.
Publicado: (2025)
Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
por: Hu, Nick, et al.
Publicado: (2021)
por: Hu, Nick, et al.
Publicado: (2021)
Some aspects of descent theory and applications
por: Prezado, Rui
Publicado: (2025)
por: Prezado, Rui
Publicado: (2025)
Beyond Eckmann-Hilton: Commutativity in Higher Categories
por: Benjamin, Thibaut, et al.
Publicado: (2025)
por: Benjamin, Thibaut, et al.
Publicado: (2025)
Discrete equational theories
por: Rosický, Jiří
Publicado: (2022)
por: Rosický, Jiří
Publicado: (2022)
Diagrammatic category theory
por: Nakahira, Kenji
Publicado: (2023)
por: Nakahira, Kenji
Publicado: (2023)
Building pretorsion theories from torsion theories
por: Campanini, Federico, et al.
Publicado: (2023)
por: Campanini, Federico, et al.
Publicado: (2023)
Plus constructions, plethysm, and unique factorization categories with applications to graphs and operad-like theories
por: Kaufmann, Ralph M., et al.
Publicado: (2022)
por: Kaufmann, Ralph M., et al.
Publicado: (2022)
Discrete Lawvere theories and monads
por: Rosický, Jiří
Publicado: (2024)
por: Rosický, Jiří
Publicado: (2024)
Distributive laws for Lawvere theories
por: Cheng, Eugenia
Publicado: (2011)
por: Cheng, Eugenia
Publicado: (2011)
Relative cluster tilting theory and $τ$-tilting theory
por: Liu, Yu, et al.
Publicado: (2024)
por: Liu, Yu, et al.
Publicado: (2024)
The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
por: de Jong, Tom, et al.
Publicado: (2026)
por: de Jong, Tom, et al.
Publicado: (2026)
Calculating monad transformers with category theory
por: Manzyuk, Oleksandr
Publicado: (2025)
por: Manzyuk, Oleksandr
Publicado: (2025)
Every theory is eventually of presheaf type
por: Espíndola, Christian, et al.
Publicado: (2023)
por: Espíndola, Christian, et al.
Publicado: (2023)
Towards a double operadic theory of systems
por: Libkind, Sophie, et al.
Publicado: (2025)
por: Libkind, Sophie, et al.
Publicado: (2025)
Relative ideals in homological categories, with an application to MV-algebras
por: Lapenta, Serafina, et al.
Publicado: (2022)
por: Lapenta, Serafina, et al.
Publicado: (2022)
Polynomials in homotopy type theory as a Kleisli category
por: Harington, Elies, et al.
Publicado: (2024)
por: Harington, Elies, et al.
Publicado: (2024)
Polynomial functors in π-clans for the semantics of type theory
por: Hua, Joseph, et al.
Publicado: (2026)
por: Hua, Joseph, et al.
Publicado: (2026)
Bass-Serre theory for groupoids
por: Verme, Giulia dal, et al.
Publicado: (2021)
por: Verme, Giulia dal, et al.
Publicado: (2021)
Lambda-pure global dimension of Grothendieck categories and some applications
por: Wang, Xi, et al.
Publicado: (2024)
por: Wang, Xi, et al.
Publicado: (2024)
Clock systems for stochastic and non-deterministic categorical systems theories
por: Lynch, Owen, et al.
Publicado: (2026)
por: Lynch, Owen, et al.
Publicado: (2026)
Enriched Morita theory of monoids in a closed symmetric monoidal category
por: Lee, Jaehyeok, et al.
Publicado: (2023)
por: Lee, Jaehyeok, et al.
Publicado: (2023)
A monoidal category of dependently sorted algebraic theories II: categorical aspects
por: Almeida, Daniel
Publicado: (2026)
por: Almeida, Daniel
Publicado: (2026)
Deformations of homotopy theories via algebraic theories
por: Balderrama, William
Publicado: (2021)
por: Balderrama, William
Publicado: (2021)
Extriangulated length categories: torsion classes and $τ$-tilting theory
por: Wang, Li, et al.
Publicado: (2025)
por: Wang, Li, et al.
Publicado: (2025)
Stable first order theories as simplicial profinite sets
por: Gavrilovich, Misha
Publicado: (2025)
por: Gavrilovich, Misha
Publicado: (2025)
A monoidal category of dependently sorted algebraic theories I: syntax
por: Almeida, Daniel
Publicado: (2025)
por: Almeida, Daniel
Publicado: (2025)
Sweedler theory for double categories
por: Aravantinos-Sotiropoulos, Vasileios, et al.
Publicado: (2024)
por: Aravantinos-Sotiropoulos, Vasileios, et al.
Publicado: (2024)
Internal higher topos theory
por: Martini, Louis, et al.
Publicado: (2023)
por: Martini, Louis, et al.
Publicado: (2023)
The operadic theory of convexity
por: Haderi, Redi, et al.
Publicado: (2024)
por: Haderi, Redi, et al.
Publicado: (2024)
On $τ$-tilting theory
por: Adachi, Takahide, et al.
Publicado: (2024)
por: Adachi, Takahide, et al.
Publicado: (2024)
Mackey functors from the viewpoint of double category theories
por: Wu, Mawei
Publicado: (2025)
por: Wu, Mawei
Publicado: (2025)
Dévissage for Algebraic K-theory of Small Stable $\infty$-categories
por: Wei, Chunhui
Publicado: (2026)
por: Wei, Chunhui
Publicado: (2026)
Simplicial lists in operad theory I
por: Haderi, Redi, et al.
Publicado: (2024)
por: Haderi, Redi, et al.
Publicado: (2024)
Ejemplares similares
-
A layout algorithm for higher-dimensional string diagrams
por: Tataru, Calin, et al.
Publicado: (2023) -
homotopy.io: a proof assistant for finitely-presented globular $n$-categories
por: Corbyn, Nathan, et al.
Publicado: (2024) -
Partial orders are the free conservative cocompletion of total orders
por: Tataru, Calin
Publicado: (2024) -
A Syntax for Strictly Associative and Unital $\infty$-Categories
por: Finster, Eric, et al.
Publicado: (2023) -
Computads for weak $ω$-categories as an inductive type
por: Dean, Christopher J., et al.
Publicado: (2022)