Cover Image

Ultracategories via Kan extensions of relative monads

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tarantino, Umberto, Wrigley, Joshua
Format:	Preprint
Published:	2025
Subjects:	Category Theory 18N15 (Primary) 18C15, 18C20, 03G30, 03C20 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Profunctorial algebras
by: Aristote, Quentin, et al.
Published: (2026)

Existential completions and Herbrand's theorem
by: Wrigley, Joshua L.
Published: (2025)

An elementary definition of opetopic sets
by: Uemura, Taichi
Published: (2025)

On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)

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

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

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

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

Purity in compactly generated derivators and t-structures with Grothendieck hearts
by: Laking, Rosanna
Published: (2018)

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

Existentially closed models and locally zero-dimensional toposes
by: Kamsma, Mark, et al.
Published: (2024)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

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

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

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

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

Kan extensions are partial colimits
by: Perrone, Paolo, et al.
Published: (2021)

Extending conceptual completeness via virtual ultracategories
by: Saadia, Gabriel
Published: (2025)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Computads for generalised signatures
by: Markakis, Ioannis
Published: (2023)

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

Toposes with enough points as categories of étale spaces
by: van Gool, Sam, et al.
Published: (2025)

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

Bicategorical Traces and Cotraces
by: Barhite, Justin
Published: (2023)

Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)

Exponentiable Virtual Double Categories and Representability of Exponentials
by: Carlson, Kevin D., et al.
Published: (2026)

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

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
by: Inoué, Takao
Published: (2026)

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

A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)

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

Atomic Toposes with Co-Well-Founded Categories of Atoms
by: Marquès, Jérémie
Published: (2024)

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

Strongly finitary metric monads are too strong
by: Adamek, Jiri
Published: (2026)

On duality and model theory for polyadic spaces
by: van Gool, Sam, et al.
Published: (2022)

Logical Aspects of Virtual Double Categories
by: Nasu, Hayato
Published: (2025)

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

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

Differential torsion theories on Eilenberg-Moore categories of monads
by: Ahuja, Divya, et al.
Published: (2024)