:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Cheng, Eugenia
Format:	Preprint
Published:	2011
Subjects:	Category Theory
Online Access:	https://arxiv.org/abs/1112.3076
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Discrete Lawvere theories and monads
by: Rosický, Jiří
Published: (2024)

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

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

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

Effectful Toposes and Their Lawvere-Tierney Topologies
by: Yamada, Rinta
Published: (2026)

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

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

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

The Lawvere condition
by: Martins-Ferreira, Nelson
Published: (2025)

On the Witt vectors in the Lawvere quantale
by: Horiuchi, Ryo
Published: (2025)

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

A finite algebraic presentation of Lawvere theories in the object-classifier topos
by: Fiore, Marcelo, et al.
Published: (2024)

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

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

Discrete equational theories
by: Rosický, Jiří
Published: (2022)

Diagrammatic category theory
by: Nakahira, Kenji
Published: (2023)

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

Building pretorsion theories from torsion theories
by: Campanini, Federico, et al.
Published: (2023)

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

Calculating monad transformers with category theory
by: Manzyuk, Oleksandr
Published: (2025)

Some aspects of descent theory and applications
by: Prezado, Rui
Published: (2025)

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

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

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

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

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

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

Clock systems for stochastic and non-deterministic categorical systems theories
by: Lynch, Owen, et al.
Published: (2026)

Enriched Morita theory of monoids in a closed symmetric monoidal category
by: Lee, Jaehyeok, et al.
Published: (2023)

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

Deformations of homotopy theories via algebraic theories
by: Balderrama, William
Published: (2021)

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

Stable first order theories as simplicial profinite sets
by: Gavrilovich, Misha
Published: (2025)

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

Internal higher topos theory
by: Martini, Louis, et al.
Published: (2023)

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

The operadic theory of convexity
by: Haderi, Redi, et al.
Published: (2024)

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

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

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