Cover Image

Codensity: Isbell duality, pro-objects, compactness and accessibility

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Di Liberti, Ivan
Format:	Preprint
Published:	2019
Subjects:	Category Theory General Topology Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reflecting compact $T_1$-spaces into bounded distributive lattices
by: Gehrke, Mai, et al.
Published: (2024)

Overlap Algebras as Almost Discrete Locales
by: Ciraulo, Francesco
Published: (2016)

Weak saturation and weak amalgamation property
by: Di Liberti, Ivan
Published: (2017)

Formal Model Theory & Higher Topology
by: Di Liberti, Ivan
Published: (2020)

Duality for coalgebras for Vietoris and monadicity
by: Abbadini, Marco, et al.
Published: (2023)

Context, Judgement, Deduction
by: Coraglia, Greta, et al.
Published: (2021)

Homotopical algebra is not concrete
by: Loregian, Fosco, et al.
Published: (2017)

Modal Fracture of Higher Groups
by: Myers, David Jaz
Published: (2021)

Higher presentable categories and limits
by: Aoki, Ko
Published: (2025)

Choice axioms and Postnikov completeness
by: Anel, Mathieu, et al.
Published: (2024)

Basic Category Theory
by: Leinster, Tom
Published: (2016)

Interpreting type theory in a quasicategory: a Yoneda approach
by: Cherradi, El Mehdi
Published: (2022)

Elementary $\infty$-toposes from type theory
by: Apol, Daniël, et al.
Published: (2025)

Higher geometric sheaf theories
by: Stenzel, Raffael
Published: (2022)

$2$-dimensional Lawvere theories: commutativity and lax phenomena
by: Perutka, Tomáš
Published: (2026)

Internal languages of locally cartesian closed $(\infty,1)$-categories
by: Cherradi, El Mehdi
Published: (2025)

Non-trivial higher homotopy of first-order theories
by: Campion, Tim, et al.
Published: (2023)

Path Types in Algebraic Type Theory
by: Awodey, Steve, et al.
Published: (2026)

Composing Codensity Bisimulations
by: Kori, Mayuko, et al.
Published: (2024)

Euclidean interval objects in categories with finite products
by: Escardo, Martin, et al.
Published: (2025)

Manifold Diagrams for Higher Categories
by: Heidemann, Lukas
Published: (2024)

Epimorphisms and Acyclic Types in Univalent Foundations
by: Buchholtz, Ulrik, et al.
Published: (2024)

On the axiomatisability of the dual of compact ordered spaces
by: Abbadini, Marco
Published: (2025)

Exact categories of topological vector spaces with linear topology
by: Positselski, Leonid
Published: (2020)

The lattice of smooth sublocales as a Bruns-Lakser completion
by: Arrieta, Igor, et al.
Published: (2026)

The characterization for the sobriety of $L$-convex spaces
by: Wu, Guojun, et al.
Published: (2024)

Ordered Locales
by: Heunen, Chris, et al.
Published: (2023)

The reflectivity of some categories of T0 spaces in domain theory
by: Shen, Chong, et al.
Published: (2021)

Canonical extensions via fitted sublocales
by: Jakl, Tomáš, et al.
Published: (2024)

The Quillen negation monoid of a category, and Schreier graphs of its action on classes of morphisms
by: Gavrilovich, Misha, et al.
Published: (2024)

Sober $L$-convex spaces and $L$-join-semilattices
by: Wu, Guojun, et al.
Published: (2024)

Bi-accessible and bipresentable 2-categories
by: Di Liberti, Ivan, et al.
Published: (2022)

Pointfree topology and constructive mathematics
by: Manuell, Graham
Published: (2023)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
by: Abbadini, Marco, et al.
Published: (2022)

Presentation of finite Reedy categories as localizations of finite direct categories
by: Sato, Genki
Published: (2025)

Computably locally compact groups and their closed subgroups
by: Melnikov, Alexander G., et al.
Published: (2024)

Hereditarily indecomposable continua as generic mathematical structures
by: Bartoš, Adam, et al.
Published: (2022)

Classifying Infinity Topoi via Weighted Limits
by: Di Liberti, Ivan, et al.
Published: (2025)

Positselski duality in $\infty$-categories
by: Aambø, Torgeir
Published: (2024)

Koszul duality for operadic categories
by: Batanin, Michael, et al.
Published: (2021)