Cover Image

Enriched positive logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rosický, Jiří, Tendas, Giacomo
Format:	Preprint
Published:	2025
Subjects:	Category Theory 18D20, 18C10, 18C35
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Notions of enriched purity
by: Rosický, Jiří, et al.
Published: (2023)

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

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

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

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

Relativized universal algebra via partial Horn logic
by: Kawase, Yuto
Published: (2024)

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

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

Nerves of generalized multicategories
by: Fujii, Soichiro, et al.
Published: (2025)

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

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

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

The nerve theorem for relative monads
by: Arkor, Nathanael, et al.
Published: (2024)

Enriched categorical aspects of homological perturbation theory
by: Vokřínek, Lukáš
Published: (2024)

Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
by: Arkor, Nathanael, et al.
Published: (2024)

Adjoint functor theorems for lax-idempotent pseudomonads
by: Arkor, Nathanael, et al.
Published: (2023)

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

On $2$-categorical $\infty$-cosmoi
by: Bourke, John, et al.
Published: (2023)

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

On the tensor product of completely distributive quantale-enriched categories
by: Balan, Adriana
Published: (2025)

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

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

Revisiting Hugo Volger's paper Uber die Existenz der freien Algebren
by: Menni, Matias, et al.
Published: (2024)

A note on Noetherian $(\infty, \infty)$-categories
by: Goldthorpe, Zach
Published: (2024)

Dwyer-Kan homotopy theory of enriched categories
by: Muro, Fernando
Published: (2012)

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

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

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

Traced Monads and Hopf Monads
by: Hasegawa, Masahito, et al.
Published: (2022)

Tangentads: a formal approach to tangent categories
by: Lanfranchi, Marcello
Published: (2025)

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

The powerset monad on quantale-valued sets
by: Shen, Lili, et al.
Published: (2023)

Cofibrant generation of pure monomorphisms in presheaf categories
by: Cox, Sean, et al.
Published: (2025)

Lifting independence along functors
by: Kamsma, Mark, et al.
Published: (2024)

On the Bénabou-Roubaud theorem
by: Kahn, Bruno
Published: (2024)

The formal theory of relative monads
by: Arkor, Nathanael, et al.
Published: (2023)

Module-theoretic approach to dualizable Grothendieck categories
by: Kanda, Ryo
Published: (2024)