Showing 1–7 of 7 results for author: Nguyen, H K

The universal coCartesian fibration

Authors: Denis-Charles Cisinski, Hoang Kim Nguyen

Abstract: We give a new proof of the straightening/unstraightening correspondence by proving a generalization of the univalence property of the universal coCartesian fibration. We give a new proof of the straightening/unstraightening correspondence by proving a generalization of the univalence property of the universal coCartesian fibration. △ Less

Submitted 17 October, 2022; originally announced October 2022.

Comments: 38 pages

A note on coCartesian fibrations

Authors: Hoang Kim Nguyen

Abstract: We prove properness of (co)Cartesian fibrations as well as a straightening and unstraightening equivalence, which is compatible with cartesian products, when the base is the nerve of a small category. We prove properness of (co)Cartesian fibrations as well as a straightening and unstraightening equivalence, which is compatible with cartesian products, when the base is the nerve of a small category. △ Less

Submitted 14 October, 2022; originally announced October 2022.

Comments: 20 pages

$\infty$-type theories

Authors: Hoang Kim Nguyen, Taichi Uemura

Abstract: We introduce $\infty$-type theories as an $\infty$-categorical generalization of the categorical definition of type theories introduced by the second named author. We establish analogous results to the previous work including the construction of initial models of $\infty$-type theories, the construction of internal languages of models of $\infty$-type theories, and the theory-model correspondence… ▽ More We introduce $\infty$-type theories as an $\infty$-categorical generalization of the categorical definition of type theories introduced by the second named author. We establish analogous results to the previous work including the construction of initial models of $\infty$-type theories, the construction of internal languages of models of $\infty$-type theories, and the theory-model correspondence for $\infty$-type theories. Some structured $(\infty,1)$-categories are naturally regarded as models of some $\infty$-type theories. Thus, since every (1-categorical) type theory is in particular an $\infty$-type theory, $\infty$-type theories provide a unified framework for connections between type theories and $(\infty,1)$-categorical structures. As an application we prove Kapulkin and Lumsdaine's conjecture that the dependent type theory with intensional identity types gives internal languages for $(\infty,1)$-categories with finite limits. △ Less

Submitted 2 May, 2022; originally announced May 2022.

MSC Class: 18N60 (Primary) 03B38 (Secondary)

Higher weak (co)limits, adjoint functor theorems, and higher Brown representability

Authors: Hoang Kim Nguyen, George Raptis, Christoph Schrade

Abstract: We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $\infty$-categories, so these $n$-categories do not admit all small (co)limits in general. We also introduce Brown representability for (homotopy) $n$-categories and prove a Brown representability theorem for localizations of compactly… ▽ More We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $\infty$-categories, so these $n$-categories do not admit all small (co)limits in general. We also introduce Brown representability for (homotopy) $n$-categories and prove a Brown representability theorem for localizations of compactly generated $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of presentable $\infty$-categories if $n \geq 2$, and the homotopy $n$-categories of presentable stable $\infty$-categories for any $n \geq 1$. △ Less

Submitted 2 August, 2022; v1 submitted 10 March, 2021; originally announced March 2021.

Comments: n-GAFT is shown also for n=2; corrected some errors around the proof of Lemma 3.2.9 (Criterion B) and the corresponding examples; other minor improvements in the exposition and some more details. To appear in Documenta Mathematica

Covariant & Contravariant Homotopy Theories

Authors: Hoang Kim Nguyen

Abstract: Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on simplicial sets as well as the coCartesian and Cartesian model structures on marked simplicial sets are examples of our formalism. In this setting, notions of… ▽ More Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on simplicial sets as well as the coCartesian and Cartesian model structures on marked simplicial sets are examples of our formalism. In this setting, notions of final and initial maps and smooth and proper maps arise very naturally and we will identify these maps in the examples. △ Less

Submitted 19 August, 2019; originally announced August 2019.

Comments: 29 pages

Adjoint functor theorems for $\infty$-categories

Authors: Hoang Kim Nguyen, George Raptis, Christoph Schrade

Abstract: Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper we prove general adjoint functor theorems for functors between $\infty$-categories. One of our main results is an $\infty$-categorical generalization of Freyd's classical General Adjoint Functor Theorem. As an application of this result, we recover Lurie's adjoint functor theorems for… ▽ More Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper we prove general adjoint functor theorems for functors between $\infty$-categories. One of our main results is an $\infty$-categorical generalization of Freyd's classical General Adjoint Functor Theorem. As an application of this result, we recover Lurie's adjoint functor theorems for presentable $\infty$-categories. We also discuss the comparison between adjunctions of $\infty$-categories and homotopy adjunctions, and give a treatment of Brown representability for $\infty$-categories based on Heller's purely categorical formulation of the classical Brown representability theorem. △ Less

Submitted 21 August, 2019; v1 submitted 5 March, 2018; originally announced March 2018.

Comments: v1: 21 pages; v2: updated the references, minor changes; v3: 22 pages, changed the terminology from "final" to "coinitial" functors, added three further Corollaries 4.1.5, 5.1.4 and 5.1.5, additional minor changes, accepted for publication in the Journal of the London Mathematical Society

On the infinite loop space structure of the cobordism category

Authors: Hoang Kim Nguyen

Abstract: We show an equivalence of infinite loop spaces between the classify- ing space of the cobordism category, with infinite loop space structure induced by taking disjoint union of manifolds, and the infinite loop space associated to the Madsen-Tillmann spectrum. We show an equivalence of infinite loop spaces between the classify- ing space of the cobordism category, with infinite loop space structure induced by taking disjoint union of manifolds, and the infinite loop space associated to the Madsen-Tillmann spectrum. △ Less

Submitted 21 December, 2015; v1 submitted 13 May, 2015; originally announced May 2015.

Comments: 14 pages, 1 figure, rewritten introduction and corrected some errors in section 5

Journal ref: Algebr. Geom. Topol. 17 (2017) 1021-1040