Internal factorisation systems

We introduce internal factorisation systems for internal categories. We recall the definitions and theory of internal categories and factorisation systems. We develop a diagrammatic calculus of pullbacks for ease of internal calculation. To define an internal factorisation system we define and study the subobjects of isomorphisms, an internalisation of the class of isomorphisms of a category. We provide an abstract example of an internal factorisation system. We then internalise various properties of factorisation systems, such as the two components determining each other, the cancellation properties and the essential uniqueness of factorisations, and show that an internal factorisation system satisfies these internal conditions.

Grantor

Department of Mathematics and Applied Mathematics

Year dc:date.issued

2023

Author dc:creator

• Ranchod, Sanjiv

Advisors dc:contributor.advisor

• Janelidze, George
• Janelidze Tamar

• Mathematics and Applied Mathematics

Handle dc:identifier.uri

http://hdl.handle.net/11427/38111

OAI identifier oai:identifier

oai:open.uct.ac.za:11427/38111