The formal theory of tangentads PART II
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | Lanfranchi, Marcello |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
The formal theory of tangentads PART I
von: Lanfranchi, Marcello
Veröffentlicht: (2025)
von: Lanfranchi, Marcello
Veröffentlicht: (2025)
Tangentads: a formal approach to tangent categories
von: Lanfranchi, Marcello
Veröffentlicht: (2025)
von: Lanfranchi, Marcello
Veröffentlicht: (2025)
The Rosický Tangent Categories of Algebras over an Operad
von: Ikonicoff, Sacha, et al.
Veröffentlicht: (2023)
von: Ikonicoff, Sacha, et al.
Veröffentlicht: (2023)
The Grothendieck construction in the context of tangent categories
von: Lanfranchi, Marcello
Veröffentlicht: (2023)
von: Lanfranchi, Marcello
Veröffentlicht: (2023)
Formal category theory in augmented virtual double categories
von: Koudenburg, Seerp Roald
Veröffentlicht: (2022)
von: Koudenburg, Seerp Roald
Veröffentlicht: (2022)
Presheaves and cocompletions in formal category theory
von: Arkor, Nathanael, et al.
Veröffentlicht: (2026)
von: Arkor, Nathanael, et al.
Veröffentlicht: (2026)
Virtual double categories of split two-sided 2-fibrations
von: Koudenburg, Seerp Roald
Veröffentlicht: (2026)
von: Koudenburg, Seerp Roald
Veröffentlicht: (2026)
KZ-pseudomonads and Kan Injectivity
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2022)
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2022)
The formal theory of relative monads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)
Products in double categories, revisited
von: Patterson, Evan
Veröffentlicht: (2024)
von: Patterson, Evan
Veröffentlicht: (2024)
The $(\infty,2)$-category of internal $(\infty,1)$-categories
von: Stenzel, Raffael
Veröffentlicht: (2024)
von: Stenzel, Raffael
Veröffentlicht: (2024)
Formal category theory in $\infty$-equipments II: Lax functors, monoidality and fibrations
von: Ruit, Jaco
Veröffentlicht: (2024)
von: Ruit, Jaco
Veröffentlicht: (2024)
Adjoint functor theorems for lax-idempotent pseudomonads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)
Relative monadicity
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)
Formal category theory in $\infty$-equipments I
von: Ruit, Jaco
Veröffentlicht: (2023)
von: Ruit, Jaco
Veröffentlicht: (2023)
Yoneda lemma and representation theorem for double categories
von: Fröhlich, Benedikt, et al.
Veröffentlicht: (2024)
von: Fröhlich, Benedikt, et al.
Veröffentlicht: (2024)
The nerve theorem for relative monads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2024)
von: Arkor, Nathanael, et al.
Veröffentlicht: (2024)
Colimits of internal categories
von: Hughes, Calum, et al.
Veröffentlicht: (2025)
von: Hughes, Calum, et al.
Veröffentlicht: (2025)
Logical Aspects of Virtual Double Categories
von: Nasu, Hayato
Veröffentlicht: (2025)
von: Nasu, Hayato
Veröffentlicht: (2025)
Generalization of formal monad theory to lax functors
von: Hirata, Kengo
Veröffentlicht: (2023)
von: Hirata, Kengo
Veröffentlicht: (2023)
A Polynomial Construction of Nerves for Higher Categories
von: Shapiro, Brandon T., et al.
Veröffentlicht: (2024)
von: Shapiro, Brandon T., et al.
Veröffentlicht: (2024)
Comonadic approach to pretorsion theories
von: Caviglia, Elena, et al.
Veröffentlicht: (2026)
von: Caviglia, Elena, et al.
Veröffentlicht: (2026)
Double categorical equivalences
von: Moser, Lyne, et al.
Veröffentlicht: (2025)
von: Moser, Lyne, et al.
Veröffentlicht: (2025)
Colimits in 2-dimensional slices
von: Mesiti, Luca
Veröffentlicht: (2023)
von: Mesiti, Luca
Veröffentlicht: (2023)
The familial nature of enrichment over virtual double categories
von: Fujii, Soichiro, et al.
Veröffentlicht: (2025)
von: Fujii, Soichiro, et al.
Veröffentlicht: (2025)
A classifying localic category for locally compact locales
von: Townsend, Christopher
Veröffentlicht: (2026)
von: Townsend, Christopher
Veröffentlicht: (2026)
An enriched small object argument over a cofibrantly generated base
von: Jurka, Jan
Veröffentlicht: (2024)
von: Jurka, Jan
Veröffentlicht: (2024)
Homotopical models for metric spaces and completeness
von: Dailey, Isaiah, et al.
Veröffentlicht: (2022)
von: Dailey, Isaiah, et al.
Veröffentlicht: (2022)
Involutive Weak Cubical $ω$-categories
von: Bejrakarbum, Paratat, et al.
Veröffentlicht: (2025)
von: Bejrakarbum, Paratat, et al.
Veröffentlicht: (2025)
A new approach to formal moduli problems
von: Grignou, Brice Le, et al.
Veröffentlicht: (2023)
von: Grignou, Brice Le, et al.
Veröffentlicht: (2023)
6-Functor Formalisms and Smooth Representations
von: Heyer, Claudius, et al.
Veröffentlicht: (2024)
von: Heyer, Claudius, et al.
Veröffentlicht: (2024)
2-classifiers via dense generators and Hofmann-Streicher universe in stacks
von: Mesiti, Luca
Veröffentlicht: (2024)
von: Mesiti, Luca
Veröffentlicht: (2024)
Monoidal bicategories, differential linear logic, and analytic functors
von: Fiore, M., et al.
Veröffentlicht: (2024)
von: Fiore, M., et al.
Veröffentlicht: (2024)
2-stacks over bisites
von: Caviglia, Elena
Veröffentlicht: (2024)
von: Caviglia, Elena
Veröffentlicht: (2024)
Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
von: Hu, Nick, et al.
Veröffentlicht: (2021)
von: Hu, Nick, et al.
Veröffentlicht: (2021)
Infinity-operadic foundations for embedding calculus
von: Krannich, Manuel, et al.
Veröffentlicht: (2024)
von: Krannich, Manuel, et al.
Veröffentlicht: (2024)
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
von: Ko, Joanna
Veröffentlicht: (2026)
von: Ko, Joanna
Veröffentlicht: (2026)
Lifting twisted coreflections against delta lenses
von: Clarke, Bryce
Veröffentlicht: (2024)
von: Clarke, Bryce
Veröffentlicht: (2024)
The oplax limit of an enriched category
von: Fujii, Soichiro, et al.
Veröffentlicht: (2022)
von: Fujii, Soichiro, et al.
Veröffentlicht: (2022)
The algebraic internal groupoid model of Martin-Löf type theory
von: Hughes, Calum
Veröffentlicht: (2025)
von: Hughes, Calum
Veröffentlicht: (2025)
Ähnliche Einträge
-
The formal theory of tangentads PART I
von: Lanfranchi, Marcello
Veröffentlicht: (2025) -
Tangentads: a formal approach to tangent categories
von: Lanfranchi, Marcello
Veröffentlicht: (2025) -
The Rosický Tangent Categories of Algebras over an Operad
von: Ikonicoff, Sacha, et al.
Veröffentlicht: (2023) -
The Grothendieck construction in the context of tangent categories
von: Lanfranchi, Marcello
Veröffentlicht: (2023) -
Formal category theory in augmented virtual double categories
von: Koudenburg, Seerp Roald
Veröffentlicht: (2022)