{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T14:49:56Z","timestamp":1775832596945,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,1,13]],"date-time":"2012-01-13T00:00:00Z","timestamp":1326412800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1007\/s10485-011-9275-y","type":"journal-article","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T11:50:16Z","timestamp":1326714616000},"page":"469-522","source":"Crossref","is-referenced-by-count":18,"title":["The Fundamental Pro-groupoid of an Affine 2-scheme"],"prefix":"10.1007","volume":"21","author":[{"given":"Alex","family":"Chirvasitu","sequence":"first","affiliation":[]},{"given":"Theo","family":"Johnson-Freyd","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,1,13]]},"reference":[{"issue":"3","key":"9275_CR1","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1017\/S0004972700010704","volume":"17","author":"J Ad\u00e1mek","year":"1977","unstructured":"Ad\u00e1mek, J.: Colimits of algebras revisited. Bull. Aust. Math. Soc. 17(3), 433\u2013450 (1977)","journal-title":"Bull. Aust. Math. Soc."},{"issue":"3","key":"9275_CR2","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s000120050111","volume":"41","author":"J Ad\u00e1mek","year":"1999","unstructured":"Ad\u00e1mek, J., H\u00e9bert, M., Rosick\u00fd, J.: On essentially algebraic theories and their generalizations. Algebra Univers. 41(3), 213\u2013227 (1999)","journal-title":"Algebra Univers."},{"key":"9275_CR3","series-title":"Lecture Notes in Mathematics","volume-title":"Etale homotopy","author":"M Artin","year":"1986","unstructured":"Artin, M., Mazur, B.: Etale homotopy. Lecture Notes in Mathematics, vol.\u00a0100. Springer-Verlag, Berlin (1986). Reprint of the 1969 original"},{"issue":"1\u20132","key":"9275_CR4","first-page":"89","volume":"25","author":"J Ad\u00e1mek","year":"1989","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Reflections in locally presentable categories. Arch. Math. (Brno) 25(1\u20132), 89\u201394 (1989)","journal-title":"Arch. Math. (Brno)"},{"key":"9275_CR5","series-title":"London Mathematical Society Lecture Note Series","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511600579","volume-title":"Locally presentable and accessible categories","author":"J Ad\u00e1mek","year":"1994","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally presentable and accessible categories. London Mathematical Society Lecture Note Series, vol.\u00a0189. Cambridge University Press, Cambridge (1994)"},{"key":"9275_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0074299","volume-title":"Reports of the Midwest Category Seminar","author":"J B\u00e9nabou","year":"1967","unstructured":"B\u00e9nabou, J.: Introduction to bicategories. In: Reports of the Midwest Category Seminar, pp.\u00a01\u201377. Springer, Berlin (1967)"},{"key":"9275_CR7","unstructured":"Bichon, J.: Hopf\u2013Galois objects and cogroupoids. http:\/\/arxiv.org\/abs\/1006.3014 (2010). Accessed 15 Oct 2010"},{"key":"9275_CR8","series-title":"Cambridge Studies in Advanced Mathematics","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511619939","volume-title":"Galois theories","author":"F Borceux","year":"2001","unstructured":"Borceux, F., Janelidze, G.: Galois theories. Cambridge Studies in Advanced Mathematics, vol. 72. Cambridge University Press, Cambridge (2001)"},{"key":"9275_CR9","first-page":"51","volume":"082","author":"C Blohmann","year":"2008","unstructured":"Blohmann, C.: Stacky Lie groups. Int. Math. Res. Not. IMRN Art. ID rnn 082, 51 pp. (2008)","journal-title":"Int. Math. Res. Not. IMRN Art. ID rnn"},{"key":"9275_CR10","volume-title":"Handbook of categorical algebra, 1. Encyclopedia of Mathematics and its Applications, vol.\u00a050","author":"F Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of categorical algebra, 1. Encyclopedia of Mathematics and its Applications, vol.\u00a050. Cambridge University Press, Cambridge (1994). Basic category theory"},{"key":"9275_CR11","series-title":"Encyclopedia of Mathematics and its Applications","volume-title":"Handbook of categorical algebra, 2","author":"F Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of categorical algebra, 2. Encyclopedia of Mathematics and its Applications, vol.\u00a051. Cambridge University Press, Cambridge (1994). Categories and structures"},{"key":"9275_CR12","series-title":"Encyclopedia of Mathematics and its Applications","volume-title":"Handbook of categorical algebra, 3","author":"F Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of categorical algebra, 3. Encyclopedia of Mathematics and its Applications, vol. 52. Cambridge University Press, Cambridge (1994). Categories of sheaves"},{"key":"9275_CR13","unstructured":"Brandenburg, M.: Tensorial schemes. http:\/\/arxiv.org\/abs\/1110.6523 (2011). Accessed 30 Nov 2011"},{"key":"9275_CR14","series-title":"London Mathematical Society Lecture Note Series","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511546495","volume-title":"Corings and comodules","author":"T Brzezinski","year":"2003","unstructured":"Brzezinski, T., Wisbauer, R.: Corings and comodules. London Mathematical Society Lecture Note Series, vol.\u00a0309. Cambridge University Press, Cambridge (2003)"},{"key":"9275_CR15","doi-asserted-by":"crossref","unstructured":"Deligne, P.: Cat\u00e9gories tannakiennes. In: The Grothendieck Festschrift, vols.2 and\u00a087 of Progr. Math., pp.\u00a0111\u2013195. Birkh\u00e4user Boston (1990)","DOI":"10.1007\/978-0-8176-4575-5_3"},{"key":"9275_CR16","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-38955-2","volume-title":"Hodge cycles, motives, and Shimura varieties","author":"P Deligne","year":"1982","unstructured":"Deligne, P., Milne, J.S., Ogus, A., Shih, K.-y.: Hodge cycles, motives, and Shimura varieties. Lecture Notes in Mathematics, vol.\u00a0900. Springer-Verlag, Berlin (1982)"},{"issue":"3","key":"9275_CR17","doi-asserted-by":"crossref","first-page":"209","DOI":"10.4171\/QT\/6","volume":"1","author":"P Etingof","year":"2010","unstructured":"Etingof, P., Nikshych, D., Ostrik, V.: Fusion categories and homotopy theory. Quantum Topol. 1(3), 209\u2013273 (2010). With an appendix by Ehud Meir","journal-title":"Quantum Topol."},{"issue":"1","key":"9275_CR18","doi-asserted-by":"crossref","first-page":"103","DOI":"10.4310\/MRL.2004.v11.n1.a10","volume":"11","author":"P Etingof","year":"2004","unstructured":"Etingof, P., Ostrik, V.: Module categories over representations of SL q (2) and graphs. Math. Res. Lett. 11(1), 103\u2013114 (2004)","journal-title":"Math. Res. Lett."},{"key":"9275_CR19","series-title":"Annals of Mathematics Studies","volume-title":"\u00c9tale homotopy of simplicial schemes","author":"EM Friedlander","year":"1982","unstructured":"Friedlander, E.M.: \u00c9tale homotopy of simplicial schemes. Annals of Mathematics Studies, vol.\u00a0104. Princeton University Press, Princeton (1982)"},{"key":"9275_CR20","doi-asserted-by":"crossref","first-page":"323","DOI":"10.24033\/bsmf.1583","volume":"90","author":"P Gabriel","year":"1962","unstructured":"Gabriel, P.: Des cat\u00e9gories ab\u00e9liennes. Bull. Soc. Math. Fr. 90, 323\u2013448 (1962)","journal-title":"Bull. Soc. Math. Fr."},{"key":"9275_CR21","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0059396","volume-title":"Lokal pr\u00e4sentierbare Kategorien","author":"P Gabriel","year":"1971","unstructured":"Gabriel, P., Ulmer, F.: Lokal pr\u00e4sentierbare Kategorien. Lecture Notes in Mathematics, vol. 221. Springer-Verlag, Berlin (1971)"},{"key":"9275_CR22","series-title":"Lecture Notes in Math","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/BFb0084235","volume-title":"Category Theory (Como, 1990)","author":"A Joyal","year":"1991","unstructured":"Joyal, A., Street, R.: An introduction to Tannaka duality and quantum groups. In: Category Theory (Como, 1990), vol.\u00a01488 of Lecture Notes in Math., pp.\u00a0413\u2013492. Springer, Berlin (1991)"},{"key":"9275_CR23","series-title":"London Mathematical Society Lecture Note Series","volume-title":"Basic concepts of enriched category theory","author":"Gregory Maxwell Kelly","year":"1982","unstructured":"Gregory\u00a0Maxwell Kelly. Basic concepts of enriched category theory, volume\u00a064 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1982"},{"issue":"2","key":"9275_CR24","first-page":"109","volume":"27","author":"GM Kelly","year":"1986","unstructured":"Kelly, G.M.: A survey of totality for enriched and ordinary categories. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 27(2), 109\u2013132 (1986)","journal-title":"Diff\u00e9rentielle Cat\u00e9g."},{"issue":"2","key":"9275_CR25","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S0004972700002781","volume":"39","author":"GM Kelly","year":"1989","unstructured":"Kelly, G.M.: Elementary observations on 2-categorical limits. Bull. Aust. Math. Soc. 39(2), 301\u2013317 (1989)","journal-title":"Bull. Aust. Math. Soc."},{"issue":"5","key":"9275_CR26","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1512\/iumj.1981.30.30052","volume":"30","author":"HF Kreimer","year":"1981","unstructured":"Kreimer, H.F., Takeuchi, M.: Hopf algebras and Galois extensions of an algebra. Indiana Univ. Math. J. 30(5), 675\u2013692 (1981)","journal-title":"Indiana Univ. Math. J."},{"key":"9275_CR27","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F William Lawvere","year":"1963","unstructured":"William Lawvere, F.: Functorial semantics of algebraic theories. Proc. Natl. Acad. Sci. U. S. A. 50, 869\u2013872 (1963)","journal-title":"Proc. Natl. Acad. Sci. U. S. A."},{"key":"9275_CR28","series-title":"London Mathematical Society Lecture Note Series","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511525896","volume-title":"Higher operads, higher categories","author":"T Leinster","year":"2004","unstructured":"Leinster, T.: Higher operads, higher categories. London Mathematical Society Lecture Note Series, vol.\u00a0298. Cambridge University Press, Cambridge (2004)"},{"key":"9275_CR29","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/978-3-642-99902-4_3","volume-title":"Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965)","author":"FEJ Linton","year":"1966","unstructured":"Linton, F.E.J.: Some aspects of equational categories. In: Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965), pp.\u00a084\u201394. Springer, New York (1966)"},{"key":"9275_CR30","unstructured":"Lurie, J.: Tannaka duality for geometric stacks. http:\/\/arxiv.org\/abs\/math\/0412266 (2004). Accessed 20 Nov 2010"},{"key":"9275_CR31","unstructured":"Lurie, J.: Derived algebraic geometry ii: Noncommutative algebra. http:\/\/arxiv.org\/abs\/math\/0702299 (2007). Accessed 12 Dec 2010"},{"key":"9275_CR32","unstructured":"Lurie, J.: Derived algebraic geometry iii: Commutative algebra. http:\/\/arxiv.org\/abs\/math\/0703204 (2007). Accessed 12 Dec 2010"},{"key":"9275_CR33","unstructured":"Lurie, J.: Derived algebraic geometry v: Structured spaces. http:\/\/arxiv.org\/abs\/0905.0459 (2009). Accessed 12 Dec 2010"},{"key":"9275_CR34","series-title":"Annals of Mathematics Studies","doi-asserted-by":"crossref","DOI":"10.1515\/9781400830558","volume-title":"Higher topos theory","author":"J Lurie","year":"2009","unstructured":"Lurie, J.: Higher topos theory. Annals of Mathematics Studies, vol.\u00a0170. Princeton University Press, Princeton (2009)"},{"key":"9275_CR35","unstructured":"Magid, A.R.: The separable Galois theory of commutative rings. Marcel Dekker Inc., New York (1974). Pure and Applied Mathematics, No.\u00a027"},{"key":"9275_CR36","series-title":"Princeton Mathematical Series","volume-title":"\u00c9tale cohomology","author":"JS Milne","year":"1980","unstructured":"Milne, J.S.: \u00c9tale cohomology. Princeton Mathematical Series, vol.\u00a033. Princeton University Press, Princeton (1980)"},{"key":"9275_CR37","series-title":"Graduate Texts in Mathematics","volume-title":"Categories for the working mathematician","author":"S Mac Lane","year":"1998","unstructured":"Mac\u00a0Lane, S.: Categories for the working mathematician. Graduate Texts in Mathematics, vol.\u00a05. Springer-Verlag, New York (1998)"},{"key":"9275_CR38","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0927-0","volume-title":"Sheaves in geometry and logic. Universitext","author":"S Mac Lane","year":"1994","unstructured":"Mac\u00a0Lane, S., Moerdijk, I.: Sheaves in geometry and logic. Universitext. Springer-Verlag, New York (1994). A first introduction to topos theory, Corrected reprint of the 1992 edition"},{"issue":"2","key":"9275_CR39","doi-asserted-by":"crossref","first-page":"247","DOI":"10.36045\/bbms\/1148059461","volume":"13","author":"P Nuss","year":"2006","unstructured":"Nuss, P.: Galois\u2013Azumaya extensions and the Brauer\u2013Galois group of a commutative ring. Bull. Belg. Math. Soc. Simon Stevin 13(2), 247\u2013270 (2006)","journal-title":"Bull. Belg. Math. Soc. Simon Stevin"},{"issue":"2","key":"9275_CR40","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2989\/QM.2008.31.2.2.474","volume":"31","author":"H-E Porst","year":"2008","unstructured":"Porst, H.-E.: On categories of monoids, comonoids, and bimonoids. Quaest. Math. 31(2), 127\u2013139 (2008)","journal-title":"Quaest. Math."},{"issue":"2","key":"9275_CR41","first-page":"111","volume":"21","author":"R Street","year":"1980","unstructured":"Street, R.: Fibrations in bicategories. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle 21(2), 111\u2013160 (1980)","journal-title":"Diff\u00e9rentielle"},{"key":"9275_CR42","unstructured":"Street, R.: Correction to: \u201cFibrations in bicategories\u201d [Cahiers Topologie G\u00e9om. Diff\u00e9rentielle 21(2), 111\u2013160 (1980); MR0574662 (81f:18028)]. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 28(1), 53\u201356 (1987)"},{"key":"9275_CR43","series-title":"Proc. Sympos. Pure Math","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1090\/pspum\/080.1\/2483943","volume-title":"Algebraic geometry\u2014Seattle 2005. Part 1","author":"B To\u00ebn","year":"2009","unstructured":"To\u00ebn, B.: Higher and derived stacks: a global overview. In: Algebraic geometry\u2014Seattle 2005. Part 1. Proc. Sympos. Pure Math., vol.\u00a080, pp.\u00a0435\u2013487. Amer. Math. Soc., Providence (2009)"},{"key":"9275_CR44","unstructured":"Trimble, T.: Notes on tetracategories. http:\/\/math.ucr.edu\/home\/baez\/trimble\/tetracategories.html (2006). Accessed 21 Jan 2010"},{"key":"9275_CR45","doi-asserted-by":"crossref","unstructured":"To\u00ebn, B., Vezzosi, G.: From HAG to DAG: derived moduli stacks. In: Axiomatic, Enriched and Motivic Homotopy Theory, vol.\u00a0131 of NATO Sci. Ser. II Math. Phys. Chem., pp.\u00a0173\u2013216. Kluwer Acad. Publ., Dordrecht (2004)","DOI":"10.1007\/978-94-007-0948-5_6"},{"issue":"2","key":"9275_CR46","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/j.aim.2004.05.004","volume":"193","author":"B To\u00ebn","year":"2005","unstructured":"To\u00ebn, B., Vezzosi, G.: Homotopical algebraic geometry. I. Topos theory. Adv. Math. 193(2), 257\u2013372 (2005)","journal-title":"Topos theory. Adv. Math."},{"issue":"902","key":"9275_CR47","first-page":"224","volume":"193","author":"B To\u00ebn","year":"2008","unstructured":"To\u00ebn, B., Vezzosi, G.: Homotopical algebraic geometry. II. Geometric stacks and applications. Mem. Am. Math. Soc. 193(902), x+224 (2008)","journal-title":"Mem. Am. Math. Soc."},{"issue":"1","key":"9275_CR48","doi-asserted-by":"crossref","first-page":"193","DOI":"10.2140\/pjm.2007.231.193","volume":"231","author":"X Tang","year":"2007","unstructured":"Tang, X., Weinstein, A., Zhu, C.: Hopfish algebras. Pac. J. Math. 231(1), 193\u2013216 (2007)","journal-title":"Pac. J. Math."},{"issue":"1","key":"9275_CR49","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF01168365","volume":"65","author":"K-H Ulbrich","year":"1989","unstructured":"Ulbrich, K.-H.: Fibre functors of finite-dimensional comodules. Manuscr. Math. 65(1), 39\u201346 (1989)","journal-title":"Manuscr. Math."},{"key":"9275_CR50","first-page":"355","volume":"15","author":"F Ulmer","year":"1971","unstructured":"Ulmer, F.: The adjoint functor and the Yoneda embedding. Ill. J. Math. 15, 355\u2013361 (1971)","journal-title":"J. Math."},{"key":"9275_CR51","doi-asserted-by":"crossref","unstructured":"Ulmer, F.: Locally \u03b1-presentable and locally \u03b1-generated categories. In: Reports of the Midwest Category Seminar, V (Zurich, 1970), pp.\u00a0230\u2013247. Lecture Notes in Math., vol. 195. Springer, Berlin (1971)","DOI":"10.1007\/BFb0072314"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-011-9275-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-011-9275-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-011-9275-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,30]],"date-time":"2020-06-30T21:48:02Z","timestamp":1593553682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-011-9275-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,13]]},"references-count":51,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,10]]}},"alternative-id":["9275"],"URL":"https:\/\/doi.org\/10.1007\/s10485-011-9275-y","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,13]]}}}