Image de couverture de livre

Tininess and right adjoints to exponentials

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hernández, Enrique Ruiz, Solórzano, Pedro
Format:	Preprint
Publié:	2026
Sujets:	Category Theory Primary 18B25, Secondary 03G30, 03B38
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Connectedness through decidable quotients
par: Hernández, Enrique Ruiz, et autres
Publié: (2023)

On logical parameterizations and functional representability in local set theories
par: Hernández, Enrique Ruiz, et autres
Publié: (2021)

Stratified Toposes
par: Zwanziger, Colin
Publié: (2024)

The Natural Display Topos of Coalgebras
par: Zwanziger, Colin
Publié: (2024)

On the theories classified by an étendue
par: Wrigley, Joshua
Publié: (2025)

Atomic Toposes with Co-Well-Founded Categories of Atoms
par: Marquès, Jérémie
Publié: (2024)

Internal 1-topoi in 2-topoi
par: Helfer, Joseph
Publié: (2024)

Topoi with enough points and topological groupoids
par: Wrigley, Joshua
Publié: (2024)

A $j$-translation with Kripke forcing relation
par: Nakata, Satoshi
Publié: (2026)

A category of arrow algebras for modified realizability
par: Tarantino, Umberto
Publié: (2024)

Freely adding one layer of quantifiers to a Boolean doctrine
par: Abbadini, Marco, et autres
Publié: (2024)

Kripke-Joyal forcing for type theory and uniform fibrations
par: Awodey, S., et autres
Publié: (2021)

Arrow algebras
par: Berg, Benno van den, et autres
Publié: (2023)

A topos for extended Weihrauch degrees
par: Maschio, Samuele, et autres
Publié: (2025)

On topological groupoids that represent theories
par: Wrigley, Joshua
Publié: (2023)

Bi-directional models of `radically synthetic' differential geometry
par: Menni, Matías
Publié: (2024)

Existentially closed models and locally zero-dimensional toposes
par: Kamsma, Mark, et autres
Publié: (2024)

Existential completions and Herbrand's theorem
par: Wrigley, Joshua L.
Publié: (2025)

Craig Interpolation for Subgeometric Logics
par: Di Liberti, Ivan, et autres
Publié: (2026)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
par: Inoué, Takao
Publié: (2026)

Non-Standard Models of Homotopy Type Theory
par: Rasekh, Nima
Publié: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
par: Rasekh, Nima
Publié: (2025)

Quantifier-free formulas and quantifier alternation depth in doctrines
par: Abbadini, Marco, et autres
Publié: (2024)

The elementary theory of the 2-category of small categories
par: Hughes, Calum, et autres
Publié: (2024)

Type Theory for the Working Mathematical Music Theorist
par: Flieder, Drew
Publié: (2025)

A Categorical Generalization of Counterpoint
par: Agustín-Aquino, Octavio A., et autres
Publié: (2018)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
par: Frey, Jonas
Publié: (2023)

Sites and Grothendieck toposes: an introduction
par: Caramello, Olivia, et autres
Publié: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
par: Caramello, Olivia, et autres
Publié: (2025)

Non-singular maps in toposes with a local state classifier
par: Menni, Matí as
Publié: (2025)

On the Existence and Disjunction Properties in Structural Set Theory
par: Saving, Mark
Publié: (2023)

A Completeness Theorem for Topological Doctrines
par: Ghilardi, Silvio, et autres
Publié: (2025)

Non-accessible localizations
par: Christensen, J. Daniel
Publié: (2021)

Biased elementary doctrines and quotient completions
par: Cioffo, Cipriano Junior
Publié: (2023)

Exponentiable functors between synthetic $\infty$-categories
par: Bardomiano-Martínez, César
Publié: (2024)

On a fibrational construction for optics, lenses, and Dialectica categories
par: Capucci, Matteo, et autres
Publié: (2024)

The List Object Endofunctor is Polynomial
par: Desrochers, Samuel
Publié: (2025)

Ultracategories via Kan extensions of relative monads
par: Tarantino, Umberto, et autres
Publié: (2025)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
par: Spadetto, Matteo
Publié: (2025)

The étendue of a combinatorial space and its dimension
par: Menni, Matí as
Publié: (2024)