Generalised Whitehead product - PDFSEARCH.IO - Document Search Engine

Generalised Whitehead product
Results: 63

#	Item
1	Contractibility + transport ⇔ J Carlo Angiuli December 1, 2014 In MLTT, we usually define the identity type as a reflexive relation satisfying J: Γ`M :A Γ`N :A Add to Reading List Source URL: www.carloangiuli.com Language: English - Date: 2015-05-08 13:33:44 Proof theory Riemann surfaces Mathematics CurryHoward correspondence Logic in computer science Philosophy of computer science Type theory Generalised Whitehead product
2	Improved approximation for Fr´echet distance on c-packed curves matching conditional lower bounds (extended abstract) Karl Bringmann∗ Marvin K¨ Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:47:23 Mathematical analysis Mathematics Measure theory Homotopy theory Differential topology Analysis Boolean algebra Probability theory Sigma-algebra Generalised Whitehead product
3	Herbrand-Confluence for Cut Elimination in Classical First Order Logic Stefan Hetzl1 and Lutz Straßburger2 1 2 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2012-11-30 05:38:20 Mathematics Logic Proof theory Mathematical logic Deductive reasoning Natural deduction Symbol Differential topology Generalised Whitehead product CurryHoward correspondence
4	PDF Document Add to Reading List Source URL: math.nyu.edu Language: English - Date: 2007-05-11 13:54:08 Mathematics Mathematical analysis Theoretical physics Measure theory Ising model Representation theory Differential topology Generalised Whitehead product Symbol
5	661 Documenta Math. Decomposable Cycles and Noether-Lefschetz Loci Kieran G. O’Grady1 Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2016-06-17 04:53:15 Symbol Cohomology Vector bundle Blowing up Mathematics Spectral theory Fiber bundles Table of stars with Bayer designations Generalised Whitehead product
6	553 Documenta Math. A Modular Compactification of the General Linear Group Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:27:51 Mathematics Ordinal number Wellfoundedness Constructible universe Symbol Closed and exact differential forms Theory of computation NC CurryHoward correspondence Generalised Whitehead product
7	Multipliers on rigid C ∗-tensor categories and Howe–Moore type theorems Jonas Wahl (joint with Y. Arano and T. de Laat) KU Leuven Greifswald, July 14, 2016 Add to Reading List Source URL: www.wiko-greifswald.de Language: English - Date: 2016-07-19 06:41:36 Algebra Abstract algebra Mathematics Monoidal categories Quantum group TannakaKrein duality Tensor Von Neumann algebra Representation theory Generalised Whitehead product
8	CONSENSUS GAME ACCEPTORS AND ITERATED TRANSDUCTIONS DIETMAR BERWANGER AND MARIE VAN DEN BOGAARD LSV, CNRS and Universit´e Paris-Saclay, France Abstract. We study a game for recognising formal languages, in which Add to Reading List Source URL: www.lsv.fr Language: English - Date: 2016-04-22 06:06:50 Formal languages Symbol Context-sensitive grammar Determinacy Generalised Whitehead product
9	The Consistency of the Naive(?) Theory of Properties Hartry Field∗ New York University June 11, 2003 Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Mathematics Algebra Abstract algebra Symbol Proof theory Differential topology Valuation Generalised Whitehead product Table of stars with Bayer designations
10	An explicit example of a noncrossed product division algebra Timo Hanke∗ Universit¨ at Potsdam Institut f¨ ur Mathematik Add to Reading List Source URL: www.math.rwth-aachen.de Language: English - Date: 2007-02-02 15:34:38 Mathematics Algebra Mathematical analysis Lie algebras Lie groups Symbol Quaternion Von Neumann algebra Structure Generalised Whitehead product Sigma-algebra