Cover Image

The formal theory of tangentads PART I

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Lanfranchi, Marcello
Format:	Preprint
Published:	2025
Subjects:	Category Theory 18F40, 18D70, 18N10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The formal theory of tangentads PART II
by: Lanfranchi, Marcello
Published: (2026)

Tangentads: a formal approach to tangent categories
by: Lanfranchi, Marcello
Published: (2025)

The Rosický Tangent Categories of Algebras over an Operad
by: Ikonicoff, Sacha, et al.
Published: (2023)

The Grothendieck construction in the context of tangent categories
by: Lanfranchi, Marcello
Published: (2023)

Formal category theory in augmented virtual double categories
by: Koudenburg, Seerp Roald
Published: (2022)

Presheaves and cocompletions in formal category theory
by: Arkor, Nathanael, et al.
Published: (2026)

Virtual double categories of split two-sided 2-fibrations
by: Koudenburg, Seerp Roald
Published: (2026)

KZ-pseudomonads and Kan Injectivity
by: Di Liberti, Ivan, et al.
Published: (2022)

The formal theory of relative monads
by: Arkor, Nathanael, et al.
Published: (2023)

Products in double categories, revisited
by: Patterson, Evan
Published: (2024)

The $(\infty,2)$-category of internal $(\infty,1)$-categories
by: Stenzel, Raffael
Published: (2024)

Formal category theory in $\infty$-equipments I
by: Ruit, Jaco
Published: (2023)

Adjoint functor theorems for lax-idempotent pseudomonads
by: Arkor, Nathanael, et al.
Published: (2023)

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

Yoneda lemma and representation theorem for double categories
by: Fröhlich, Benedikt, et al.
Published: (2024)

Formal category theory in $\infty$-equipments II: Lax functors, monoidality and fibrations
by: Ruit, Jaco
Published: (2024)

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

Colimits of internal categories
by: Hughes, Calum, et al.
Published: (2025)

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

Generalization of formal monad theory to lax functors
by: Hirata, Kengo
Published: (2023)

A Polynomial Construction of Nerves for Higher Categories
by: Shapiro, Brandon T., et al.
Published: (2024)

Comonadic approach to pretorsion theories
by: Caviglia, Elena, et al.
Published: (2026)

Double categorical equivalences
by: Moser, Lyne, et al.
Published: (2025)

Colimits in 2-dimensional slices
by: Mesiti, Luca
Published: (2023)

The familial nature of enrichment over virtual double categories
by: Fujii, Soichiro, et al.
Published: (2025)

A classifying localic category for locally compact locales
by: Townsend, Christopher
Published: (2026)

An enriched small object argument over a cofibrantly generated base
by: Jurka, Jan
Published: (2024)

Homotopical models for metric spaces and completeness
by: Dailey, Isaiah, et al.
Published: (2022)

Involutive Weak Cubical $ω$-categories
by: Bejrakarbum, Paratat, et al.
Published: (2025)

A new approach to formal moduli problems
by: Grignou, Brice Le, et al.
Published: (2023)

6-Functor Formalisms and Smooth Representations
by: Heyer, Claudius, et al.
Published: (2024)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
by: Mesiti, Luca
Published: (2024)

Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)

2-stacks over bisites
by: Caviglia, Elena
Published: (2024)

Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
by: Hu, Nick, et al.
Published: (2021)

Infinity-operadic foundations for embedding calculus
by: Krannich, Manuel, et al.
Published: (2024)

Lifting twisted coreflections against delta lenses
by: Clarke, Bryce
Published: (2024)

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

The oplax limit of an enriched category
by: Fujii, Soichiro, et al.
Published: (2022)

The algebraic internal groupoid model of Martin-Löf type theory
by: Hughes, Calum
Published: (2025)