Academic literature on the topic '2-category theory'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic '2-category theory.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "2-category theory"
Bourke, John. "Accessible aspects of 2-category theory." Journal of Pure and Applied Algebra 225, no. 3 (March 2021): 106519. http://dx.doi.org/10.1016/j.jpaa.2020.106519.
Full textBourke, John. "Skew structures in 2-category theory and homotopy theory." Journal of Homotopy and Related Structures 12, no. 1 (December 8, 2015): 31–81. http://dx.doi.org/10.1007/s40062-015-0121-z.
Full textRiehl, Emily, and Dominic Verity. "The 2-category theory of quasi-categories." Advances in Mathematics 280 (August 2015): 549–642. http://dx.doi.org/10.1016/j.aim.2015.04.021.
Full textdel Hoyo, Matias L. "On the loop space of a 2-category." Journal of Pure and Applied Algebra 216, no. 1 (January 2012): 28–40. http://dx.doi.org/10.1016/j.jpaa.2011.05.001.
Full textElgueta, Josep. "2-Cosemisimplicial objects in a 2-category, permutohedra and deformations of pseudofunctors." Journal of Pure and Applied Algebra 191, no. 3 (August 2004): 223–64. http://dx.doi.org/10.1016/j.jpaa.2003.12.007.
Full textPiacenza, Robert J. "Homotopy Theory of Diagrams and CW-Complexes Over a Category." Canadian Journal of Mathematics 43, no. 4 (August 1, 1991): 814–24. http://dx.doi.org/10.4153/cjm-1991-046-3.
Full textSOYLU YILMAZ, Elis. "4-Dimensional 2-Crossed Modules." Journal of New Theory, no. 40 (September 30, 2022): 46–53. http://dx.doi.org/10.53570/jnt.1148482.
Full textBachmann, Tom. "Motivic and real étale stable homotopy theory." Compositio Mathematica 154, no. 5 (March 20, 2018): 883–917. http://dx.doi.org/10.1112/s0010437x17007710.
Full textOzornova, Viktoriya, and Martina Rovelli. "The Duskin nerve of 2-categories in Joyal's cell category Θ2." Journal of Pure and Applied Algebra 225, no. 1 (January 2021): 106462. http://dx.doi.org/10.1016/j.jpaa.2020.106462.
Full textTreumann, David. "Exit paths and constructible stacks." Compositio Mathematica 145, no. 6 (September 21, 2009): 1504–32. http://dx.doi.org/10.1112/s0010437x09004229.
Full textDissertations / Theses on the topic "2-category theory"
LUSTOSA, CECILIA REIS ENGLANDER. "2-CATEGORY AND PROOF THEORY." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2009. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=15181@1.
Full textDedução Natural para a lógica intuicionista tem sido relacionada à Teoria das Categorias através do que agora é conhecido por Lógica Categórica. Essa relação é fortemente baseada no isomorfismo de Curry-Howard entre Dedução Natural e (lambda)-Cálculo Tipado. Esta dissertação descreve alguns aspectos dessa relação com o objetivo de propor uma visão 2-categórica da Lógica Categórica. Mostramos que mesmo numa visão 2-cateórica algumas desvantagens conhecidas na Teoria das Categorias continuam valendo. Concluímos essa dissertação discutindo as vantagens de uma visão 2-categórica a partir de premissas mais fracas.
Natural Deduction for intuitionistic logic has been related to Category Theory by what now is known as Categorical Logic. This relationship is strongly based on the Curry-Howard Isomorphism between Natural Deduction and typed (lambda)-Calculus. This dissertation describes some aspects of these relationship with the aim of proposing a 2-categorical view of categorical logic. We show that even under this 2-categorical view some of the drawbacks already known in ordinary Category Theory remain holding. We conclude this dissertation discussing the advantages of 2-categorical view under some weaker assumptions.
Forsberg, Love. "Semigroups, multisemigroups and representations." Doctoral thesis, Uppsala universitet, Matematiska institutionen, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-327270.
Full textSchröder, Nadine. "Using Multidimensional Item Response Theory Models to Explain Multi-Category Purchases." Vahlen, 2017. http://epub.wu.ac.at/6538/1/0344%2D1369%2D2017%2D2%2D27.pdf.
Full textMendonça, Hudson Kazuo Teramoto. "Teorias de 2-gauge e o invariante de Yetter na construção de modelos com ordem topológica em 3-dimensões." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/43/43134/tde-01082017-155641/.
Full textTopological order describes phases of matter that cannot be described only by the symmetry breaking theory of Landau. In 2-dimensions topological order is characterized, among other properties, by the presence of a ground state degeneracy that is robust to arbitrary local perturbations. With the purpose of understanding what characterizes and classify 3-dimensional topological order this works presents an exactly soluble quantum model in 3-dimensions that generalize 2-dimensional models constructed using gauge theories. In the model we propose the gauge group is replaced by a 2-group. The Hamiltonian, that is given by a sum of local commuting operators, is frustration free. We prove that the ground state degeneracy of this model is given by the Yetters invariant of the 4-dimensional manifold Sigma × S¹, where Sigma is the 3-dimensional manifold the model is defined.
Barin, Ozlem. "The Role Of Imagination In Kant'." Master's thesis, METU, 2003. http://etd.lib.metu.edu.tr/upload/2/1110089/index.pdf.
Full text#8217
s Critique of Pure Reason by means of a detailed textual analysis and interpretation. In my systematic reading of the Kantian text, I analyse how the power of imagination comes to the foreground of Kant&
#8217
s investigation into the transcendental conditions of knowledge. This is to explain the mediating function of imagination between the two distinct faculties of the subject
between sensibility and understanding. Imagination achieves its mediating function between sensibility and understanding through its activity of synthesis. By means of exploring the features of the activity of synthesis I attempt to display that imagination provides the ground of the unification of sensibility and understanding. The argument of this study resides in the claim that the power of imagination, through its transcendental synthesis, provides the ground of the possibility of all knowledge and experience. This is to announce imagination as the building block of Kant&
#8217
s Copernican Revolution that grounds the objectivity of knowledge in its subjective conditions. Therefore, the goal of this study is to display imagination as a distinctive human capacity that provides the relation of our knowledge to the objects.
Nguyen, Le Chi Quyet. "Une description fonctorielle des K-théories de Morava des 2-groupes abéliens élémentaires." Thesis, Angers, 2017. http://www.theses.fr/2017ANGE0032/document.
Full textThe aim of this PhD thesis is to study, from a functorial point of view, the mod 2 Morava K-theories of elementary abelian 2-groups. Namely, we study the covariant functors $V \mapsto K(n)^*(BV^{\sharp})$ for the prime p=2 and n a positive integer.The case n=1, which follows directly from the work of Atiyah on topological K-theory, gives us a coanalytic functor which contains no non-constant polynomial sub-functor. This is very different from the case n>1, where the above-mentioned functors are analytic.The theory of Henn-Lannes-Schwartz provides a correspondence between analytic functors and unstable modules over the Steenrod algebra. We determine the unstable module corresponding to the analytic functor $V \mapsto K(2)^*(BV^{\sharp})$, by studying the relation between this functor and the Hopf ring structure of the homology of the omega-spectrum associated to the theory K(2)
Collier, Braxton Livingston. "Infinitesimal symmetries of Dixmier-Douady gerbes." Thesis, 2012. http://hdl.handle.net/2152/ETD-UT-2012-08-6066.
Full texttext
Roberts, David Michael. "Fundamental bigroupoids and 2-covering spaces." Thesis, 2010. http://hdl.handle.net/2440/62680.
Full textThesis (Ph.D.) -- University of Adelaide, School of Mathematical Sciences, 2010
Books on the topic "2-category theory"
Pantev, Tony. Stacks and catetories in geometry, topology, and algebra: CATS4 Conference Higher Categorical Structures and Their Interactions with Algebraic Geometry, Algebraic Topology and Algebra, July 2-7, 2012, CIRM, Luminy, France. Providence, Rhode Island: American Mathematical Society, 2015.
Find full textPitt, David, Samson Abramsky, Axel Poigné, and David Rydeheard, eds. Category Theory and Computer Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-17162-2.
Full textMakkai, Mihály. Models, logics, and higher-dimensional categories: A tribute to the work of Mihaly Makkai. Providence, R.I: American Mathematical Society, 2011.
Find full textGray, J. W. Formal Category Theory: Adjointness For 2-Categories. Springer London, Limited, 2006.
Find full textJohnson, Niles, and Donald Yau. 2-Dimensional Categories. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198871378.001.0001.
Full textHeunen, Chris, and Jamie Vicary. Categories for Quantum Theory. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198739623.001.0001.
Full textHilton, P. J. Category Theory, Homology Theory and Their Applications. Proceedings of the Conference Held at the Seattle Research Center of the Battelle Memorial Institute, June 24 - July 19 1968: Volume 2. Springer London, Limited, 2006.
Find full textCaramello, Olivia. Topos-theoretic background. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198758914.003.0003.
Full textFaltings, Gerd. Facsimile : A p-adic Simpson correspondence. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691170282.003.0007.
Full textGiliola, Negrini, ed. Categorie, oggetti e strutture della conoscenza =: Categories, objects, and structures of knowledge : atti del Seminario organizzato dall'Istituto di Studi sulla ricerca e documentazione scientifica, Roma, 1-2 dicembre 1994. Roma: Consiglio nazionale delle ricerche, Istituto di studi sulla ricerca e documentazione scientifica, 1995.
Find full textBook chapters on the topic "2-category theory"
Paoli, Simona. "Techniques from 2-Category Theory." In Algebra and Applications, 71–86. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-05674-2_4.
Full textFiore, Marcelo, and Philip Saville. "Relative Full Completeness for Bicategorical Cartesian Closed Structure." In Lecture Notes in Computer Science, 277–98. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_15.
Full textCorradini, A., and F. Gadducci. "A 2-categorical presentation of term graph rewriting." In Category Theory and Computer Science, 87–105. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0026983.
Full textAndreev, A., and S. Soloviev. "A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n))." In Category Theory and Computer Science, 197–209. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0026989.
Full textFuchs-Kittowski, Klaus. "The Responsibility of Science for Guaranteeing Human Rights in the Fight Against Human Degradation, Racism and Anti-Semitism." In Studies in History and Philosophy of Science, 203–19. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-91597-1_10.
Full textCarpita, Maurizio, and Silvia Golia. "Prediction of wine sensorial quality: a classification problem." In Proceedings e report, 235–38. Florence: Firenze University Press, 2021. http://dx.doi.org/10.36253/978-88-5518-461-8.44.
Full textYu, Xiu-bao. "Why Are There Over 90 Definitions of the Strategy Concept?" In Management for Professionals, 7–27. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-33-4713-7_2.
Full textIwamura, Masakazu, Yoshihiko Inoue, Kazunori Minatani, and Koichi Kise. "Suitable Camera and Rotation Navigation for People with Visual Impairment on Looking for Something Using Object Detection Technique." In Lecture Notes in Computer Science, 495–509. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-58796-3_57.
Full textPaegelow, Martin, and David García-Álvarez. "Advanced Pattern Analysis to Validate Land Use Cover Maps." In Land Use Cover Datasets and Validation Tools, 229–54. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-90998-7_12.
Full textGarcía-Álvarez, David, Javier Lara Hinojosa, Francisco José Jurado Pérez, and Jaime Quintero Villaraso. "Global General Land Use Cover Datasets with a Time Series of Maps." In Land Use Cover Datasets and Validation Tools, 287–311. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-90998-7_15.
Full textConference papers on the topic "2-category theory"
Goode, Natassia, Paul M. Salmon, Michael G. Lenné, and Caroline F. Finch. "A Test of a Systems Theory-Based Incident Coding Taxonomy for Risk Managers." In Applied Human Factors and Ergonomics Conference. AHFE International, 2019. http://dx.doi.org/10.54941/ahfe100161.
Full textRyseck, Peter, Emily Glover, Mark Lopez, Rajneesh Singh, and Inderjit Chopra. "Steady and Transient Hover Performance Investigation of Electric Medium-sized Variable-RPM Rotor." In Vertical Flight Society 78th Annual Forum & Technology Display. The Vertical Flight Society, 2022. http://dx.doi.org/10.4050/f-0078-2022-17448.
Full textRiccardi, Fabio, Federico DelGrande, Giuliano Prando, Valentina Giuliani, Matteo Pecoraro, and Andrea Ragazzi. "NGCTR-TD Tiltrotor Autorotation Numerical Investigation." In Vertical Flight Society 78th Annual Forum & Technology Display. The Vertical Flight Society, 2022. http://dx.doi.org/10.4050/f-0078-2022-17551.
Full textEpple, Philipp, Matthias Semel, Bettina Willinger, and Antonio Delgado. "Compact Test Rig Design for Fans and Blowers." In ASME 2014 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/imece2014-38972.
Full textDe Preter, Peter, William Wacquier, and Wim Cool. "The Belgian Program for Low and Intermediate Short Lived Waste Management: From 1985 to License Application." In ASME 2013 15th International Conference on Environmental Remediation and Radioactive Waste Management. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/icem2013-96251.
Full textLin a Hsiao-Ting Lu b, Yu-Cheng, and Hsin-Chieh Wu c. "The Study of Work Ability for the Staff of Chain Hair Salons in Central Taiwan." In Applied Human Factors and Ergonomics Conference. AHFE International, 2019. http://dx.doi.org/10.54941/ahfe100167.
Full textFarkas, Steven E. "Selecting HLR and SR Standards for PRA Applications." In 16th International Conference on Nuclear Engineering. ASMEDC, 2008. http://dx.doi.org/10.1115/icone16-48598.
Full textFessler, Raymond R., and Steve C. Rapp. "The Effect of Shallow Cracks on the Predicted Failure Pressure of Natural Gas Pipelines Containing Stress-Corrosion Cracks." In 2014 10th International Pipeline Conference. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/ipc2014-33088.
Full textPathapati, V. V. N. R. Prasad Raju, and A. C. Rao. "Gradation of Planar Mechanism Structures for Robot Arms Based on Their Structural Error Performance." In ASME 2001 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2001. http://dx.doi.org/10.1115/detc2001/dac-21113.
Full textAllen, John G. "Current and Voltage Choice for North American Railroad Electrifications: 1895-1931." In 2020 Joint Rail Conference. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/jrc2020-8004.
Full textReports on the topic "2-category theory"
Schipper, Youdi, Isaac Mbiti, and Mauricio Romero. Designing and Testing a Scalable Teacher Incentive Programme in Tanzania. Research on Improving Systems of Education (RISE), September 2022. http://dx.doi.org/10.35489/bsg-rise-ri_2022/044.
Full textPaynter, Robin A., Celia Fiordalisi, Elizabeth Stoeger, Eileen Erinoff, Robin Featherstone, Christiane Voisin, and Gaelen P. Adam. A Prospective Comparison of Evidence Synthesis Search Strategies Developed With and Without Text-Mining Tools. Agency for Healthcare Research and Quality (AHRQ), March 2021. http://dx.doi.org/10.23970/ahrqepcmethodsprospectivecomparison.
Full textAllik, Mirjam, Dandara Ramos, Marilyn Agranonik, Elzo Pereira Pinto Junior, Maria Yury Ichihara, Mauricio Barreto, Alastair Leyland, and Ruth Dundas. Developing a Small-Area Deprivation Measure for Brazil. University of Glasgow, May 2020. http://dx.doi.org/10.36399/gla.pubs.215898.
Full text