Buchumschlag

$2$-dimensional Lawvere theories: commutativity and lax phenomena

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Perutka, Tomáš
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Category Theory Algebraic Topology Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Higher geometric sheaf theories
von: Stenzel, Raffael
Veröffentlicht: (2022)

Elementary $\infty$-toposes from type theory
von: Apol, Daniël, et al.
Veröffentlicht: (2025)

Non-trivial higher homotopy of first-order theories
von: Campion, Tim, et al.
Veröffentlicht: (2023)

Interpreting type theory in a quasicategory: a Yoneda approach
von: Cherradi, El Mehdi
Veröffentlicht: (2022)

PROPs associated to Lawvere theories and their relation to polynomial functors
von: Kim, Minkyu
Veröffentlicht: (2024)

Global homotopy theory via partially lax limits
von: Linskens, Sil, et al.
Veröffentlicht: (2022)

Path Types in Algebraic Type Theory
von: Awodey, Steve, et al.
Veröffentlicht: (2026)

Modal Fracture of Higher Groups
von: Myers, David Jaz
Veröffentlicht: (2021)

Higher presentable categories and limits
von: Aoki, Ko
Veröffentlicht: (2025)

Choice axioms and Postnikov completeness
von: Anel, Mathieu, et al.
Veröffentlicht: (2024)

Basic Category Theory
von: Leinster, Tom
Veröffentlicht: (2016)

Internal languages of locally cartesian closed $(\infty,1)$-categories
von: Cherradi, El Mehdi
Veröffentlicht: (2025)

Straightening for lax transformations and adjunctions of $(\infty,2)$-categories
von: Abellán, Fernando, et al.
Veröffentlicht: (2024)

A type-theoretic definition of lax $(\infty,\infty)$-limits
von: Mikhail, Thomas Jan
Veröffentlicht: (2024)

Free fibrations, lax colimits and Kan extensions for $(\infty,2)$-categories
von: Abellán, Fernando, et al.
Veröffentlicht: (2026)

Manifold Diagrams for Higher Categories
von: Heidemann, Lukas
Veröffentlicht: (2024)

Epimorphisms and Acyclic Types in Univalent Foundations
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)

Presentation of finite Reedy categories as localizations of finite direct categories
von: Sato, Genki
Veröffentlicht: (2025)

Limits of $(\infty, 1)$-categories with structure and their lax morphisms
von: Ko, Joanna
Veröffentlicht: (2025)

On tensor products with equivariant commutative operads
von: Stewart, Natalie
Veröffentlicht: (2025)

Deformations of homotopy theories via algebraic theories
von: Balderrama, William
Veröffentlicht: (2021)

Internal higher topos theory
von: Martini, Louis, et al.
Veröffentlicht: (2023)

Stable homotopy theory of higher categories
von: Heine, Hadrian
Veröffentlicht: (2026)

On the equivalence invariance of formal category theory
von: Verdugo, Paula
Veröffentlicht: (2025)

Simplicial lists in operad theory I
von: Haderi, Redi, et al.
Veröffentlicht: (2024)

Homotopy theory of Moore flows (I)
von: Gaucher, Philippe
Veröffentlicht: (2020)

Unstable synthetic deformations I: Malcev theories
von: Balderrama, William, et al.
Veröffentlicht: (2026)

On the equivalence of two approaches to multiplicative homotopy theories
von: Arakawa, Kensuke
Veröffentlicht: (2026)

Colimits and cocompletions in internal higher category theory
von: Martini, Louis, et al.
Veröffentlicht: (2021)

Free rigid commutative algebras
von: Ramzi, Maxime
Veröffentlicht: (2026)

Categorification of sheaf theory
von: Stefanich, Germán
Veröffentlicht: (2025)

Finiteness and finite domination in stratified homotopy theory
von: Volpe, Marco
Veröffentlicht: (2024)

Non-Hausdorff manifolds over locally ordered spaces via sheaf theory
von: Chamoun, Yorgo, et al.
Veröffentlicht: (2025)

Plus constructions, plethysm, and unique factorization categories with applications to graphs and operad-like theories
von: Kaufmann, Ralph M., et al.
Veröffentlicht: (2022)

Topological field theories associated with Calabi-Yau categories
von: Bozec, Tristan, et al.
Veröffentlicht: (2024)

Effectful Toposes and Their Lawvere-Tierney Topologies
von: Yamada, Rinta
Veröffentlicht: (2026)

Towards a theory of natural directed paths
von: Gaucher, Philippe
Veröffentlicht: (2023)

Comma 2-comonad I: Eilenberg-Moore 2-category of colax coalgebras
von: Baković, Igor
Veröffentlicht: (2025)

The Morita $(\infty,2)$-category of a monoidal category as a $2$-complicial set
von: Dutta, Arghan, et al.
Veröffentlicht: (2025)

$(\infty,2)$-Topoi and descent
von: Abellán, Fernando, et al.
Veröffentlicht: (2024)