Results 51 to 60 of about 3,488 (119)
On the ∞$\infty$‐topos semantics of homotopy type theory
Abstract Many introductions to homotopy type theory and the univalence axiom gloss over the semantics of this new formal system in traditional set‐based foundations. This expository article, written as lecture notes to accompany a three‐part mini course delivered at the Logic and Higher Structures workshop at CIRM‐Luminy, attempt to survey the state of
Emily Riehl
wiley +1 more source
Homology self closeness number and cofibration sequence [PDF]
Gopal Chandra Dutta
openalex +1 more source
On the geometric fixed points of real topological cyclic homology
Abstract We give a formula for the geometric fixed‐points spectrum of the real topological cyclic homology of a bounded below ring spectrum, as an equaliser of two maps between tensor products of modules over the norm. We then use this formula to carry out computations in the fundamental examples of spherical group rings, perfect Fp$\mathbb {F}_p ...
Emanuele Dotto +2 more
wiley +1 more source
What is an equivalence in a higher category?
Abstract The purpose of this survey is to present in a uniform way the notion of equivalence between strict n$n$‐categories or (∞,n)$(\infty ,n)$‐categories, and inside a strict (n+1)$(n+1)$‐category or (∞,n+1)$(\infty ,n+1)$‐category.
Viktoriya Ozornova, Martina Rovelli
wiley +1 more source
On the concept of Approximate Cofibration [PDF]
In this article we study an important concept in the theory of fibration and cofibration, namely approximate cofibration (A-cofibration), which is the dual of the concept of approximate fibrationnbsp [5, 10, 13], we give some examples.
Gouda, Y. G. (Y), Nasser, A. (Ali)
core
Computing Homotopy Classes for Diagrams. [PDF]
Filakovský M, Vokřínek L.
europepmc +1 more source
The long hunt for a symmetric monoidal category of spectra finally ended in success with the simultaneous discovery of the third author's discovery of symmetric spectra and the Elmendorf-Kriz-Mandell-May category of S-modules. In this paper we define and
Hovey, Mark +2 more
core +3 more sources
On fibrations that are cofibrations
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shen, Wenhuai, Zuo, Zai-si
openaire +1 more source
Cohomology of cofibred categorical groups
The paper is concerned with a certain kind of non-abelian cohomology \(\mathbb{H}^i({\mathcal B},\mathbb{G})\), \(0\leq i\leq 2\), defined for a small category \({\mathcal B}\) with coefficients in a \({\mathcal B}\)-(cofibred) categorical group \(\mathbb{G}\), i.e., with coefficients taken as bundles of categorical groups, instead of bundles of ...
Cegarra, A.M., Fernández, L.
openaire +1 more source

