Image de couverture de livre

Relativized universal algebra via partial Horn logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Kawase, Yuto
Format:	Preprint
Publié:	2024
Sujets:	Category Theory 18C10, 18C15, 18C35, 18E45
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Birkhoff's variety theorem for relative algebraic theories
par: Kawase, Yuto
Publié: (2023)

Filtered colimit elimination from Birkhoff's variety theorem
par: Kawase, Yuto
Publié: (2023)

On the decomposition of a strong epimorphism into regular epimorphisms
par: Kawase, Yuto, et autres
Publié: (2026)

Enriched positive logic
par: Rosický, Jiří, et autres
Publié: (2025)

A finite algebraic presentation of Lawvere theories in the object-classifier topos
par: Fiore, Marcelo, et autres
Publié: (2024)

Categories by Kan extension
par: Spivak, David I.
Publié: (2025)

What is the universal property of the 2-category of monads?
par: Lack, Stephen, et autres
Publié: (2022)

Dualities in the theory of accessible categories
par: Tendas, Giacomo
Publié: (2023)

Definable functors between triangulated categories
par: Bird, Isaac, et autres
Publié: (2023)

Comonadic approach to pretorsion theories
par: Caviglia, Elena, et autres
Publié: (2026)

Hearts of set-generated t-structures have a set of generators
par: Saorín, Manuel
Publié: (2024)

More on soundness in the enriched context
par: Tendas, Giacomo
Publié: (2024)

Limits in dagger categories
par: Heunen, Chris, et autres
Publié: (2018)

Classifying localizing subcategories of a Grothendieck category
par: Sazeedeh, Reza
Publié: (2025)

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

Ultracategories as colax algebras for a pseudo-monad on CAT
par: Hamad, Ali
Publié: (2025)

Parametric Distributive Laws: uniform monad composition
par: Perticone, Lorenzo
Publié: (2025)

Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
par: Lucyshyn-Wright, Rory B. B., et autres
Publié: (2023)

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

Introductory notes on real-enriched categories
par: Zhang, Dexue
Publié: (2024)

Towards enriched universal algebra
par: Rosický, Jiří, et autres
Publié: (2023)

Gabriel-Ulmer duality for topoi and its relation with site presentations
par: Di Liberti, Ivan, et autres
Publié: (2019)

Homotopy Languages
par: Martínez, César Bardomiano, et autres
Publié: (2025)

A recognition criterion for lax-idempotent pseudomonads
par: Bourke, John
Publié: (2025)

Bicategories of algebras for relative pseudomonads
par: Arkor, Nathanael, et autres
Publié: (2025)

On Naturally and Weakly Mal'tsev Categories
par: Martins-Ferreira, Nelson
Publié: (2025)

The Lawvere condition
par: Martins-Ferreira, Nelson
Publié: (2025)

Locally finitely presented Grothendieck categories with a flat generator
par: Martini, Lorenzo, et autres
Publié: (2025)

Sketches and Classifying Logoi
par: Di Liberti, Ivan, et autres
Publié: (2024)

A Polynomial Construction of Nerves for Higher Categories
par: Shapiro, Brandon T., et autres
Publié: (2024)

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

Ideally regular categories
par: Mantovani, Sandra, et autres
Publié: (2025)

Idempotence for relative monads
par: Arkor, Nathanael, et autres
Publié: (2025)

Commutation of Smyth and Hoare Power Constructions in Well-filtered Dcpos
par: Hou, Huijun, et autres
Publié: (2023)

Familial Monads as Higher Category Theories
par: Shapiro, Brandon
Publié: (2021)

Relative monadicity
par: Arkor, Nathanael, et autres
Publié: (2023)

From coextensive varieties to the Gaeta topos
par: Zuluaga, William
Publié: (2022)

On representation categories of $A_\infty$-algebras and $A_\infty$-coalgebras
par: Banerjee, Abhishek, et autres
Publié: (2021)

Quantale-valued maps and partial maps
par: Shen, Lili, et autres
Publié: (2024)

Presentations of pseudodistributive laws
par: Walker, Charles
Publié: (2021)