Buchumschlag

Discrete Lawvere theories and monads

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rosický, Jiří
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Category Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Discrete equational theories
von: Rosický, Jiří
Veröffentlicht: (2022)

Enriched purity and presentability in Banach spaces
von: Rosický, Jiří
Veröffentlicht: (2022)

Enriched concepts of regular logic
von: Rosický, Jiří, et al.
Veröffentlicht: (2024)

Are chain-complete posets co-wellpowered?
von: Jurka, Jan, et al.
Veröffentlicht: (2020)

Unstable independence from the categorical point of view
von: Kamsma, Mark, et al.
Veröffentlicht: (2023)

Enriched Locally Generated Categories
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2020)

Distributive laws for Lawvere theories
von: Cheng, Eugenia
Veröffentlicht: (2011)

Fibrantly generated weak factorization systems
von: Cox, Sean, et al.
Veröffentlicht: (2022)

Calculating monad transformers with category theory
von: Manzyuk, Oleksandr
Veröffentlicht: (2025)

A duality between monads and monadic morphisms
von: Heine, Hadrian
Veröffentlicht: (2017)

Anick Resolution for Lawvere Theories from Algebraic Discrete Morse Theory
von: Ikebuchi, Mirai
Veröffentlicht: (2026)

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

$2$-dimensional Lawvere theories: commutativity and lax phenomena
von: Perutka, Tomáš
Veröffentlicht: (2026)

Enriched positive logic
von: Rosický, Jiří, et al.
Veröffentlicht: (2025)

Free monad sequences and extension operations
von: Sattler, Christian
Veröffentlicht: (2025)

Duality for coalgebras for Vietoris and monadicity
von: Abbadini, Marco, et al.
Veröffentlicht: (2023)

Profinite trees, through Lawvere theories and the lambda-calculus
von: Moreau, Vincent
Veröffentlicht: (2024)

Strongly finitary metric monads are too strong
von: Adamek, Jiri
Veröffentlicht: (2026)

Lifting independence along functors
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Towards enriched universal algebra
von: Rosický, Jiří, et al.
Veröffentlicht: (2023)

Notions of enriched purity
von: Rosický, Jiří, et al.
Veröffentlicht: (2023)

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

When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

Cofinal morphism of polynomial monads and double delooping
von: De Leger, Florian
Veröffentlicht: (2022)

Generalization of formal monad theory to lax functors
von: Hirata, Kengo
Veröffentlicht: (2023)

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

Pushforward monads
von: Mateo, Adrián Doña
Veröffentlicht: (2024)

Between Markov and restriction: Two more monads on categories for relations
von: Cioffo, Cipriano Junior, et al.
Veröffentlicht: (2025)

Idempotence for relative monads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2025)

The bounded ideal monad on the category of quasi-metric spaces and its algebras
von: Wang, Kai, et al.
Veröffentlicht: (2024)

Discrete differential geometry in homotopy type theory
von: Langmead, Greg
Veröffentlicht: (2025)

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

The Lawvere condition
von: Martins-Ferreira, Nelson
Veröffentlicht: (2025)

On the Witt vectors in the Lawvere quantale
von: Horiuchi, Ryo
Veröffentlicht: (2025)

Differential torsion theories on Eilenberg-Moore categories of monads
von: Ahuja, Divya, et al.
Veröffentlicht: (2024)

A pair of monads in Topology
von: Razafindrakoto, Ando
Veröffentlicht: (2025)

The theory and applications of anticolimits
von: Tataru, Calin, et al.
Veröffentlicht: (2024)

Diagrammatic category theory
von: Nakahira, Kenji
Veröffentlicht: (2023)

Categories which are varieties of classical or ordered algebras
von: Adamek, Jiri
Veröffentlicht: (2024)

All Segal objects are generalised monads in spans
von: Kern, David
Veröffentlicht: (2024)