Ultracategories as colax algebras for a pseudo-monad on CAT
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | Hamad, Ali |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Ultracategories via Kan extensions of relative monads
par: Tarantino, Umberto, et autres
Publié: (2025)
par: Tarantino, Umberto, et autres
Publié: (2025)
Parametric Distributive Laws: uniform monad composition
par: Perticone, Lorenzo
Publié: (2025)
par: Perticone, Lorenzo
Publié: (2025)
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
par: Ko, Joanna
Publié: (2026)
par: Ko, Joanna
Publié: (2026)
What is the universal property of the 2-category of monads?
par: Lack, Stephen, et autres
Publié: (2022)
par: Lack, Stephen, et autres
Publié: (2022)
Bicategories of algebras for relative pseudomonads
par: Arkor, Nathanael, et autres
Publié: (2025)
par: Arkor, Nathanael, et autres
Publié: (2025)
A recognition criterion for lax-idempotent pseudomonads
par: Bourke, John
Publié: (2025)
par: Bourke, John
Publié: (2025)
Relative monadicity
par: Arkor, Nathanael, et autres
Publié: (2023)
par: Arkor, Nathanael, et autres
Publié: (2023)
Generalization of formal monad theory to lax functors
par: Hirata, Kengo
Publié: (2023)
par: Hirata, Kengo
Publié: (2023)
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
par: Nunes, Fernando Lucatelli, et autres
Publié: (2024)
par: Nunes, Fernando Lucatelli, et autres
Publié: (2024)
A Polynomial Construction of Nerves for Higher Categories
par: Shapiro, Brandon T., et autres
Publié: (2024)
par: Shapiro, Brandon T., et autres
Publié: (2024)
The nerve theorem for relative monads
par: Arkor, Nathanael, et autres
Publié: (2024)
par: Arkor, Nathanael, et autres
Publié: (2024)
Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
par: Lucyshyn-Wright, Rory B. B., et autres
Publié: (2023)
par: Lucyshyn-Wright, Rory B. B., et autres
Publié: (2023)
Presentations of pseudodistributive laws
par: Walker, Charles
Publié: (2021)
par: Walker, Charles
Publié: (2021)
Idempotence for relative monads
par: Arkor, Nathanael, et autres
Publié: (2025)
par: Arkor, Nathanael, et autres
Publié: (2025)
An elementary definition of opetopic sets
par: Uemura, Taichi
Publié: (2025)
par: Uemura, Taichi
Publié: (2025)
Differential torsion theories on Eilenberg-Moore categories of monads
par: Ahuja, Divya, et autres
Publié: (2024)
par: Ahuja, Divya, et autres
Publié: (2024)
Generalised ultracategories and conceptual completeness of geometric logic
par: Hamad, Ali
Publié: (2025)
par: Hamad, Ali
Publié: (2025)
Comonadic approach to pretorsion theories
par: Caviglia, Elena, et autres
Publié: (2026)
par: Caviglia, Elena, et autres
Publié: (2026)
Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences
par: Gambino, Nicola, et autres
Publié: (2022)
par: Gambino, Nicola, et autres
Publié: (2022)
Profunctorial algebras
par: Aristote, Quentin, et autres
Publié: (2026)
par: Aristote, Quentin, et autres
Publié: (2026)
Familial Monads as Higher Category Theories
par: Shapiro, Brandon
Publié: (2021)
par: Shapiro, Brandon
Publié: (2021)
The formal theory of relative monads
par: Arkor, Nathanael, et autres
Publié: (2023)
par: Arkor, Nathanael, et autres
Publié: (2023)
Characterizations of higher derivations and higher differential torsion theories in Eilenberg-Moore categories of monads
par: Paik, Dipti, et autres
Publié: (2026)
par: Paik, Dipti, et autres
Publié: (2026)
Towards enriched universal algebra
par: Rosický, Jiří, et autres
Publié: (2023)
par: Rosický, Jiří, et autres
Publié: (2023)
The Inductive Coherator For Grothendieck Infinity Groupoids
par: Taylor, Johnathon
Publié: (2025)
par: Taylor, Johnathon
Publié: (2025)
The algebraic internal groupoid model of Martin-Löf type theory
par: Hughes, Calum
Publié: (2025)
par: Hughes, Calum
Publié: (2025)
Exponentiable Virtual Double Categories and Representability of Exponentials
par: Carlson, Kevin D., et autres
Publié: (2026)
par: Carlson, Kevin D., et autres
Publié: (2026)
Computads for generalised signatures
par: Markakis, Ioannis
Publié: (2023)
par: Markakis, Ioannis
Publié: (2023)
Derivations as Algebras
par: Lemay, Jean-Simon Pacaud, et autres
Publié: (2026)
par: Lemay, Jean-Simon Pacaud, et autres
Publié: (2026)
Lax structures in 2-category theory
par: Štěpán, Miloslav
Publié: (2025)
par: Štěpán, Miloslav
Publié: (2025)
The powerset monad on quantale-valued sets
par: Shen, Lili, et autres
Publié: (2023)
par: Shen, Lili, et autres
Publié: (2023)
The higher algebra and geometry of monoidal bicategories
par: Stenzel, Raffael
Publié: (2026)
par: Stenzel, Raffael
Publié: (2026)
Double Orthogonal Factorization Systems
par: Aberlé, C. B., et autres
Publié: (2025)
par: Aberlé, C. B., et autres
Publié: (2025)
A 2-categorical analysis of context comprehension
par: Coraglia, Greta, et autres
Publié: (2024)
par: Coraglia, Greta, et autres
Publié: (2024)
Kernels, lax algebras, décalage, and supercoherence
par: Markl, Martin, et autres
Publié: (2026)
par: Markl, Martin, et autres
Publié: (2026)
Symmetry shifting for monoidal bicategories
par: Stenzel, Raffael
Publié: (2026)
par: Stenzel, Raffael
Publié: (2026)
Generalized multicategories: change-of-base, embedding, and descent
par: Prezado, Rui, et autres
Publié: (2023)
par: Prezado, Rui, et autres
Publié: (2023)
Strongly finitary metric monads are too strong
par: Adamek, Jiri
Publié: (2026)
par: Adamek, Jiri
Publié: (2026)
Lifting twisted coreflections against delta lenses
par: Clarke, Bryce
Publié: (2024)
par: Clarke, Bryce
Publié: (2024)
A unified treatment of commuting tensor products of categories, operads, symmetric multicategories and their bimodules
par: Gambino, Nicola, et autres
Publié: (2025)
par: Gambino, Nicola, et autres
Publié: (2025)
Documents similaires
-
Ultracategories via Kan extensions of relative monads
par: Tarantino, Umberto, et autres
Publié: (2025) -
Parametric Distributive Laws: uniform monad composition
par: Perticone, Lorenzo
Publié: (2025) -
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
par: Ko, Joanna
Publié: (2026) -
What is the universal property of the 2-category of monads?
par: Lack, Stephen, et autres
Publié: (2022) -
Bicategories of algebras for relative pseudomonads
par: Arkor, Nathanael, et autres
Publié: (2025)