Results 61 to 70 of about 841,269 (110)
Hilbertian Toposes Epsilon Toposes [PDF]
We study Hilbert's epsilon calculus and Hilbert's partial epsilon calculus in toposes.
arxiv
The general theory of Grothendieck categories is presented. We systemize the principle methods and results of the theory, showing how these results can be used for studying rings and modules.
arxiv
A Survey of Definitions of n-Category
Many people have proposed definitions of `weak n-category'. Ten of them are presented here. Each definition is given in two pages, with a further two pages on what happens when n = 0, 1, or 2. The definitions can be read independently.
Leinster, Tom
core
Thick subcategories of finite algebraic triangulated categories [PDF]
We classify the thick subcategories of an algebraic triangulated standard category with finitely many indecomposable objects.
arxiv
Spectra of small abelian categories [PDF]
We investigate the Ziegler and Zariski topologies on the lattice of Serre subcategories of a small abelian category.
arxiv
Idempotent completion of n-angulated categories [PDF]
We show that the idempotent completion of an n-angulated category admits a unique n-angulated structure such that the inclusion is an n-angulated functor, which satisfies a universal property.
arxiv
Homotopical presentation of categories [PDF]
We give a criterion for a functor \(F:C\rightarrow B\) between small categories to generate a small presentation of the universal model category \(U(B)\) in the sense of Dugger.
arxiv
Some of the next articles are maybe not open access.
BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
Elements of ∞-Category Theory, 2022Although numerous contributions from divers authors, over the past fifteen years or so, have brought enriched category theory to a developed state, there is still no connected account of the theory, or even of a substantial part of it.
G. M. Kelly+13 more
semanticscholar +1 more source
Synthetic fibered (∞, 1)-category theory
Higher Structures, 2023We study cocartesian fibrations in the setting of the synthetic (∞, 1)-category theory developed in simplicial type theory introduced by Riehl and Shulman. Our development culminates in a Yoneda Lemma for cocartesian fibrations.
U. Buchholtz, J. Weinberger
semanticscholar +1 more source
, 2022
The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated.
E. Riehl, Dominic R. Verity
semanticscholar +1 more source
The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated.
E. Riehl, Dominic R. Verity
semanticscholar +1 more source