:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Tataru, Calin, Vicary, Jamie
Formato:	Preprint
Publicado:	2024
Materias:	Category Theory
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)

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)

From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
por: Claeys, Pieter W., et al.
Publicado: (2023)

Naturality for higher-dimensional path types
por: Benjamin, Thibaut, et al.
Publicado: (2025)

Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
por: Hu, Nick, et al.
Publicado: (2021)

Some aspects of descent theory and applications
por: Prezado, Rui
Publicado: (2025)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
por: Benjamin, Thibaut, et al.
Publicado: (2025)

Discrete equational theories
por: Rosický, Jiří
Publicado: (2022)

Diagrammatic category theory
por: Nakahira, Kenji
Publicado: (2023)

Building pretorsion theories from torsion theories
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)

Discrete Lawvere theories and monads
por: Rosický, Jiří
Publicado: (2024)

Distributive laws for Lawvere theories
por: Cheng, Eugenia
Publicado: (2011)

Relative cluster tilting theory and $τ$-tilting theory
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)

Calculating monad transformers with category theory
por: Manzyuk, Oleksandr
Publicado: (2025)

Every theory is eventually of presheaf type
por: Espíndola, Christian, et al.
Publicado: (2023)

Towards a double operadic theory of systems
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)

Polynomials in homotopy type theory as a Kleisli category
por: Harington, Elies, et al.
Publicado: (2024)

Polynomial functors in π-clans for the semantics of type theory
por: Hua, Joseph, et al.
Publicado: (2026)

Bass-Serre theory for groupoids
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)

Clock systems for stochastic and non-deterministic categorical systems theories
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)

A monoidal category of dependently sorted algebraic theories II: categorical aspects
por: Almeida, Daniel
Publicado: (2026)

Deformations of homotopy theories via algebraic theories
por: Balderrama, William
Publicado: (2021)

Extriangulated length categories: torsion classes and $τ$-tilting theory
por: Wang, Li, et al.
Publicado: (2025)

Stable first order theories as simplicial profinite sets
por: Gavrilovich, Misha
Publicado: (2025)

A monoidal category of dependently sorted algebraic theories I: syntax
por: Almeida, Daniel
Publicado: (2025)

Sweedler theory for double categories
por: Aravantinos-Sotiropoulos, Vasileios, et al.
Publicado: (2024)

Internal higher topos theory
por: Martini, Louis, et al.
Publicado: (2023)

The operadic theory of convexity
por: Haderi, Redi, et al.
Publicado: (2024)

On $τ$-tilting theory
por: Adachi, Takahide, et al.
Publicado: (2024)

Mackey functors from the viewpoint of double category theories
por: Wu, Mawei
Publicado: (2025)

Dévissage for Algebraic K-theory of Small Stable $\infty$-categories
por: Wei, Chunhui
Publicado: (2026)

Simplicial lists in operad theory I
por: Haderi, Redi, et al.
Publicado: (2024)