activity
20112024
most citedLocomotion Policy Guided Traversability Learning using Volumetric Representations of Complex Environments

60 citations · 140 across the 13 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

math.CT2020

Triposes as a Generalization of Localic Geometric Morphisms

J. Frey, T. Streicher

We discuss how triposes may be understood as generalizations of localic geometric morphisms.