Cover Image

Relativized universal algebra via partial Horn logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kawase, Yuto
Format:	Preprint
Published:	2024
Subjects:	Category Theory 18C10, 18C15, 18C35, 18E45
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Birkhoff's variety theorem for relative algebraic theories
by: Kawase, Yuto
Published: (2023)

Filtered colimit elimination from Birkhoff's variety theorem
by: Kawase, Yuto
Published: (2023)

On the decomposition of a strong epimorphism into regular epimorphisms
by: Kawase, Yuto, et al.
Published: (2026)

Enriched positive logic
by: Rosický, Jiří, et al.
Published: (2025)

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

Categories by Kan extension
by: Spivak, David I.
Published: (2025)

What is the universal property of the 2-category of monads?
by: Lack, Stephen, et al.
Published: (2022)

Dualities in the theory of accessible categories
by: Tendas, Giacomo
Published: (2023)

Definable functors between triangulated categories
by: Bird, Isaac, et al.
Published: (2023)

Comonadic approach to pretorsion theories
by: Caviglia, Elena, et al.
Published: (2026)

Hearts of set-generated t-structures have a set of generators
by: Saorín, Manuel
Published: (2024)

More on soundness in the enriched context
by: Tendas, Giacomo
Published: (2024)

Limits in dagger categories
by: Heunen, Chris, et al.
Published: (2018)

Classifying localizing subcategories of a Grothendieck category
by: Sazeedeh, Reza
Published: (2025)

Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
by: Ko, Joanna
Published: (2026)

Ultracategories as colax algebras for a pseudo-monad on CAT
by: Hamad, Ali
Published: (2025)

Parametric Distributive Laws: uniform monad composition
by: Perticone, Lorenzo
Published: (2025)

Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
by: Lucyshyn-Wright, Rory B. B., et al.
Published: (2023)

Filtered bicolimit presentations of locally presentable linear categories, Grothendieck categories and their tensor products
by: González, J. Ramos
Published: (2020)

Introductory notes on real-enriched categories
by: Zhang, Dexue
Published: (2024)

Towards enriched universal algebra
by: Rosický, Jiří, et al.
Published: (2023)

Gabriel-Ulmer duality for topoi and its relation with site presentations
by: Di Liberti, Ivan, et al.
Published: (2019)

Homotopy Languages
by: Martínez, César Bardomiano, et al.
Published: (2025)

A recognition criterion for lax-idempotent pseudomonads
by: Bourke, John
Published: (2025)

Bicategories of algebras for relative pseudomonads
by: Arkor, Nathanael, et al.
Published: (2025)

On Naturally and Weakly Mal'tsev Categories
by: Martins-Ferreira, Nelson
Published: (2025)

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

Locally finitely presented Grothendieck categories with a flat generator
by: Martini, Lorenzo, et al.
Published: (2025)

Sketches and Classifying Logoi
by: Di Liberti, Ivan, et al.
Published: (2024)

A Polynomial Construction of Nerves for Higher Categories
by: Shapiro, Brandon T., et al.
Published: (2024)

Limits and colimits of synthetic $\infty$-categories
by: Martínez, César Bardomiano
Published: (2022)

Ideally regular categories
by: Mantovani, Sandra, et al.
Published: (2025)

Idempotence for relative monads
by: Arkor, Nathanael, et al.
Published: (2025)

Commutation of Smyth and Hoare Power Constructions in Well-filtered Dcpos
by: Hou, Huijun, et al.
Published: (2023)

Familial Monads as Higher Category Theories
by: Shapiro, Brandon
Published: (2021)

Relative monadicity
by: Arkor, Nathanael, et al.
Published: (2023)

From coextensive varieties to the Gaeta topos
by: Zuluaga, William
Published: (2022)

On representation categories of $A_\infty$-algebras and $A_\infty$-coalgebras
by: Banerjee, Abhishek, et al.
Published: (2021)

Quantale-valued maps and partial maps
by: Shen, Lili, et al.
Published: (2024)

Presentations of pseudodistributive laws
by: Walker, Charles
Published: (2021)