Imagen de Portada

Distributive laws for Lawvere theories

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Cheng, Eugenia
Formato:	Preprint
Publicado:	2011
Materias:	Category Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

PROPs associated to Lawvere theories and their relation to polynomial functors
por: Kim, Minkyu
Publicado: (2024)

$2$-dimensional Lawvere theories: commutativity and lax phenomena
por: Perutka, Tomáš
Publicado: (2026)

Profinite trees, through Lawvere theories and the lambda-calculus
por: Moreau, Vincent
Publicado: (2024)

Anick Resolution for Lawvere Theories from Algebraic Discrete Morse Theory
por: Ikebuchi, Mirai
Publicado: (2026)

Effectful Toposes and Their Lawvere-Tierney Topologies
por: Yamada, Rinta
Publicado: (2026)

When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
por: Bonchi, Filippo, et al.
Publicado: (2024)

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
por: Rosset, Aloïs, et al.
Publicado: (2024)

Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets
por: Hora, Ryuya, et al.
Publicado: (2025)

The Lawvere condition
por: Martins-Ferreira, Nelson
Publicado: (2025)

On the Witt vectors in the Lawvere quantale
por: Horiuchi, Ryo
Publicado: (2025)

De Morgan's law in toposes I
por: Caramello, Olivia, et al.
Publicado: (2025)

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

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

The theory and applications of anticolimits
por: Tataru, Calin, et al.
Publicado: (2024)

Infinite products and zero-one laws in categorical probability
por: Fritz, Tobias, et al.
Publicado: (2019)

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

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

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

Building pretorsion theories from torsion theories
por: Campanini, Federico, et al.
Publicado: (2023)

Towards a double operadic theory of systems
por: Libkind, Sophie, et al.
Publicado: (2025)

Relative cluster tilting theory and $τ$-tilting theory
por: Liu, Yu, et al.
Publicado: (2024)

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)

A finite algebraic presentation of Lawvere theories in the object-classifier topos
por: Fiore, Marcelo, 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)

Bass-Serre theory for groupoids
por: Verme, Giulia dal, et al.
Publicado: (2021)

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

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

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

Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
por: Kamio, Yuhi, et al.
Publicado: (2024)

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

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

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

Stable homotopy theory of higher categories
por: Heine, Hadrian
Publicado: (2026)

On the equivalence invariance of formal category theory
por: Verdugo, Paula
Publicado: (2025)

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

Homotopy theory of Moore flows (I)
por: Gaucher, Philippe
Publicado: (2020)