699 Documenta Math. Thom Spectra that Are Symmetric Spectra

Source URL: www.math.uiuc.edu

• Homotopy theory
• Spectrum
• Model category
• Homotopy
• Thom space
• Fibration
• Adjoint functors
• Classifying space
• Functor
• Stable homotopy theory
• Highly structured ring spectrum
• Homotopy category

The quaternionic Hopf fibration in HoTT via a modified Cayley-Dickson construction Ulrik Buchholtz, CMU (jww Egbert Rijke) MPIM Bonn, February 12, 2016

Source URL: www.andrew.cmu.edu

Category theory and Homotopy type theory Andr´e Joyal Universit´e du Qu´ebec a ` Montr´eal (UQAM)

Source URL: logica.dmi.unisa.it

• Homotopy theory
• Algebraic topology
• Category theory
• Differential topology
• Homotopy type theory
• Type theory
• Fibration
• Homotopy
• Homotopical algebra
• Model category
• Homotopy fiber

REAL INTEGRAL CLOSURE AND MILNOR FIBRATIONS ´ TERENCE T. GAFFNEY AND RAIMUNDO ARAUJO DOS SANTOS Abstract. We give a condition to guarantee the existence of a Milnor fibration for real

Source URL: www.icmc.usp.br

CONVERGENCE OF THE MOTIVIC ADAMS SPECTRAL SEQUENCE P.HU, I.KRIZ, K.ORMSBY 1. Introduction In [9], we proved convergence of the motivic Adams spectral sequence

Source URL: www.math.lsa.umich.edu

• Homotopy theory
• Topology
• Mathematics
• Algebra
• Cohomology
• Adams spectral sequence
• Spectrum
• Homotopy category
• Fibration
• Homotopy group
• Homotopy
• Stable homotopy theory

FIBER BUNDLES AND UNIVALENCE IEKE MOERDIJK This talk presents a proof of the fact that a universal Kan fibration is univalent. The talk was given by Ieke Moerdijk during the conference Mathematics: Algorithms and Proofs

Source URL: www.andrew.cmu.edu

MFPSCoinductive Predicates and Final Sequences in a Fibration Ichiro Hasuo

Source URL: www-mmm.is.s.u-tokyo.ac.jp

Internal version of the uniform Kan filling condition Introduction We present a notion of fibration of cubical sets. This is formulated in term of the notion of partial element, which has a natural semantics in a preshe

Source URL: www.cse.chalmers.se

A CHARACTERISATION OF THE “SMITH IS HUQ” CONDITION IN THE POINTED MAL’TSEV SETTING dedicated to René Guitart on the occasion of his sixty-fifth birthday by Dominique BOURN, Nelson MARTINS-FERREIRA and Tim VAN DER

Source URL: perso.uclouvain.be

• Topology
• Adjoint functors
• Functor
• Equivalence relation
• Equivalence of categories
• Fibration
• Subobject
• Natural transformation
• Regular category
• Category theory
• Abstract algebra
• Mathematics

Fibrations of Graphs Paolo Boldi∗ Sebastiano Vigna∗ Abstract

Source URL: vigna.di.unimi.it

• Graph
• Directed graph
• Adjacency matrix
• Cayley graph
• Fibration
• Symmetric graph
• Tree
• Graph theory
• Mathematics
• Algebraic graph theory