Image de couverture de livre

The theory and applications of anticolimits

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tataru, Calin, Vicary, Jamie
Format:	Preprint
Publié:	2024
Sujets:	Category Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A layout algorithm for higher-dimensional string diagrams
par: Tataru, Calin, et autres
Publié: (2023)

Partial orders are the free conservative cocompletion of total orders
par: Tataru, Calin
Publié: (2024)

homotopy.io: a proof assistant for finitely-presented globular $n$-categories
par: Corbyn, Nathan, et autres
Publié: (2024)

A Syntax for Strictly Associative and Unital $\infty$-Categories
par: Finster, Eric, et autres
Publié: (2023)

Computads for weak $ω$-categories as an inductive type
par: Dean, Christopher J., et autres
Publié: (2022)

From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
par: Claeys, Pieter W., et autres
Publié: (2023)

Naturality for higher-dimensional path types
par: Benjamin, Thibaut, et autres
Publié: (2025)

Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
par: Hu, Nick, et autres
Publié: (2021)

Some aspects of descent theory and applications
par: Prezado, Rui
Publié: (2025)

Discrete equational theories
par: Rosický, Jiří
Publié: (2022)

Diagrammatic category theory
par: Nakahira, Kenji
Publié: (2023)

Discrete Lawvere theories and monads
par: Rosický, Jiří
Publié: (2024)

Distributive laws for Lawvere theories
par: Cheng, Eugenia
Publié: (2011)

Calculating monad transformers with category theory
par: Manzyuk, Oleksandr
Publié: (2025)

Every theory is eventually of presheaf type
par: Espíndola, Christian, et autres
Publié: (2023)

Building pretorsion theories from torsion theories
par: Campanini, Federico, et autres
Publié: (2023)

Towards a double operadic theory of systems
par: Libkind, Sophie, et autres
Publié: (2025)

Relative cluster tilting theory and $τ$-tilting theory
par: Liu, Yu, et autres
Publié: (2024)

Plus constructions, plethysm, and unique factorization categories with applications to graphs and operad-like theories
par: Kaufmann, Ralph M., et autres
Publié: (2022)

Polynomials in homotopy type theory as a Kleisli category
par: Harington, Elies, et autres
Publié: (2024)

Relative ideals in homological categories, with an application to MV-algebras
par: Lapenta, Serafina, et autres
Publié: (2022)

Polynomial functors in π-clans for the semantics of type theory
par: Hua, Joseph, et autres
Publié: (2026)

Lambda-pure global dimension of Grothendieck categories and some applications
par: Wang, Xi, et autres
Publié: (2024)

Clock systems for stochastic and non-deterministic categorical systems theories
par: Lynch, Owen, et autres
Publié: (2026)

Enriched Morita theory of monoids in a closed symmetric monoidal category
par: Lee, Jaehyeok, et autres
Publié: (2023)

A monoidal category of dependently sorted algebraic theories II: categorical aspects
par: Almeida, Daniel
Publié: (2026)

Bass-Serre theory for groupoids
par: Verme, Giulia dal, et autres
Publié: (2021)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
par: de Jong, Tom, et autres
Publié: (2026)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
par: Benjamin, Thibaut, et autres
Publié: (2025)

Extriangulated length categories: torsion classes and $τ$-tilting theory
par: Wang, Li, et autres
Publié: (2025)

Deformations of homotopy theories via algebraic theories
par: Balderrama, William
Publié: (2021)

Stable first order theories as simplicial profinite sets
par: Gavrilovich, Misha
Publié: (2025)

A monoidal category of dependently sorted algebraic theories I: syntax
par: Almeida, Daniel
Publié: (2025)

Sweedler theory for double categories
par: Aravantinos-Sotiropoulos, Vasileios, et autres
Publié: (2024)

Internal higher topos theory
par: Martini, Louis, et autres
Publié: (2023)

Simplicial lists in operad theory I
par: Haderi, Redi, et autres
Publié: (2024)

Stable homotopy theory of higher categories
par: Heine, Hadrian
Publié: (2026)

On the equivalence invariance of formal category theory
par: Verdugo, Paula
Publié: (2025)

Homotopy theory of Moore flows (I)
par: Gaucher, Philippe
Publié: (2020)

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