Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[ספר][B] Category theory in context
E Riehl - 2017 - books.google.com
" The book is extremely pleasant to read, with masterfully crafted exercises and examples
that create a beautiful and unique thread of presentation leading the reader safely into the …
that create a beautiful and unique thread of presentation leading the reader safely into the …
[ספר][B] Higher categories and homotopical algebra
DC Cisinski - 2019 - books.google.com
This book provides an introduction to modern homotopy theory through the lens of higher
categories after Joyal and Lurie, giving access to methods used at the forefront of research …
categories after Joyal and Lurie, giving access to methods used at the forefront of research …
[ספר][B] Elements of?-Category Theory
The language of∞-categories provides an insightful new way of expressing many results in
higher-dimensional mathematics but can be challenging for the uninitiated. To explain what …
higher-dimensional mathematics but can be challenging for the uninitiated. To explain what …
M/F-theory as -theory
In the quest for mathematical foundations of M-theory, the Hypothesis H that fluxes are
quantized in Cohomotopy theory, implies, on flat but possibly singular spacetimes, that M …
quantized in Cohomotopy theory, implies, on flat but possibly singular spacetimes, that M …
All -toposes have strict univalent universes
We prove the conjecture that any Grothendieck $(\infty, 1) $-topos can be presented by a
Quillen model category that interprets homotopy type theory with strict univalent universes …
Quillen model category that interprets homotopy type theory with strict univalent universes …
A unified view on the functorial nerve theorem and its variations
The nerve theorem is a basic result of algebraic topology that plays a central role in
computational and applied aspects of the subject. In topological data analysis, one often …
computational and applied aspects of the subject. In topological data analysis, one often …
[HTML][HTML] Nilpotence and descent in equivariant stable homotopy theory
Let G be a finite group and let F be a family of subgroups of G. We introduce a class of G-
equivariant spectra that we call F-nilpotent. This definition fits into the general theory of …
equivariant spectra that we call F-nilpotent. This definition fits into the general theory of …
Multimodal dependent type theory
We introduce MTT, a dependent type theory which supports multiple modalities. MTT is
parametrized by a mode theory which specifies a collection of modes, modalities, and …
parametrized by a mode theory which specifies a collection of modes, modalities, and …
FI-modules over Noetherian rings
FI-modules were introduced by the first three authors to encode sequences of
representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI …
representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI …
Algebraic stability of zigzag persistence modules
The stability theorem for persistent homology is a central result in topological data analysis.
While the original formulation of the result concerns the persistence barcodes of ℝ–valued …
While the original formulation of the result concerns the persistence barcodes of ℝ–valued …