scientific article; zbMATH DE number 6917941

DOI10.23638/LMCS-14(3:4)2018zbMath1453.03062arXiv1612.09514MaRDI QIDQ4580326

Paul Blain Levy

Publication date: 15 August 2018

Full work available at URL: https://arxiv.org/abs/1612.09514

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Applications of set theory (03E75) Special properties of functors (faithful, full, etc.) (18A22) Categories of sets, characterizations (18B05)

Related Items (1)

Corecursion up-to via causal transformations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the greatest fixed point of a set functor
• Stone coalgebras
• Terminal coalgebras in well-founded set theory
• On final coalgebras of power-set functors and saturated trees
• Characteristic formulae for fixed-point semantics: a general framework
• Initial algebras and terminal coalgebras in many-sorted sets
• A Cook's Tour of the Finitary Non-Well-Founded Sets
• First steps in synthetic guarded domain theory: step-indexing in the topos of trees
• Corecursive Algebras: A Study of General Structured Corecursion
• A Model of Countable Nondeterminism in Guarded Type Theory
• Aronszajn trees and the independence of the transfer property
• Sur un problème de Sikorski
• On Inverse Systems with Trivial Limits

This page was built for publication: