Results 301 to 310 of about 9,831,323 (353)
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
2020
This chapter aims to introduce sufficient category theory to enable a formal understanding of the rest of the book. It first introduces the fundamental notion of a category. It then introduces functors, which are maps between categories. Next it introduces natural transformations, which are natural ways of mapping between functors.
Ash Asudeh, Gianluca Giorgolo
openaire +2 more sources
This chapter aims to introduce sufficient category theory to enable a formal understanding of the rest of the book. It first introduces the fundamental notion of a category. It then introduces functors, which are maps between categories. Next it introduces natural transformations, which are natural ways of mapping between functors.
Ash Asudeh, Gianluca Giorgolo
openaire +2 more sources
Instanton density operator in lattice QCD from higher category theory
SciPost PhysicsA natural definition for instanton density operator in lattice QCD has long been desired. We show this problem is, and has to be, solved by higher category theory. The problem is solved by refining at a conceptual level the Yang-Mills theory on lattice,
Jing-Yuan Chen
semanticscholar +1 more source
Category Theory and Theory of Evolution
Lobachevskii Journal of Mathematics, 2023zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Experience Implementing a Performant Category-Theory Library in Coq
International Conference on Interactive Theorem Proving, 2014We describe our experience implementing a broad category-theory library in Coq. Category theory and computational performance are not usually mentioned in the same breath, but we have needed substantial engineering effort to teach Coq to cope with large ...
Jason Gross +2 more
semanticscholar +1 more source