Facebook Twitter Google Share on Facebook groupoid (redirected fromGroupoids) Encyclopedia groupoid (ˈɡruːpɔɪd) n (Mathematics)mathsan algebraic structure consisting of a set with a single binary operation acting on it Collins English Dictionary – Complete and Unabridged, 12th Edition...
A M Cegarra, B A Heredia, J Remedios, Double groupoids and homotopy 2-types, Appl. Categ. Structures 20 (2012) 323-378 MR2943635A.M. Cegarra, B.A. Heredia, & J. Remedios, "Double groupoids and homotopy 2- types", Applied Cat. Structures, to appear....
Groupoid Infinity CCHM Homotopy Library:https://anders.groupoid.space/lib/ Best suited for academic papers and fast type checking $ opam install anders Samples You can find some examples in thesharedirectory of the Anders package. defcomp-Path⁻¹ (A : U) (a b : A) (p : Path A ...
In mathematics, especially in category theory and homotopy theory, a groupoid (less often Brandt groupoid or virtual group) generalises the notion of group in several equivalent ways. A groupoid can be seen as a: 以上来源于:Wikipedia
We present a slight variation on a notion of weak ∞-groupoid introduced by Grothendieck in Pursuing Stacks and we study the homotopy theory of these ∞-groupoids. We prove that the obvious definition for homotopy groups of Grothendieck ∞-groupoids does not depend on any choice. This allows...
Journal of Pure and Applied Algebra, 217(7):1237-1278, 2013.On the homotopy theory of Grothendieck ∞-groupoids, J. Pure Appl. Algebra 217 (2013), no. 7, 1237-1278.Dimitri Ara. On the homotopy theory of grothendieck ∞-groupoids. Jour- nal of Pure and Applied Algebra, 217(7):...
Grothendieck proved that if $f:X\\longrightarrow Y$ is a proper morphism of nice schemes, then $Rf_*$ has a right adjoint, which is given as tensor product with the relative canonical bundle. The original proof was by patching local data. Deligne proved the existence of the adjoint by ...
Etale realization on the A¹-homotopy theory of schemes CiteSeerX - Document Details (Isaac Councill, Lee Giles): We compare Friedlander's definition of étale homotopy for simplicial schemes to another definit... DC Isaksen 被引量: 41发表: 2001年 MIXED QUASI-éTALE QUOTIENTS WITH ARBITRARY...
a model category structure reflecting a given projective class, and give examples that include equivariant homotopy theory and bounded below derived categories... JD Christensen,M Hovey - 《Mathematical Proceedings of the Cambridge Philosophical Society》 被引量: 115发表: 2002年 String-net condensation...
Bak to give a combinatorial approach to higher K-theory, in which control is kept of the elementary operations through paths and paths of paths. This paper is intended as an introduction to this circle of ideas, including the homotopy theory of global actions, which one obtains naturally from...