RSA/Intuitive: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Yobot
m Intuitive Proof: clean up / fixed sortkey (checkwiki error #37 and #6) using AWB (8873)
en>Yobot
m Tagging using AWB (10703)
 
Line 1: Line 1:
In [[mathematics]], especially in [[higher-dimensional algebra]] and [[homotopy theory]], a '''double groupoid'''  generalises the notion of [[groupoid]] and of [[category (mathematics)|category]] to a higher dimension.
Did you know that Bravo's Top Chef had official flatware? But at times it's critical to study your own personal heritage in order to learn your inner chef. Celebrated San Francisco chef Gary Danko told me that, "the ideal tool can save you a lot of time." That's undeniably true, especially whencomes to the most simple approaches: chopping, sautéing, flipping one thing more than in the pan. Sharpen your knife the way that Susan Feniger taught me then steel your knife like Sara Moulton.<br><br><br><br>Older youngsters are nonetheless need to have to be deemed when dealing with a knife and stove. When it comes to chopping and dicing of certain vegetables, the Henckels Santoku knife is the great tool. The design permits the knife to have a beveled or hollow ground and very sharp edges, all of which increases the cutting ability.  A word of caution need to be heeded when it comes to cleaning the knife.<br><br>It is like a mix involving a cleaver and a chef's knife and its efficiency is major of the  Best Knife Set Chef line. The Classic Santoku Knife has a 7" blade and it is accessible in two different types. The knife has a really good blade that is a result of VG-10 super steel as the core. The knife also has a D-shaped hold, that is produced with the highest high-quality solutions. To see how the knife performs, check out the video below.<br><br>The entire set is created in Solinge, Germany which is also given the nick name of the Cutlery Capital of The Globe. A single user stated that she has been using this specific set for more than a couple of years now and is delighted with the quality of construction and sharpness the knives retain. This is definitely an excellent set of knives for individuals who love cooking. As if you are not drooling but, Chef Kurtis Habecker responded boldly in signature original style. Good and basic, this knife looked incredible.<br><br>My buddy has the very same knife and he utilized an oil stone and gave his steel a nice shine.  Most chefs (Rolly incorporated) will insist on an 8-ten" chef's knife blade. Whichever you pick out, you are going to obtain that this is your "go to" knife for most kitchen chores. The most important point to remember about kitchen knives is that a dull knife is an unsafe knife!  Jeff sharpens his personal knife with various water stones.<br><br>With items as sophisticated as sushi only the greatest knives can do which is what the Masamoto Sushi Knife provides.   If you loved this article and you also would like to get more info relating to [http://www.thebestkitchenknivesreviews.com/best-chef-knives-reviews/ Chef Knives Reviews] generously visit our web page. This Masamoto Knife has a blade clad in Hitachi blue steel which is sandwiched amongst two sides of stain resistant soft iron. The looks radiated by the magnolia wood handle as effectively as its water buffalo bolster tends to make this Masamoto Sushi Knife as stunning as it is beneficial.  For some cause this knife is currently unavailable on Amazon.<br><br>Initially of all it can get quite sharp, but that is about the only point it has going for it. Sharpening it is something that has to be performed by a specialist, it really is also substantially extra fragile than a steel knifeUse disposable products like aprons, paper chef hats, hair nets, to-go containers, paper napkins, coffee stirs and straws, and a lot more for providing buyers with carry out products or catering service.<br><br>This assures you that you will not have to be concerned about bluntness and broken knives following paying hundreds of dollars for a qualified chef knife set. Even though there is absolutely nothing in the planet that can very examine to cooking with the finest and freshest of ingredients, these issues can only be enhanced by generating use of the fantastic tools for the job at hand. Some cooks like to hone a chef knife prior to each and every use to hold the blade sharp.<br><br>The size of this knife is typically in between eight-ten inches and has an immense blade that is responsible for the mincing, chopping, crushing, slicing, and carving. The blade of a paring knife is about three-4 inches, so it is far smaller sized than a chefs knifeA [http://Imageshack.us/photos/paring+knife paring knife] is made for tasks that require precision, such as peeling, since a chefs knife's blade isn't little enough. The cook's knife is the utilitarian workhorse of the kitchen.
 
== Definition ==
A '''double groupoid''' '''D''' is a higher-dimensional [[groupoid]] involving a relationship for both `horizontal' and `vertical' groupoid structures.<ref>Brown, Ronald and C.B. Spencer: "Double groupoids and crossed modules", ''Cahiers Top. Geom. Diff.''. '''17''' (1976), 343&ndash;362</ref> (A double groupoid can also be considered as a generalization of certain higher-dimensional groups.<ref>Brown, Ronald, [http://www.bangor.ac.uk/r.brown/hdaweb2.htm Higher-dimensional group theory] explains how the groupoid concept has led to higher-dimensional homotopy groupoids, having applications in [[homotopy theory]] and in group [[cohomology]]</ref>) The geometry of squares and their [[Function composition|composition]]s leads to a common representation of a ''double groupoid'' in the following [[Diagram (category theory)|diagram]]:
 
[[Image:Dgpd8fdp02.jpg|Double groupoid diagram]]
 
where '''M''' is a set of `points', '''H''' and '''V''' are, respectively, `horizontal' and `vertical' groupoids, and '''S''' is a set of `squares' with two compositions. The [[Function composition|composition laws]] for a double groupoid '''D''' make it also describable as a groupoid internal to the [[Groupoid|category of groupoids]].
 
Given two groupoids '''H''' and '''V''' over a set '''M''', there is a double groupoid <math>\Box(H,V)</math> with '''H,V''' as horizontal and vertical edge groupoids, and squares given by quadruples
 
::<math>
\begin{pmatrix} & h& \\[-0.9ex] v & & v'\\[-0.9ex]& h'& \end{pmatrix}
</math>
 
for which one assumes always that h, h' are in '''H''' and v, v' are in '''V''', and that the initial and final points of these edges match in '''M''' as suggested by the notation; that is for example sh = sv, th = sv',..., etc. The compositions are to be inherited from those of '''H,V''', that is:
 
::<math>
\begin{pmatrix} & h& \\[-0.9ex] v & & v'\\[-0.9ex]& h'& \end{pmatrix} \circ_1
\begin{pmatrix} & h'& \\[-0.9ex] w & & w'\\[-0.9ex]& h''& \end{pmatrix} =
\begin{pmatrix} & h& \\[-0.9ex] vw & & v'w'\\[-0.9ex]& h''& \end{pmatrix}
</math>
 
and
 
::<math>
\begin{pmatrix} & h& \\[-0.9ex] v & & v'\\[-0.9ex]& h'& \end{pmatrix} \circ_2
\begin{pmatrix} & k& \\[-0.9ex] v' & & v''\\[-0.9ex]& k'& \end{pmatrix} =
\begin{pmatrix} & hk& \\[-0.9ex] v & & v''\\[-0.9ex]& h'k'& \end{pmatrix}
</math>
 
This construction is the right adjoint to the forgetful functor which takes the double groupoid as above, to the pair of groupoids '''H,V''' over '''M'''.
 
Other related constructions are that of a double groupoid with connection<ref>http://planetphysics.org/encyclopedia/DoubleGroupoidWithConnection.html Double Groupoid with Connection</ref> and homotopy double groupoids.<ref>Brown, R., Hardie, K., Kamps, H. and T. Porter: 2002, "The homotopy double groupoid of a Hausdorff space.", ''Theory and Applications of Categories'': '''10''', 71&ndash;93</ref> The homotopy double groupoid of a pair of pointed spaces is a key element of the proof of a two-dimensional Seifert-van Kampen Theorem, first proved by Brown and Higgins in 1978,<ref>Brown, R. and Higgins, P.J. "On the connection between the second relative homotopy groups of some related spaces". _Proc. London Math. Soc._ (3) (36)(1978) 193–212</ref> and given an extensive treatment in the book.<ref> R. Brown, P.J. Higgins, R. Sivera, [http://pages.bangor.ac.uk/~mas010/nonab-a-t.html ''Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids"], EMS Tracts in Mathematics Vol. 15, 703 pages. (August
2011).</ref>
 
==Homotopy Double Groupoid==
A generalisation to dimension 2 of the fundamental groupoid on a set of base was given by Brown and Higgins in 1978 as follows. Let <math>(X,A,C)</math> be a triple of spaces, i.e. <math>C \subseteq A \subseteq X</math>. Define <math> \rho(X,A,C)</math> to be the set of homotopy classes rel vertices of maps of a square into '''X''' which take the edges into '''A''' and the vertices into '''C'''. It is not entirely trivial to prove that the natural compositions of such squares in two directions are inherited by these homotopy classes to give a double groupoid, which also has an extra structure of so-called connections necessary to discuss the idea of commutative cube in a double groupoidThis double groupoid is used in an essential way to prove a 2-dimensional Seifert-van Kampen Theorem, which gives new information and computations on second relative homotopy groups as part of a crossed module. For more information, see Part I of the  [http://pages.bangor.ac.uk/~mas010/nonab-a-t.html book] by Brown, Higgins, Sivera listed below,.
 
==Convolution algebra==
A ''convolution C*-algebra'' of a double groupoid can also be constructed by employing the square diagram '''D''' of a double groupoid.<ref>http://planetphysics.org/encyclopedia/DoubleGroupoidGeometry.html Double Groupoid Geometry</ref>
 
== Double Groupoid Category ==
The [[category (mathematics)|category]] whose objects are double groupoids and whose morphisms are double groupoid [[homomorphisms]] that are double groupoid diagram ('''D''') [[functors]] is called the '''double groupoid category''', or the '''category of double groupoids'''.
 
== Notes ==
{{reflist}}
{{PlanetMath attribution|urlname=ExtensionOfAlgebraicTopology|title=higher dimensional algebra}}
 
==References==
*Brown, Ronald and C.B. Spencer: "Double groupoids and crossed modules.", ''Cahiers Top. Geom. Diff.''. '''17''' (1976), 343&ndash;362.
*Brown, R., Hardie, K., Kamps, H. and T. Porter: 2002, "The homotopy double groupoid of a Hausdorff space.", Theory and Applications of Categories: 10,71&ndash;93
*Brown, Ronald, 1987, "[http://www.bangor.ac.uk/r.brown/groupoidsurvey.pdf From groups to groupoids: a brief survey,]" ''Bull. London Math. Soc.'' '''19''': 113&ndash;34. Reviews the history of groupoids up to 1987, starting with the work of Brandt on quadratic forms. The downloadable version updates the many references.
* Brown, Ronald,, 2006. ''[http://www.bangor.ac.uk/r.brown/topgpds.html Topology and groupoids.]'' Booksurge. Revised and extended edition of a book previously published in 1968 and 1988. Groupoids are introduced in the context of their topological application.
* Brown, Ronald,, [http://www.bangor.ac.uk/r.brown/hdaweb2.htm Higher-dimensional group theory ] Explains how the groupoid concept has to led to higher-dimensional homotopy groupoids, having applications in [[homotopy theory]] and in group [[cohomology]].
*F. Borceux, G. Janelidze, 2001, ''[http://www.cup.cam.ac.uk/catalogue/catalogue.asp?isbn=9780521803090 Galois theories.]'' Cambridge Univ. Press. Shows how generalisations of [[Galois theory]] lead to [[Galois groupoid]]s.
* Cannas da Silva, A., and A. Weinstein, ''[http://www.math.ist.utl.pt/~acannas/Books/models_final.pdf Geometric Models for Noncommutative Algebras.]'' Especially Part VI.
*[[Marty Golubitsky|Golubitsky, M.]], [[Ian Stewart (mathematician)|Ian Stewart]], 2006, "[http://www.ams.org/bull/2006-43-03/S0273-0979-06-01108-6/S0273-0979-06-01108-6.pdf Nonlinear dynamics of networks: the groupoid formalism]", ''Bull. Amer. Math. Soc.'' '''43''': 305&ndash;64
* Higgins, P. J., "The fundamental groupoid of a [[graph of groups]]", J. London Math. Soc. (2) 13 (1976) 145&ndash;149.
* Higgins, P. J. and Taylor, J., "The fundamental groupoid and the homotopy crossed complex of an [[orbit space]]", in Category theory (Gummersbach, 1981), Lecture Notes in Math., Volume 962. Springer, Berlin (1982), 115&ndash;122.
*Higgins, P. J., 1971''Categories and groupoids.'' Van Nostrand Notes in Mathematics. Republished in ''Reprints in Theory and Applications of Categories'', No. 7 (2005) pp.&nbsp;1&ndash;195; [http://www.tac.mta.ca/tac/reprints/articles/7/tr7abs.html freely downloadable]. Substantial introduction to [[category theory]] with special emphasis on groupoids. Presents applications of groupoids in group theory, for example to a generalisation of [[Grushko's theorem]], and in topology, e.g. [[fundamental groupoid]].
*http://planetphysics.org/encyclopedia/DoubleGroupoidWithConnection.html "Double Groupoid with Connection".
*Weinstein, Alan, "[http://www.ams.org/notices/199607/weinstein.pdf Groupoids: unifying internal and external symmetry &ndash; A tour though some examples.]" Also available in [http://math.berkeley.edu/~alanw/Groupoids.ps Postscript.], Notices of AMS, July 1996, pp.&nbsp;744&ndash;752.
 
[[Category:Algebraic structures]]
[[Category:Homotopy theory]]
[[Category:Category theory]]
[[Category:Higher category theory]]
 
[[cs:Grupoid (teorie kategorií)]]
[[es:Grupoide]]
[[fr:Catégorie groupoïde]]
[[ko:준군]]
[[it:Gruppoide (teoria delle categorie)]]
[[nl:Groepoïde (categorietheorie)]]
[[pt:Grupoide (teoria das categorias)]]

Latest revision as of 16:46, 7 January 2015

Did you know that Bravo's Top Chef had official flatware? But at times it's critical to study your own personal heritage in order to learn your inner chef. Celebrated San Francisco chef Gary Danko told me that, "the ideal tool can save you a lot of time." That's undeniably true, especially whencomes to the most simple approaches: chopping, sautéing, flipping one thing more than in the pan. Sharpen your knife the way that Susan Feniger taught me then steel your knife like Sara Moulton.



Older youngsters are nonetheless need to have to be deemed when dealing with a knife and stove. When it comes to chopping and dicing of certain vegetables, the Henckels Santoku knife is the great tool. The design permits the knife to have a beveled or hollow ground and very sharp edges, all of which increases the cutting ability. A word of caution need to be heeded when it comes to cleaning the knife.

It is like a mix involving a cleaver and a chef's knife and its efficiency is major of the Best Knife Set Chef line. The Classic Santoku Knife has a 7" blade and it is accessible in two different types. The knife has a really good blade that is a result of VG-10 super steel as the core. The knife also has a D-shaped hold, that is produced with the highest high-quality solutions. To see how the knife performs, check out the video below.

The entire set is created in Solinge, Germany which is also given the nick name of the Cutlery Capital of The Globe. A single user stated that she has been using this specific set for more than a couple of years now and is delighted with the quality of construction and sharpness the knives retain. This is definitely an excellent set of knives for individuals who love cooking. As if you are not drooling but, Chef Kurtis Habecker responded boldly in signature original style. Good and basic, this knife looked incredible.

My buddy has the very same knife and he utilized an oil stone and gave his steel a nice shine. Most chefs (Rolly incorporated) will insist on an 8-ten" chef's knife blade. Whichever you pick out, you are going to obtain that this is your "go to" knife for most kitchen chores. The most important point to remember about kitchen knives is that a dull knife is an unsafe knife! Jeff sharpens his personal knife with various water stones.

With items as sophisticated as sushi only the greatest knives can do which is what the Masamoto Sushi Knife provides. If you loved this article and you also would like to get more info relating to Chef Knives Reviews generously visit our web page. This Masamoto Knife has a blade clad in Hitachi blue steel which is sandwiched amongst two sides of stain resistant soft iron. The looks radiated by the magnolia wood handle as effectively as its water buffalo bolster tends to make this Masamoto Sushi Knife as stunning as it is beneficial. For some cause this knife is currently unavailable on Amazon.

Initially of all it can get quite sharp, but that is about the only point it has going for it. Sharpening it is something that has to be performed by a specialist, it really is also substantially extra fragile than a steel knife. Use disposable products like aprons, paper chef hats, hair nets, to-go containers, paper napkins, coffee stirs and straws, and a lot more for providing buyers with carry out products or catering service.

This assures you that you will not have to be concerned about bluntness and broken knives following paying hundreds of dollars for a qualified chef knife set. Even though there is absolutely nothing in the planet that can very examine to cooking with the finest and freshest of ingredients, these issues can only be enhanced by generating use of the fantastic tools for the job at hand. Some cooks like to hone a chef knife prior to each and every use to hold the blade sharp.

The size of this knife is typically in between eight-ten inches and has an immense blade that is responsible for the mincing, chopping, crushing, slicing, and carving. The blade of a paring knife is about three-4 inches, so it is far smaller sized than a chefs knife. A paring knife is made for tasks that require precision, such as peeling, since a chefs knife's blade isn't little enough. The cook's knife is the utilitarian workhorse of the kitchen.