Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2502.20597 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Ultracategories via Kan extensions of relative monads
by: Tarantino, Umberto, et al.
Published: (2025)
by: Tarantino, Umberto, et al.
Published: (2025)
Parametric Distributive Laws: uniform monad composition
by: Perticone, Lorenzo
Published: (2025)
by: Perticone, Lorenzo
Published: (2025)
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
by: Ko, Joanna
Published: (2026)
by: Ko, Joanna
Published: (2026)
What is the universal property of the 2-category of monads?
by: Lack, Stephen, et al.
Published: (2022)
by: Lack, Stephen, et al.
Published: (2022)
Bicategories of algebras for relative pseudomonads
by: Arkor, Nathanael, et al.
Published: (2025)
by: Arkor, Nathanael, et al.
Published: (2025)
Relative monadicity
by: Arkor, Nathanael, et al.
Published: (2023)
by: Arkor, Nathanael, et al.
Published: (2023)
A recognition criterion for lax-idempotent pseudomonads
by: Bourke, John
Published: (2025)
by: Bourke, John
Published: (2025)
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)
Generalization of formal monad theory to lax functors
by: Hirata, Kengo
Published: (2023)
by: Hirata, Kengo
Published: (2023)
The nerve theorem for relative monads
by: Arkor, Nathanael, et al.
Published: (2024)
by: Arkor, Nathanael, et al.
Published: (2024)
A Polynomial Construction of Nerves for Higher Categories
by: Shapiro, Brandon T., et al.
Published: (2024)
by: Shapiro, Brandon T., et al.
Published: (2024)
Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)
by: Hamad, Ali
Published: (2025)
Profunctorial algebras
by: Aristote, Quentin, et al.
Published: (2026)
by: Aristote, Quentin, et al.
Published: (2026)
Differential torsion theories on Eilenberg-Moore categories of monads
by: Ahuja, Divya, et al.
Published: (2024)
by: Ahuja, Divya, et al.
Published: (2024)
Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
by: Lucyshyn-Wright, Rory B. B., et al.
Published: (2023)
by: Lucyshyn-Wright, Rory B. B., et al.
Published: (2023)
An elementary definition of opetopic sets
by: Uemura, Taichi
Published: (2025)
by: Uemura, Taichi
Published: (2025)
Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences
by: Gambino, Nicola, et al.
Published: (2022)
by: Gambino, Nicola, et al.
Published: (2022)
Presentations of pseudodistributive laws
by: Walker, Charles
Published: (2021)
by: Walker, Charles
Published: (2021)
Comonadic approach to pretorsion theories
by: Caviglia, Elena, et al.
Published: (2026)
by: Caviglia, Elena, et al.
Published: (2026)
The formal theory of relative monads
by: Arkor, Nathanael, et al.
Published: (2023)
by: Arkor, Nathanael, et al.
Published: (2023)
Familial Monads as Higher Category Theories
by: Shapiro, Brandon
Published: (2021)
by: Shapiro, Brandon
Published: (2021)
Idempotence for relative monads
by: Arkor, Nathanael, et al.
Published: (2025)
by: Arkor, Nathanael, et al.
Published: (2025)
Characterizations of higher derivations and higher differential torsion theories in Eilenberg-Moore categories of monads
by: Paik, Dipti, et al.
Published: (2026)
by: Paik, Dipti, et al.
Published: (2026)
The algebraic internal groupoid model of Martin-Löf type theory
by: Hughes, Calum
Published: (2025)
by: Hughes, Calum
Published: (2025)
Towards enriched universal algebra
by: Rosický, Jiří, et al.
Published: (2023)
by: Rosický, Jiří, et al.
Published: (2023)
The Inductive Coherator For Grothendieck Infinity Groupoids
by: Taylor, Johnathon
Published: (2025)
by: Taylor, Johnathon
Published: (2025)
Lax structures in 2-category theory
by: Štěpán, Miloslav
Published: (2025)
by: Štěpán, Miloslav
Published: (2025)
A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)
by: Coraglia, Greta, et al.
Published: (2024)
Exponentiable Virtual Double Categories and Representability of Exponentials
by: Carlson, Kevin D., et al.
Published: (2026)
by: Carlson, Kevin D., et al.
Published: (2026)
The higher algebra and geometry of monoidal bicategories
by: Stenzel, Raffael
Published: (2026)
by: Stenzel, Raffael
Published: (2026)
Computads for generalised signatures
by: Markakis, Ioannis
Published: (2023)
by: Markakis, Ioannis
Published: (2023)
Double Orthogonal Factorization Systems
by: Aberlé, C. B., et al.
Published: (2025)
by: Aberlé, C. B., et al.
Published: (2025)
Derivations as Algebras
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2026)
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2026)
Symmetry shifting for monoidal bicategories
by: Stenzel, Raffael
Published: (2026)
by: Stenzel, Raffael
Published: (2026)
The powerset monad on quantale-valued sets
by: Shen, Lili, et al.
Published: (2023)
by: Shen, Lili, et al.
Published: (2023)
Kernels, lax algebras, décalage, and supercoherence
by: Markl, Martin, et al.
Published: (2026)
by: Markl, Martin, et al.
Published: (2026)
Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)
by: Di Liberti, Ivan, et al.
Published: (2025)
Lifting twisted coreflections against delta lenses
by: Clarke, Bryce
Published: (2024)
by: Clarke, Bryce
Published: (2024)
Generalized multicategories: change-of-base, embedding, and descent
by: Prezado, Rui, et al.
Published: (2023)
by: Prezado, Rui, et al.
Published: (2023)
Bicategorical Traces and Cotraces
by: Barhite, Justin
Published: (2023)
by: Barhite, Justin
Published: (2023)