Results 51 to 60 of about 3,488 (119)

On the ∞$\infty$‐topos semantics of homotopy type theory

open access: yesBulletin of the London Mathematical Society, Volume 56, Issue 2, Page 461-517, February 2024.
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

On the geometric fixed points of real topological cyclic homology

open access: yesJournal of the London Mathematical Society, Volume 109, Issue 2, February 2024.
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?

open access: yesBulletin of the London Mathematical Society, Volume 56, Issue 1, Page 1-58, January 2024.
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]

open access: yes
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]

open access: yesDiscrete Comput Geom, 2023
Filakovský M, Vokřínek L.
europepmc   +1 more source

Symmetric spectra

open access: yes, 1998
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

open access: yesTopology and its Applications, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shen, Wenhuai, Zuo, Zai-si
openaire   +1 more source

Cohomology of cofibred categorical groups

open access: yesJournal of Pure and Applied Algebra, 1999
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

Home - About - Disclaimer - Privacy