Saved in:
| Main Author: | Schwarz, Florian |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2512.21147 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On duality and model theory for polyadic spaces
by: van Gool, Sam, et al.
Published: (2022)
by: van Gool, Sam, et al.
Published: (2022)
Adjoint functor theorems for lax-idempotent pseudomonads
by: Arkor, Nathanael, et al.
Published: (2023)
by: Arkor, Nathanael, et al.
Published: (2023)
An Internal Logic of Virtual Double Categories
by: Nasu, Hayato
Published: (2024)
by: Nasu, Hayato
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)
Pseudolimits for Tangent Categories with Applications to Equivariant Algebraic and Differential Geometry
by: Pronk, Dorette, et al.
Published: (2023)
by: Pronk, Dorette, et al.
Published: (2023)
Relative monadicity
by: Arkor, Nathanael, et al.
Published: (2023)
by: Arkor, Nathanael, et al.
Published: (2023)
Presheaves on lax double functors; or, Instances of models of double theories
by: Carlson, Kevin, et al.
Published: (2025)
by: Carlson, Kevin, et al.
Published: (2025)
On abstract and concrete minions
by: Juhrich, Lukas
Published: (2025)
by: Juhrich, Lukas
Published: (2025)
The nerve theorem for relative monads
by: Arkor, Nathanael, et al.
Published: (2024)
by: Arkor, Nathanael, et al.
Published: (2024)
Double Orthogonal Factorization Systems
by: Aberlé, C. B., et al.
Published: (2025)
by: Aberlé, C. B., et al.
Published: (2025)
The familial nature of enrichment over virtual double categories
by: Fujii, Soichiro, et al.
Published: (2025)
by: Fujii, Soichiro, et al.
Published: (2025)
Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
by: Quigley, Daniel
Published: (2024)
by: Quigley, Daniel
Published: (2024)
Notes on some categories related to that of finite totally ordered sets
by: Matsuoka, Takuo
Published: (2025)
by: Matsuoka, Takuo
Published: (2025)
On the computation of the vanishing locus of a finitely presented functor
by: Posur, Sebastian
Published: (2025)
by: Posur, Sebastian
Published: (2025)
Some Properties of Internal Locale Morphisms Externalised
by: Wrigley, Joshua
Published: (2023)
by: Wrigley, Joshua
Published: (2023)
Measure theory via Locales
by: Lehner, Georg
Published: (2025)
by: Lehner, Georg
Published: (2025)
Exponentiable functors between synthetic $\infty$-categories
by: Bardomiano-Martínez, César
Published: (2024)
by: Bardomiano-Martínez, César
Published: (2024)
Categories graded by group homomorphisms
by: Davies, Jonathan
Published: (2026)
by: Davies, Jonathan
Published: (2026)
A Polynomial Construction of Nerves for Higher Categories
by: Shapiro, Brandon T., et al.
Published: (2024)
by: Shapiro, Brandon T., et al.
Published: (2024)
Gabriel-Ulmer duality for topoi and its relation with site presentations
by: Di Liberti, Ivan, et al.
Published: (2019)
by: Di Liberti, Ivan, et al.
Published: (2019)
Representable triangulated functors in terms of semiorthogonal decompositions
by: Frank, Jonas, et al.
Published: (2025)
by: Frank, Jonas, et al.
Published: (2025)
Constructing a fully homomorphic encryption scheme with the Yoneda Lemma
by: Tuyéras, Rémy
Published: (2024)
by: Tuyéras, Rémy
Published: (2024)
Type Theory for the Working Mathematical Music Theorist
by: Flieder, Drew
Published: (2025)
by: Flieder, Drew
Published: (2025)
Logical Aspects of Virtual Double Categories
by: Nasu, Hayato
Published: (2025)
by: Nasu, Hayato
Published: (2025)
From coextensive varieties to the Gaeta topos
by: Zuluaga, William
Published: (2022)
by: Zuluaga, William
Published: (2022)
Products in double categories, revisited
by: Patterson, Evan
Published: (2024)
by: Patterson, Evan
Published: (2024)
Measuring data types
by: Mulder, Lukas, et al.
Published: (2024)
by: Mulder, Lukas, et al.
Published: (2024)
Universality of span 2-categories and the construction of 6-functor formalisms
by: Cnossen, Bastiaan, et al.
Published: (2025)
by: Cnossen, Bastiaan, et al.
Published: (2025)
Universal pseudomorphisms, with applications to diagrammatic coherence for braided and symmetric monoidal functors
by: Gurski, Nick, et al.
Published: (2023)
by: Gurski, Nick, et al.
Published: (2023)
The formal theory of relative monads
by: Arkor, Nathanael, et al.
Published: (2023)
by: Arkor, Nathanael, et al.
Published: (2023)
A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)
by: Coraglia, Greta, et al.
Published: (2024)
Colimits of internal categories
by: Hughes, Calum, et al.
Published: (2025)
by: Hughes, Calum, et al.
Published: (2025)
Tangentads: a formal approach to tangent categories
by: Lanfranchi, Marcello
Published: (2025)
by: Lanfranchi, Marcello
Published: (2025)
On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)
by: Wrigley, Joshua
Published: (2025)
Combinatorics in (2,1)-categories
by: Zehr, Krista
Published: (2025)
by: Zehr, Krista
Published: (2025)
Sketches and Classifying Logoi
by: Di Liberti, Ivan, et al.
Published: (2024)
by: Di Liberti, Ivan, et al.
Published: (2024)
On effective descent $\mathcal V$-functors and familial descent morphisms
by: Prezado, Rui
Published: (2023)
by: Prezado, Rui
Published: (2023)
Locally finitely presented Grothendieck categories and the pure semisimplicity conjecture
by: Fazelpour, Ziba, et al.
Published: (2024)
by: Fazelpour, Ziba, et al.
Published: (2024)
Day algebras
by: Robinson, Edmund, et al.
Published: (2025)
by: Robinson, Edmund, et al.
Published: (2025)
Module-theoretic approach to dualizable Grothendieck categories
by: Kanda, Ryo
Published: (2024)
by: Kanda, Ryo
Published: (2024)
Similar Items
-
On duality and model theory for polyadic spaces
by: van Gool, Sam, et al.
Published: (2022) -
Adjoint functor theorems for lax-idempotent pseudomonads
by: Arkor, Nathanael, et al.
Published: (2023) -
An Internal Logic of Virtual Double Categories
by: Nasu, Hayato
Published: (2024) -
Exponentiable Virtual Double Categories and Representability of Exponentials
by: Carlson, Kevin D., et al.
Published: (2026) -
Pseudolimits for Tangent Categories with Applications to Equivariant Algebraic and Differential Geometry
by: Pronk, Dorette, et al.
Published: (2023)