This paper connects steps and fibrations, to speak generally about preservation of coinductive. (and inductive) predicates by coalgebra constructions. The key ...
This paper connects steps and fibrations, to speak generally about preservation of coinductive. (and inductive) predicates by coalgebra constructions. The key ...
Jun 23, 2023 · Fingerprint. Dive into the research topics of 'Forward and backward steps in a fibration'. Together they form a unique fingerprint.
Forward and Backward Steps in a Fibration ; Fulltext: 297183.pdf ; Size: 759.0Kb ; Format: PDF ; Description: Publisher's version.
Jun 21, 2024 · (1 more author) (2023) Forward and backward steps in a fibration. In: Baldan, P. and de Paiva, V., (eds.) 10th Conference on Algebra and ...
May 21, 2018 · Let p:E→B be a fibration and E0⊂E a subset. When is the restriction p0=p|:E0→B also a fibration? It seems like there should be some simple ...
Obviously every Hurewicz fibration is a Serre fibration. The converse is false. In these notes, unless otherwise stated, we will deal with Serre fibrations ...
The Hopf fibration (also known as the Hopf bundle or Hopf map) describes a 3-sphere (a hypersphere in four-dimensional space) in terms of circles and an ...
Jul 8, 2020 · Proof The forwards implication is Proposition 1.2. To prove the backwards implication choose a Strøm structure (ϕ, H) for f with ϕ−1(0) = {∗} ...
The term “semiflow” means that the flow is well-defined in forward time, but not in backward time (at the branch lines in particular — there is a loss of ...