:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Cheng, Eugenia
Natura:	Preprint
Pubblicazione:	2011
Soggetti:	Category Theory
Accesso online:	https://arxiv.org/abs/1112.3076
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Discrete Lawvere theories and monads
di: Rosický, Jiří
Pubblicazione: (2024)

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

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

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

Effectful Toposes and Their Lawvere-Tierney Topologies
di: Yamada, Rinta
Pubblicazione: (2026)

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

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

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

The Lawvere condition
di: Martins-Ferreira, Nelson
Pubblicazione: (2025)

On the Witt vectors in the Lawvere quantale
di: Horiuchi, Ryo
Pubblicazione: (2025)

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

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

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

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

Discrete equational theories
di: Rosický, Jiří
Pubblicazione: (2022)

Diagrammatic category theory
di: Nakahira, Kenji
Pubblicazione: (2023)

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

Building pretorsion theories from torsion theories
di: Campanini, Federico, et al.
Pubblicazione: (2023)

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

Calculating monad transformers with category theory
di: Manzyuk, Oleksandr
Pubblicazione: (2025)

Some aspects of descent theory and applications
di: Prezado, Rui
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

Deformations of homotopy theories via algebraic theories
di: Balderrama, William
Pubblicazione: (2021)

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

Stable first order theories as simplicial profinite sets
di: Gavrilovich, Misha
Pubblicazione: (2025)

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

Internal higher topos theory
di: Martini, Louis, et al.
Pubblicazione: (2023)

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

The operadic theory of convexity
di: Haderi, Redi, et al.
Pubblicazione: (2024)

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

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

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