Category: Log

Log is the category whose objects are topoi and arrows are logical functors.

Facts Derived from Enrichment

(Log doesn't seem to have any notable subcategories.)

Limits

Colimits

categories: Log

This data as json

name objects_hr arrows_hr
Log topoi logical functors

Links from other tables